Enum mentat::TypedValue

pub enum TypedValue {
    Ref(i64),
    Boolean(bool),
    Long(i64),
    Double(OrderedFloat<f64>),
    Instant(DateTime<Utc>),
    String(Arc<String>),
    Keyword(Arc<Keyword>),
    Uuid(Uuid),
}

Represents a value that can be stored in a Mentat store.

Variants

Ref(i64)Boolean(bool)Long(i64)Double(OrderedFloat<f64>)Instant(DateTime<Utc>)String(Arc<String>)Keyword(Arc<Keyword>)Uuid(Uuid)

Methods

impl TypedValue

pub fn is_congruent_with<T>(&self, t: T) -> bool where     T: Into<Option<ValueType>>,

Returns true if the provided type is Some and matches this value's type, or if the provided type is None.

pub fn matches_type(&self, t: ValueType) -> bool

pub fn value_type(&self) -> ValueType

pub fn typed_ns_keyword(ns: &str, name: &str) -> TypedValue

Construct a new TypedValue::Keyword instance by cloning the provided values and wrapping them in a new ValueRc. This is expensive, so this might be best limited to tests.

pub fn typed_string(s: &str) -> TypedValue

Construct a new TypedValue::String instance by cloning the provided value and wrapping it in a new ValueRc. This is expensive, so this might be best limited to tests.

pub fn current_instant() -> TypedValue

pub fn instant(micros: i64) -> TypedValue

Construct a new TypedValue::Instant instance from the provided microsecond timestamp.

impl TypedValue

pub fn into_known_entid(self) -> Option<KnownEntid>

pub fn into_entid(self) -> Option<i64>

pub fn into_kw(self) -> Option<Arc<Keyword>>

pub fn into_boolean(self) -> Option<bool>

pub fn into_long(self) -> Option<i64>

pub fn into_double(self) -> Option<f64>

pub fn into_instant(self) -> Option<DateTime<Utc>>

pub fn into_timestamp(self) -> Option<i64>

pub fn into_string(self) -> Option<Arc<String>>

pub fn into_c_string(self) -> Option<*mut i8>

pub fn into_kw_c_string(self) -> Option<*mut i8>

pub fn into_uuid_c_string(self) -> Option<*mut i8>

pub fn into_uuid(self) -> Option<Uuid>

pub fn into_uuid_string(self) -> Option<String>

Trait Implementations

impl PartialOrd<TypedValue> for TypedValue

fn partial_cmp(&self, __arg_0: &TypedValue) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, __arg_0: &TypedValue) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, __arg_0: &TypedValue) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, __arg_0: &TypedValue) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, __arg_0: &TypedValue) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Clone for TypedValue

fn clone(&self) -> TypedValue

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> From<&'a str> for TypedValue

fn from(value: &'a str) -> TypedValue

Performs the conversion.

impl From<bool> for TypedValue

fn from(value: bool) -> TypedValue

Performs the conversion.

impl From<Uuid> for TypedValue

fn from(value: Uuid) -> TypedValue

Performs the conversion.

impl From<Box<String>> for TypedValue

fn from(value: Box<String>) -> TypedValue

Performs the conversion.

impl From<u32> for TypedValue

fn from(value: u32) -> TypedValue

Performs the conversion.

impl From<Rc<Keyword>> for TypedValue

fn from(value: Rc<Keyword>) -> TypedValue

Performs the conversion.

impl From<Arc<String>> for TypedValue

fn from(value: Arc<String>) -> TypedValue

Performs the conversion.

impl From<KnownEntid> for TypedValue

fn from(k: KnownEntid) -> TypedValue

Performs the conversion.

impl From<f64> for TypedValue

fn from(value: f64) -> TypedValue

Performs the conversion.

impl From<Keyword> for TypedValue

fn from(value: Keyword) -> TypedValue

Performs the conversion.

impl From<DateTime<Utc>> for TypedValue

Truncate the provided DateTime to microsecond precision, and return the corresponding TypedValue::Instant.

fn from(value: DateTime<Utc>) -> TypedValue

Performs the conversion.

impl From<i32> for TypedValue

fn from(value: i32) -> TypedValue

Performs the conversion.

impl From<String> for TypedValue

fn from(value: String) -> TypedValue

Performs the conversion.

impl From<Arc<Keyword>> for TypedValue

fn from(value: Arc<Keyword>) -> TypedValue

Performs the conversion.

impl From<Rc<String>> for TypedValue

fn from(value: Rc<String>) -> TypedValue

Performs the conversion.

impl Ord for TypedValue

fn cmp(&self, __arg_0: &TypedValue) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

impl<'de> Deserialize<'de> for TypedValue

fn deserialize<__D>(     __deserializer: __D ) -> Result<TypedValue, <__D as Deserializer<'de>>::Error> where     __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for TypedValue

fn hash<__H>(&self, __arg_0: &mut __H) where     __H: Hasher,

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where     H: Hasher,

Feeds a slice of this type into the given [Hasher].

impl Eq for TypedValue

impl PartialEq<TypedValue> for TypedValue

fn eq(&self, __arg_0: &TypedValue) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &TypedValue) -> bool

This method tests for !=.

impl Debug for TypedValue

fn fmt(&self, __arg_0: &mut Formatter) -> Result<(), Error>

Formats the value using the given formatter.

impl Serialize for TypedValue

fn serialize<__S>(     &self,     __serializer: __S ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error> where     __S: Serializer,

Serialize this value into the given Serde serializer.

impl TypedSQLValue for TypedValue

fn from_sql_value_pair(     value: Value,     value_type_tag: i32 ) -> Result<TypedValue, DbError>

Given a SQLite value and a value_type_tag, return the corresponding TypedValue.

fn from_edn_value(value: &Value) -> Option<TypedValue>

Given an EDN value, return a corresponding Mentat TypedValue.

An EDN Value does not encode a unique Mentat ValueType, so the composition from_edn_value(first(to_edn_value_pair(...))) loses information. Additionally, there are EDN values which are not Mentat typed values.

This function is deterministic.

fn to_sql_value_pair(&'a self) -> (ToSqlOutput<'a>, i32)

Return the corresponding SQLite value and value_type_tag pair.

fn to_edn_value_pair(&self) -> (Value, ValueType)

Return the corresponding EDN value and value_type pair.

impl TransactableValue for TypedValue

fn into_typed_value(     self,     _schema: &Schema,     value_type: ValueType ) -> Result<TypedValue, DbError>

Coerce this value place into the given type. This is where we perform schema-aware coercion, for example coercing an integral value into a ref where appropriate.

fn into_entity_place(self) -> Result<EntityPlace<TypedValue>, DbError>

Make an entity place out of this value place. This is where we limit values in nested maps to valid entity places.

fn as_tempid(&self) -> Option<TempId>

impl FromThing<TypedValue> for TypedValueOr<TempIdHandle>

fn from_thing(v: TypedValue) -> Self