Enum mentat_core::ValueType

#[repr(u32)]
pub enum ValueType {
    Ref,
    Boolean,
    Instant,
    Long,
    Double,
    String,
    Keyword,
    Uuid,
}

The attribute of each Mentat assertion has a :db/valueType constraining the value to a particular set. Mentat recognizes the following :db/valueType values.

Variants

RefBooleanInstantLongDoubleStringKeywordUuid

Methods

impl ValueType

pub fn all_enums() -> EnumSet<ValueType>

impl ValueType

pub fn into_keyword(self) -> Keyword

pub fn from_keyword(keyword: &Keyword) -> Option<Self>

pub fn into_typed_value(self) -> TypedValue

pub fn into_edn_value(self) -> Value

pub fn is_numeric(&self) -> bool

Trait Implementations

impl Clone for ValueType

fn clone(&self) -> ValueType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for ValueType

impl Debug for ValueType

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

Formats the value using the given formatter.

impl Eq for ValueType

impl Hash for ValueType

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

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 Ord for ValueType

fn cmp(&self, __arg_0: &ValueType) -> 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 PartialOrd for ValueType

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

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

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

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

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

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

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

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

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

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

impl PartialEq for ValueType

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

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

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

This method tests for !=.

impl CLike for ValueType

fn to_u32(&self) -> u32

Converts a C-like enum to a u32. The value must be <= 31.

unsafe fn from_u32(v: u32) -> ValueType

Converts a u32 to a C-like enum. This method only needs to be safe for possible return values of to_u32 of this trait.

impl Display for ValueType

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl From<ValueType> for ValueTypeSet

fn from(t: ValueType) -> Self

Performs the conversion.

impl FromIterator<ValueType> for ValueTypeSet

fn from_iter<I: IntoIterator<Item = ValueType>>(iterator: I) -> Self

Creates a value from an iterator.

impl Extend<ValueType> for ValueTypeSet

fn extend<I: IntoIterator<Item = ValueType>>(&mut self, iter: I)

Extends a collection with the contents of an iterator.

impl SQLValueType for ValueType

fn sql_representation(&self) -> (ValueTypeTag, Option<SQLTypeAffinity>)

Return a pair of the ValueTypeTag for this value type, and the SQLTypeAffinity required to distinguish it from any other types that share the same tag.

fn value_type_tag(&self) -> ValueTypeTag

fn accommodates_integer(&self, int: i64) -> bool

Returns true if the provided integer is in the SQLite value space of this type. For example, 1 is how we encode true.

use mentat_core::{ValueType, SQLValueType};
assert!(!ValueType::Instant.accommodates_integer(1493399581314));
assert!(!ValueType::Instant.accommodates_integer(1493399581314000));
assert!(ValueType::Boolean.accommodates_integer(1));
assert!(!ValueType::Boolean.accommodates_integer(-1));
assert!(!ValueType::Boolean.accommodates_integer(10));
assert!(!ValueType::String.accommodates_integer(10));