Enum AlgebraicValue 

pub enum AlgebraicValue {
    Min,
    Sum(SumValue),
    Product(ProductValue),
    Array(ArrayValue),
    Bool(bool),
    I8(i8),
    U8(u8),
    I16(i16),
    U16(u16),
    I32(i32),
    U32(u32),
    I64(i64),
    U64(u64),
    I128(Packed<i128>),
    U128(Packed<u128>),
    I256(Box<I256>),
    U256(Box<U256>),
    F32(ConstrainedFloat<f32, UnitConstraint<f32>>),
    F64(ConstrainedFloat<f64, UnitConstraint<f64>>),
    String(Box<str>),
    Max,
}

A value in SATS typed at some AlgebraicType.

Values are type erased, so they do not store their type. This is important mainly for space efficiency, including network latency and bandwidth.

These are only values and not expressions. That is, they are canonical and cannot be simplified further by some evaluation. So forms like 42 + 24 are not represented in an AlgebraicValue.

Variants

Min

The minimum value in the total ordering. Cannot be serialized and only exists to facilitate range index scans. This variant must always be first.

Sum(SumValue)

A structural sum value.

Given a sum type { N_0(T_0), N_1(T_1), ..., N_n(T_n) } where N_i denotes a variant name and where T_i denotes the type the variant stores, a sum value makes a specific choice as to the variant. So for example, we might chose N_1(T_1) and represent this choice with (1, v) where v is a value of type T_1.

Product(ProductValue)

A structural product value.

Given a product type { N_0: T_0, N_1: T_1, ..., N_n: T_n } where N_i denotes a field / element name and where T_i denotes the type the field stores, a product value stores a value v_i of type T_i for each field N_i.

Array(ArrayValue)

A homogeneous array of AlgebraicValues. The array has the type [AlgebraicType::Array(elem_ty)].

The contained values are stored packed in a representation appropriate for their type. See ArrayValue for details on the representation.

Bool(bool)

A bool value of type AlgebraicType::Bool.

I8(i8)

An i8 value of type AlgebraicType::I8.

U8(u8)

A u8 value of type AlgebraicType::U8.

I16(i16)

An i16 value of type AlgebraicType::I16.

U16(u16)

A u16 value of type AlgebraicType::U16.

I32(i32)

An i32 value of type AlgebraicType::I32.

U32(u32)

A u32 value of type AlgebraicType::U32.

I64(i64)

An i64 value of type AlgebraicType::I64.

U64(u64)

A u64 value of type AlgebraicType::U64.

I128(Packed<i128>)

An i128 value of type AlgebraicType::I128.

We pack these to shrink AlgebraicValue.

U128(Packed<u128>)

A u128 value of type AlgebraicType::U128.

We pack these to to shrink AlgebraicValue.

I256(Box<I256>)

An i256 value of type AlgebraicType::I256.

We box these up to shrink AlgebraicValue.

U256(Box<U256>)

A u256 value of type AlgebraicType::U256.

We pack these to shrink AlgebraicValue.

F32(ConstrainedFloat<f32, UnitConstraint<f32>>)

A totally ordered F32 value of type AlgebraicType::F32.

All floating point values defined in IEEE-754 are supported. However, unlike the primitive f32, a total order is established.

F64(ConstrainedFloat<f64, UnitConstraint<f64>>)

A totally ordered F64 value of type AlgebraicType::F64.

All floating point values defined in IEEE-754 are supported. However, unlike the primitive f64, a total order is established.

String(Box<str>)

A UTF-8 string value of type AlgebraicType::String.

Uses Rust’s standard representation of strings.

Max

The maximum value in the total ordering. Cannot be serialized and only exists to facilitate range index scans. This variant must always be last.

Implementations

impl AlgebraicValue

pub fn is_min(&self) -> bool

Returns true if this is a AlgebraicValue::Min, otherwise false

pub fn is_sum(&self) -> bool

Returns true if this is a AlgebraicValue::Sum, otherwise false

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 is_product(&self) -> bool

Returns true if this is a AlgebraicValue::Product, otherwise false

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 is_array(&self) -> bool

Returns true if this is a AlgebraicValue::Array, otherwise false

pub fn as_array_mut(&mut self) -> Option<&mut ArrayValue>

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

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

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

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

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

pub fn is_bool(&self) -> bool

Returns true if this is a AlgebraicValue::Bool, otherwise false

pub fn as_bool_mut(&mut self) -> Option<&mut bool>

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

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

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

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

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

pub fn is_i8(&self) -> bool

Returns true if this is a AlgebraicValue::I8, otherwise false

pub fn as_i8_mut(&mut self) -> Option<&mut i8>

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

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

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

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

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

pub fn is_u8(&self) -> bool

Returns true if this is a AlgebraicValue::U8, otherwise false

pub fn as_u8_mut(&mut self) -> Option<&mut u8>

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

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

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

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

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

pub fn is_i16(&self) -> bool

Returns true if this is a AlgebraicValue::I16, otherwise false

pub fn as_i16_mut(&mut self) -> Option<&mut i16>

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

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

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

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

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

pub fn is_u16(&self) -> bool

Returns true if this is a AlgebraicValue::U16, otherwise false

pub fn as_u16_mut(&mut self) -> Option<&mut u16>

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

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

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

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

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

pub fn is_i32(&self) -> bool

Returns true if this is a AlgebraicValue::I32, otherwise false

pub fn as_i32_mut(&mut self) -> Option<&mut i32>

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

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

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

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

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

pub fn is_u32(&self) -> bool

Returns true if this is a AlgebraicValue::U32, otherwise false

pub fn as_u32_mut(&mut self) -> Option<&mut u32>

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

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

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

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

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

pub fn is_i64(&self) -> bool

Returns true if this is a AlgebraicValue::I64, otherwise false

pub fn as_i64_mut(&mut self) -> Option<&mut i64>

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

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

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

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

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

pub fn is_u64(&self) -> bool

Returns true if this is a AlgebraicValue::U64, otherwise false

pub fn as_u64_mut(&mut self) -> Option<&mut u64>

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

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

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

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

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

pub fn is_i128(&self) -> bool

Returns true if this is a AlgebraicValue::I128, otherwise false

pub fn as_i128_mut(&mut self) -> Option<&mut Packed<i128>>

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

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

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

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

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

pub fn is_u128(&self) -> bool

Returns true if this is a AlgebraicValue::U128, otherwise false

pub fn as_u128_mut(&mut self) -> Option<&mut Packed<u128>>

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

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

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

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

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

pub fn is_i256(&self) -> bool

Returns true if this is a AlgebraicValue::I256, otherwise false

pub fn as_i256_mut(&mut self) -> Option<&mut Box<I256>>

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

pub fn as_i256(&self) -> Option<&Box<I256>>

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

pub fn into_i256(self) -> Result<Box<I256>, AlgebraicValue>

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

pub fn is_u256(&self) -> bool

Returns true if this is a AlgebraicValue::U256, otherwise false

pub fn as_u256_mut(&mut self) -> Option<&mut Box<U256>>

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

pub fn as_u256(&self) -> Option<&Box<U256>>

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

pub fn into_u256(self) -> Result<Box<U256>, AlgebraicValue>

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

pub fn is_f32(&self) -> bool

Returns true if this is a AlgebraicValue::F32, otherwise false

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

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

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

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

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

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

pub fn is_f64(&self) -> bool

Returns true if this is a AlgebraicValue::F64, otherwise false

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

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

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

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

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

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

pub fn is_string(&self) -> bool

Returns true if this is a AlgebraicValue::String, otherwise false

pub fn as_string_mut(&mut self) -> Option<&mut Box<str>>

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

pub fn as_string(&self) -> Option<&Box<str>>

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

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

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

pub fn is_max(&self) -> bool

Returns true if this is a AlgebraicValue::Max, otherwise false

impl AlgebraicValue

pub fn take(&mut self) -> AlgebraicValue

Extract the value and replace it with a dummy one that is cheap to make.

pub fn as_bytes(&self) -> Option<&[u8]>

Interpret the value as a byte slice or None if it isn’t a byte slice.

pub fn unit() -> AlgebraicValue

The canonical unit value defined as the nullary product value ().

The type of UNIT is ().

pub const fn Bytes(v: Box<[u8]>) -> AlgebraicValue

Returns an AlgebraicValue representing v: Box<[u8]>.

pub fn into_bytes(self) -> Result<Box<[u8]>, AlgebraicValue>

Converts self into a byte string, if applicable.

pub fn into_option(self) -> Result<Option<AlgebraicValue>, AlgebraicValue>

Converts self into an Option<AlgebraicValue>, if applicable.

pub fn OptionSome(v: AlgebraicValue) -> AlgebraicValue

Returns an AlgebraicValue for some: v.

The some variant is assigned the tag 0.

pub fn OptionNone() -> AlgebraicValue

Returns an AlgebraicValue for none.

The none variant is assigned the tag 1.

pub fn sum(tag: u8, value: AlgebraicValue) -> AlgebraicValue

Returns an AlgebraicValue representing a sum value with tag and value.

pub fn enum_simple(tag: u8) -> AlgebraicValue

Returns an AlgebraicValue representing a sum value with tag and empty AlgebraicValue::product, that is valid for simple enums without payload.

pub fn product(elements: impl Into<ProductValue>) -> AlgebraicValue

Returns an AlgebraicValue representing a product value with the given elements.

pub fn type_of(&self) -> Option<AlgebraicType>

Infer the AlgebraicType of an AlgebraicValue.

This function is partial as type inference is not possible for AlgebraicValue in the case of sums. Thus the method only answers for the decidable subset.

A note on sums

The type of a sum value must be a sum type and not a product type. Suppose x.tag is for the variant VarName(VarType). Then VarType is not the same type as { VarName(VarType) | r } where r represents a polymorphic variants component.

To assign this a correct type we either have to store the type with the value r alternatively, we must have polymorphic variants (see row polymorphism) and derive the correct variant name.

pub fn is_numeric_zero(&self) -> bool

Returns whether this value represents a numeric zero.

Can only be true where the type is numeric.

impl AlgebraicValue

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

Decode a value from bytes typed at ty.

pub fn decode_smallvec<'a>( ty: &<AlgebraicValue as Value>::Type, bytes: &mut impl BufReader<'a>, ) -> Result<SmallVec<[AlgebraicValue; 1]>, DecodeError>

Decode a vector of values from bytes with each value typed at ty.

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

Trait Implementations

impl Clone for AlgebraicValue

fn clone(&self) -> AlgebraicValue

Returns a duplicate 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<&str> for AlgebraicValue

fn from(x: &str) -> AlgebraicValue

Converts to this type from the input type.

impl From<()> for AlgebraicValue

fn from(_: ()) -> 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<ArgId> for AlgebraicValue

fn from(value: ArgId) -> AlgebraicValue

Converts to this type from the input type.

impl From<ArrayValue> for AlgebraicValue

fn from(original: ArrayValue) -> AlgebraicValue

Converts to this type from the input type.

impl From<Box<[u8]>> for AlgebraicValue

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

Converts to this type from the input type.

impl From<Box<I256>> for AlgebraicValue

fn from(original: Box<I256>) -> AlgebraicValue

Converts to this type from the input type.

impl From<Box<U256>> for AlgebraicValue

fn from(original: Box<U256>) -> AlgebraicValue

Converts to this type from the input type.

impl From<Box<str>> for AlgebraicValue

fn from(original: Box<str>) -> AlgebraicValue

Converts to this type from the input type.

impl From<ColId> for AlgebraicValue

fn from(value: ColId) -> AlgebraicValue

Converts to this type from the input type.

impl From<ConnectionId> for AlgebraicValue

fn from(value: ConnectionId) -> Self

Converts to this type from the input type.

impl From<ConstrainedFloat<f32, UnitConstraint<f32>>> for AlgebraicValue

fn from(original: ConstrainedFloat<f32, UnitConstraint<f32>>) -> AlgebraicValue

Converts to this type from the input type.

impl From<ConstrainedFloat<f64, UnitConstraint<f64>>> for AlgebraicValue

fn from(original: ConstrainedFloat<f64, UnitConstraint<f64>>) -> AlgebraicValue

Converts to this type from the input type.

impl From<ConstraintId> for AlgebraicValue

fn from(value: ConstraintId) -> AlgebraicValue

Converts to this type from the input type.

impl From<I256> for AlgebraicValue

fn from(x: I256) -> AlgebraicValue

Converts to this type from the input type.

impl From<Identity> for AlgebraicValue

fn from(value: Identity) -> Self

Converts to this type from the input type.

impl From<IndexId> for AlgebraicValue

fn from(value: IndexId) -> AlgebraicValue

Converts to this type from the input type.

impl<T> From<Option<T>> for AlgebraicValue

where T: Into<AlgebraicValue>,

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

Converts to this type from the input type.

impl From<Packed<i128>> for AlgebraicValue

fn from(original: Packed<i128>) -> AlgebraicValue

Converts to this type from the input type.

impl From<Packed<u128>> for AlgebraicValue

fn from(original: Packed<u128>) -> AlgebraicValue

Converts to this type from the input type.

impl From<ProductValue> for AlgebraicValue

fn from(original: ProductValue) -> AlgebraicValue

Converts to this type from the input type.

impl From<ScheduleId> for AlgebraicValue

fn from(value: ScheduleId) -> AlgebraicValue

Converts to this type from the input type.

impl From<SequenceId> for AlgebraicValue

fn from(value: SequenceId) -> AlgebraicValue

Converts to this type from the input type.

impl From<StVarValue> for AlgebraicValue

fn from(value: StVarValue) -> Self

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

fn from(x: SumTag) -> AlgebraicValue

Converts to this type from the input type.

impl From<SumValue> for AlgebraicValue

fn from(original: SumValue) -> AlgebraicValue

Converts to this type from the input type.

impl From<TableId> for AlgebraicValue

fn from(value: TableId) -> AlgebraicValue

Converts to this type from the input type.

impl From<TimeDuration> for AlgebraicValue

fn from(value: TimeDuration) -> AlgebraicValue

Converts to this type from the input type.

impl From<Timestamp> for AlgebraicValue

fn from(value: Timestamp) -> AlgebraicValue

Converts to this type from the input type.

impl From<U256> for AlgebraicValue

fn from(x: U256) -> AlgebraicValue

Converts to this type from the input type.

impl From<ViewId> for AlgebraicValue

fn from(value: ViewId) -> AlgebraicValue

Converts to this type from the input type.

impl From<bool> for AlgebraicValue

fn from(original: 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(original: i16) -> AlgebraicValue

Converts to this type from the input type.

impl From<i32> for AlgebraicValue

fn from(original: i32) -> AlgebraicValue

Converts to this type from the input type.

impl From<i64> for AlgebraicValue

fn from(original: i64) -> AlgebraicValue

Converts to this type from the input type.

impl From<i8> for AlgebraicValue

fn from(original: 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(original: u16) -> AlgebraicValue

Converts to this type from the input type.

impl From<u32> for AlgebraicValue

fn from(original: u32) -> AlgebraicValue

Converts to this type from the input type.

impl From<u64> for AlgebraicValue

fn from(original: u64) -> AlgebraicValue

Converts to this type from the input type.

impl From<u8> for AlgebraicValue

fn from(original: u8) -> AlgebraicValue

Converts to this type from the input type.

impl FromIterator<AlgebraicValue> for ProductValue

fn from_iter<T>(iter: T) -> ProductValue

where T: IntoIterator<Item = AlgebraicValue>,

Creates a value from an iterator.

impl Hash for AlgebraicValue

The hash function for an AlgebraicValue only hashes its domain types and avoids length prefixing for product values. This avoids the hashing Discriminant<AlgebraicValue> which is OK as a table column will only ever have the same type (and so the same discriminant).

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

impl PartialEq for AlgebraicValue

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd 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

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 RangeBounds<AlgebraicValue> for &AlgebraicValue

An AlgebraicValue can be interpreted as a range containing a only the value itself. This is useful for BTrees where single key scans are still viewed range scans.

fn start_bound(&self) -> Bound<&AlgebraicValue>

Start index bound.

fn end_bound(&self) -> Bound<&AlgebraicValue>

End index bound.

fn contains<U>(&self, item: &U) -> bool

where T: PartialOrd<U>, U: PartialOrd<T> + ?Sized,

Returns true if item is contained in the range.

fn is_empty(&self) -> bool

where T: PartialOrd,

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

Returns true if the range contains no items. One-sided ranges (RangeFrom, etc) always return false.

impl RangeBounds<AlgebraicValue> for AlgebraicValue

fn start_bound(&self) -> Bound<&AlgebraicValue>

Start index bound.

fn end_bound(&self) -> Bound<&AlgebraicValue>

End index bound.

fn contains<U>(&self, item: &U) -> bool

where T: PartialOrd<U>, U: PartialOrd<T> + ?Sized,

Returns true if item is contained in the range.

fn is_empty(&self) -> bool

where T: PartialOrd,

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

Returns true if the range contains no items. One-sided ranges (RangeFrom, etc) always return false.

impl Serialize for AlgebraicValue

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

where S: Serializer,

Serialize self in the data format of S using the provided serializer.

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

fn size_of(&self) -> usize

Returns the unpadded size in bytes of an AlgebraicValue or primitive

impl TryFrom<AlgebraicValue> for ScheduleAt

type Error = ValueDeserializeError

The type returned in the event of a conversion error.

fn try_from(value: AlgebraicValue) -> Result<Self, Self::Error>

Performs the conversion.

impl Value for AlgebraicValue

type Type = AlgebraicType

The type of this value.

impl Eq for AlgebraicValue

impl StructuralPartialEq for AlgebraicValue