Enum spacetimedb_lib::AlgebraicValue

pub enum AlgebraicValue {
    Sum(SumValue),
    Product(ProductValue),
    Builtin(BuiltinValue),
}

Variants

Sum(SumValue)

Product(ProductValue)

Builtin(BuiltinValue)

Implementations

impl AlgebraicValue

pub fn as_sum_mut(&mut self) -> Option<&mut SumValue>

Optionally returns mutable references to the inner fields if this is a AlgebraicValue::Sum, otherwise None

pub fn as_sum(&self) -> Option<&SumValue>

Optionally returns references to the inner fields if this is a AlgebraicValue::Sum, otherwise None

pub fn into_sum(self) -> Result<SumValue, AlgebraicValue>

Returns the inner fields if this is a AlgebraicValue::Sum, otherwise returns back the enum in the Err case of the result

pub fn as_product_mut(&mut self) -> Option<&mut ProductValue>

Optionally returns mutable references to the inner fields if this is a AlgebraicValue::Product, otherwise None

pub fn as_product(&self) -> Option<&ProductValue>

Optionally returns references to the inner fields if this is a AlgebraicValue::Product, otherwise None

pub fn into_product(self) -> Result<ProductValue, AlgebraicValue>

Returns the inner fields if this is a AlgebraicValue::Product, otherwise returns back the enum in the Err case of the result

pub fn as_builtin_mut(&mut self) -> Option<&mut BuiltinValue>

Optionally returns mutable references to the inner fields if this is a AlgebraicValue::Builtin, otherwise None

pub fn as_builtin(&self) -> Option<&BuiltinValue>

Optionally returns references to the inner fields if this is a AlgebraicValue::Builtin, otherwise None

pub fn into_builtin(self) -> Result<BuiltinValue, AlgebraicValue>

Returns the inner fields if this is a AlgebraicValue::Builtin, otherwise returns back the enum in the Err case of the result

impl AlgebraicValue

pub const UNIT: AlgebraicValue = AlgebraicValue::Product(ProductValue{ elements: Vec::new(),})

pub fn as_bool(&self) -> Option<&bool>

pub fn as_i8(&self) -> Option<&i8>

pub fn as_u8(&self) -> Option<&u8>

pub fn as_i16(&self) -> Option<&i16>

pub fn as_u16(&self) -> Option<&u16>

pub fn as_i32(&self) -> Option<&i32>

pub fn as_u32(&self) -> Option<&u32>

pub fn as_i64(&self) -> Option<&i64>

pub fn as_u64(&self) -> Option<&u64>

pub fn as_i128(&self) -> Option<&i128>

pub fn as_u128(&self) -> Option<&u128>

pub fn as_f32(&self) -> Option<&ConstrainedFloat<f32, UnitConstraint<f32>>>

pub fn as_f64(&self) -> Option<&ConstrainedFloat<f64, UnitConstraint<f64>>>

pub fn as_string(&self) -> Option<&String>

pub fn as_bytes(&self) -> Option<&Vec<u8, Global>>

pub fn as_array(&self) -> Option<&ArrayValue>

pub fn as_map( &self ) -> Option<&BTreeMap<AlgebraicValue, AlgebraicValue, Global>>

pub fn into_bool(self) -> Result<bool, AlgebraicValue>

pub fn into_i8(self) -> Result<i8, AlgebraicValue>

pub fn into_u8(self) -> Result<u8, AlgebraicValue>

pub fn into_i16(self) -> Result<i16, AlgebraicValue>

pub fn into_u16(self) -> Result<u16, AlgebraicValue>

pub fn into_i32(self) -> Result<i32, AlgebraicValue>

pub fn into_u32(self) -> Result<u32, AlgebraicValue>

pub fn into_i64(self) -> Result<i64, AlgebraicValue>

pub fn into_u64(self) -> Result<u64, AlgebraicValue>

pub fn into_i128(self) -> Result<i128, AlgebraicValue>

pub fn into_u128(self) -> Result<u128, AlgebraicValue>

pub fn into_f32( self ) -> Result<ConstrainedFloat<f32, UnitConstraint<f32>>, AlgebraicValue>

pub fn into_f64( self ) -> Result<ConstrainedFloat<f64, UnitConstraint<f64>>, AlgebraicValue>

pub fn into_string(self) -> Result<String, AlgebraicValue>

pub fn into_bytes(self) -> Result<Vec<u8, Global>, AlgebraicValue>

pub fn into_array(self) -> Result<ArrayValue, AlgebraicValue>

pub fn into_map( self ) -> Result<BTreeMap<AlgebraicValue, AlgebraicValue, Global>, AlgebraicValue>

pub fn Bool(v: bool) -> AlgebraicValue

pub fn I8(v: i8) -> AlgebraicValue

pub fn U8(v: u8) -> AlgebraicValue

pub fn I16(v: i16) -> AlgebraicValue

pub fn U16(v: u16) -> AlgebraicValue

pub fn I32(v: i32) -> AlgebraicValue

pub fn U32(v: u32) -> AlgebraicValue

pub fn I64(v: i64) -> AlgebraicValue

pub fn U64(v: u64) -> AlgebraicValue

pub fn I128(v: i128) -> AlgebraicValue

pub fn U128(v: u128) -> AlgebraicValue

pub fn F32(v: ConstrainedFloat<f32, UnitConstraint<f32>>) -> AlgebraicValue

pub fn F64(v: ConstrainedFloat<f64, UnitConstraint<f64>>) -> AlgebraicValue

pub fn String(v: String) -> AlgebraicValue

pub fn Bytes(v: Vec<u8, Global>) -> AlgebraicValue

pub fn ArrayOf<T>(val: T) -> AlgebraicValuewhere T: Into<ArrayValue>,

pub fn OptionSome(v: AlgebraicValue) -> AlgebraicValue

pub fn OptionNone() -> AlgebraicValue

pub fn type_of(&self) -> AlgebraicType

Infer the AlgebraicType of Self.

impl AlgebraicValue

pub fn decode<'a>( algebraic_type: &<AlgebraicValue as Value>::Type, bytes: &mut impl BufReader<'a> ) -> Result<AlgebraicValue, DecodeError>

pub fn encode(&self, bytes: &mut impl BufWriter)

Trait Implementations

impl Clone for AlgebraicValue

fn clone(&self) -> AlgebraicValue

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AlgebraicValue

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

Formats the value using the given formatter.

impl From<&[u8]> for AlgebraicValue

fn from(x: &[u8]) -> AlgebraicValue

Converts to this type from the input type.

impl From<&AlgebraicValue> for ProductValue

fn from(x: &AlgebraicValue) -> ProductValue

Converts to this type from the input type.

impl From<&str> for AlgebraicValue

fn from(x: &str) -> AlgebraicValue

Converts to this type from the input type.

impl From<AlgebraicValue> for ProductValue

fn from(x: AlgebraicValue) -> ProductValue

Converts to this type from the input type.

impl From<BuiltinValue> for AlgebraicValue

fn from(value: BuiltinValue) -> AlgebraicValue

Converts to this type from the input type.

impl<T> From<Option<T>> for AlgebraicValuewhere T: Into<AlgebraicValue>,

fn from(value: Option<T>) -> AlgebraicValue

Converts to this type from the input type.

impl From<ProductValue> for AlgebraicValue

fn from(x: ProductValue) -> AlgebraicValue

Converts to this type from the input type.

impl From<String> for AlgebraicValue

fn from(x: String) -> AlgebraicValue

Converts to this type from the input type.

impl From<bool> for AlgebraicValue

fn from(x: bool) -> AlgebraicValue

Converts to this type from the input type.

impl From<f32> for AlgebraicValue

fn from(x: f32) -> AlgebraicValue

Converts to this type from the input type.

impl From<f64> for AlgebraicValue

fn from(x: f64) -> AlgebraicValue

Converts to this type from the input type.

impl From<i128> for AlgebraicValue

fn from(x: i128) -> AlgebraicValue

Converts to this type from the input type.

impl From<i16> for AlgebraicValue

fn from(x: i16) -> AlgebraicValue

Converts to this type from the input type.

impl From<i32> for AlgebraicValue

fn from(x: i32) -> AlgebraicValue

Converts to this type from the input type.

impl From<i64> for AlgebraicValue

fn from(x: i64) -> AlgebraicValue

Converts to this type from the input type.

impl From<i8> for AlgebraicValue

fn from(x: i8) -> AlgebraicValue

Converts to this type from the input type.

impl From<u128> for AlgebraicValue

fn from(x: u128) -> AlgebraicValue

Converts to this type from the input type.

impl From<u16> for AlgebraicValue

fn from(x: u16) -> AlgebraicValue

Converts to this type from the input type.

impl From<u32> for AlgebraicValue

fn from(x: u32) -> AlgebraicValue

Converts to this type from the input type.

impl From<u64> for AlgebraicValue

fn from(x: u64) -> AlgebraicValue

Converts to this type from the input type.

impl From<u8> for AlgebraicValue

fn from(x: u8) -> AlgebraicValue

Converts to this type from the input type.

impl FromIterator<AlgebraicValue> for ProductValue

fn from_iter<T>(iter: T) -> ProductValuewhere T: IntoIterator<Item = AlgebraicValue>,

Creates a value from an iterator.

impl Hash for AlgebraicValue

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 AlgebraicValue

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

This method returns an Ordering between self and other.

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

Compares and returns the maximum of two values.

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

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval.

impl PartialEq<AlgebraicValue> for AlgebraicValue

fn eq(&self, other: &AlgebraicValue) -> 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 !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd<AlgebraicValue> for AlgebraicValue

fn partial_cmp(&self, other: &AlgebraicValue) -> 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 Serialize for AlgebraicValue

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 Serialize for AlgebraicValue

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

impl ToDataKey for AlgebraicValue

fn to_data_key(&self) -> DataKey

impl Value for AlgebraicValue

type Type = AlgebraicType

impl Eq for AlgebraicValue

impl StructuralEq for AlgebraicValue

impl StructuralPartialEq for AlgebraicValue