Enum TypedValue 

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

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)

Bytes(Bytes)

Implementations

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<S, T>(ns: S, name: T) -> TypedValue

where S: AsRef<str>, T: AsRef<str>,

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>(s: S) -> TypedValue

where S: AsRef<str>,

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.

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>

pub fn into_bytes(self) -> Option<Bytes>

Trait Implementations

impl Clone for TypedValue

fn clone(&self) -> TypedValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypedValue

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

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 Eq for TypedValue

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

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

Converts to this type from the input type.

impl From<&[u8]> for TypedValue

fn from(bslice: &[u8]) -> TypedValue

Converts to this type from the input type.

impl From<Arc<Keyword>> for TypedValue

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

Converts to this type from the input type.

impl From<Arc<String>> for TypedValue

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

Converts to this type from the input type.

impl From<Box<String>> for TypedValue

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

Converts to this type from the input type.

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

Converts to this type from the input type.

impl From<Keyword> for TypedValue

fn from(value: Keyword) -> TypedValue

Converts to this type from the input type.

impl From<KnownEntid> for TypedValue

fn from(k: KnownEntid) -> TypedValue

Converts to this type from the input type.

impl From<Rc<Keyword>> for TypedValue

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

Converts to this type from the input type.

impl From<Rc<String>> for TypedValue

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

Converts to this type from the input type.

impl From<String> for TypedValue

fn from(value: String) -> TypedValue

Converts to this type from the input type.

impl From<Uuid> for TypedValue

fn from(value: Uuid) -> TypedValue

Converts to this type from the input type.

impl From<bool> for TypedValue

fn from(value: bool) -> TypedValue

Converts to this type from the input type.

impl From<f64> for TypedValue

fn from(value: f64) -> TypedValue

Converts to this type from the input type.

impl From<i32> for TypedValue

fn from(value: i32) -> TypedValue

Converts to this type from the input type.

impl From<u32> for TypedValue

fn from(value: u32) -> TypedValue

Converts to this type from the input type.

impl Hash for TypedValue

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for TypedValue

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

This method returns an Ordering between self and other.

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

where Self: Sized,

Compares and returns the maximum of two values.

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

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for TypedValue

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

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl PartialOrd for TypedValue

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

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

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

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

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

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

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 StructuralPartialEq for TypedValue

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>

fn is_nil(&self) -> bool

Whether this value place is the EDN nil value. Used by :db.fn/cas to recognize “expect no current value”.

impl TransactableValueMarker for TypedValue

TypedValue is the value type for programmatic use in transaction builders.

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(&self) -> (ToSqlOutput<'_>, 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.

fn from_sql(value: SqlValue, value_type_tag: i32) -> Result<TypedValue, DbError>

Engine-neutral decode: the one (tag, storage class) table both the SQLite and the DuckDB backends use.

fn to_sql(&self) -> (SqlValue, i32)

Engine-neutral encode, the inverse of from_sql.