Enum mentat_core::ValueType

[+] Show type declaration

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

[−] Expand description

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));