Enum ArrayValue 

pub enum ArrayValue {
    Sum(Box<[SumValue]>),
    Product(Box<[ProductValue]>),
    Bool(Box<[bool]>),
    I8(Box<[i8]>),
    U8(Box<[u8]>),
    I16(Box<[i16]>),
    U16(Box<[u16]>),
    I32(Box<[i32]>),
    U32(Box<[u32]>),
    I64(Box<[i64]>),
    U64(Box<[u64]>),
    I128(Box<[i128]>),
    U128(Box<[u128]>),
    I256(Box<[i256]>),
    U256(Box<[u256]>),
    F32(Box<[F32]>),
    F64(Box<[F64]>),
    String(Box<[Box<str>]>),
    Array(Box<[ArrayValue]>),
}

An array value in “monomorphized form”.

Arrays are represented in this way monomorphized fashion for efficiency rather than unnecessary indirections and tags of AlgebraicValue. We can do this as we know statically that the type of each element is the same as arrays are homogenous dynamically sized product types.

Variants

Sum(Box<[SumValue]>)

An array of SumValues.

Product(Box<[ProductValue]>)

An array of ProductValues.

Bool(Box<[bool]>)

An array of bools.

I8(Box<[i8]>)

An array of i8s.

U8(Box<[u8]>)

An array of u8s.

I16(Box<[i16]>)

An array of i16s.

U16(Box<[u16]>)

An array of u16s.

I32(Box<[i32]>)

An array of i32s.

U32(Box<[u32]>)

An array of u32s.

I64(Box<[i64]>)

An array of i64s.

U64(Box<[u64]>)

An array of u64s.

I128(Box<[i128]>)

An array of i128s.

U128(Box<[u128]>)

An array of u128s.

I256(Box<[i256]>)

An array of i256s.

U256(Box<[u256]>)

An array of u256s.

F32(Box<[F32]>)

An array of totally ordered F32s.

F64(Box<[F64]>)

An array of totally ordered F64s.

String(Box<[Box<str>]>)

An array of UTF-8 strings.

Array(Box<[ArrayValue]>)

An array of arrays.

Implementations

impl ArrayValue

pub fn len(&self) -> usize

Returns the length of the array.

pub fn is_empty(&self) -> bool

Returns whether the array is empty.

pub fn iter_cloned(&self) -> ArrayValueIterCloned<'_>

Returns a cloning iterator on the elements of self as AlgebraicValues.

Trait Implementations

impl Clone for ArrayValue

fn clone(&self) -> ArrayValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ArrayValue

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

Formats the value using the given formatter.

impl Default for ArrayValue

fn default() -> Self

The default ArrayValue is an empty array of sum values.

impl<const N: usize> From<[ArrayValue; N]> for ArrayValue

fn from(v: [ArrayValue; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[Box<str>; N]> for ArrayValue

fn from(v: [Box<str>; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[ConstrainedFloat<f32, UnitConstraint<f32>>; N]> for ArrayValue

fn from(v: [F32; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[ConstrainedFloat<f64, UnitConstraint<f64>>; N]> for ArrayValue

fn from(v: [F64; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[I256; N]> for ArrayValue

fn from(v: [i256; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[ProductValue; N]> for ArrayValue

fn from(v: [ProductValue; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[SumValue; N]> for ArrayValue

fn from(v: [SumValue; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[U256; N]> for ArrayValue

fn from(v: [u256; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[bool; N]> for ArrayValue

fn from(v: [bool; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[i128; N]> for ArrayValue

fn from(v: [i128; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[i16; N]> for ArrayValue

fn from(v: [i16; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[i32; N]> for ArrayValue

fn from(v: [i32; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[i64; N]> for ArrayValue

fn from(v: [i64; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[i8; N]> for ArrayValue

fn from(v: [i8; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[u128; N]> for ArrayValue

fn from(v: [u128; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[u16; N]> for ArrayValue

fn from(v: [u16; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[u32; N]> for ArrayValue

fn from(v: [u32; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[u64; N]> for ArrayValue

fn from(v: [u64; N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[u8; N]> for ArrayValue

fn from(v: [u8; N]) -> Self

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<[ArrayValue]>> for ArrayValue

fn from(v: Box<[ArrayValue]>) -> Self

Converts to this type from the input type.

impl From<Box<[Box<str>]>> for ArrayValue

fn from(v: Box<[Box<str>]>) -> Self

Converts to this type from the input type.

impl From<Box<[ConstrainedFloat<f32, UnitConstraint<f32>>]>> for ArrayValue

fn from(v: Box<[F32]>) -> Self

Converts to this type from the input type.

impl From<Box<[ConstrainedFloat<f64, UnitConstraint<f64>>]>> for ArrayValue

fn from(v: Box<[F64]>) -> Self

Converts to this type from the input type.

impl From<Box<[I256]>> for ArrayValue

fn from(v: Box<[i256]>) -> Self

Converts to this type from the input type.

impl From<Box<[ProductValue]>> for ArrayValue

fn from(v: Box<[ProductValue]>) -> Self

Converts to this type from the input type.

impl From<Box<[SumValue]>> for ArrayValue

fn from(v: Box<[SumValue]>) -> Self

Converts to this type from the input type.

impl From<Box<[U256]>> for ArrayValue

fn from(v: Box<[u256]>) -> Self

Converts to this type from the input type.

impl From<Box<[bool]>> for ArrayValue

fn from(v: Box<[bool]>) -> Self

Converts to this type from the input type.

impl From<Box<[i128]>> for ArrayValue

fn from(v: Box<[i128]>) -> Self

Converts to this type from the input type.

impl From<Box<[i16]>> for ArrayValue

fn from(v: Box<[i16]>) -> Self

Converts to this type from the input type.

impl From<Box<[i32]>> for ArrayValue

fn from(v: Box<[i32]>) -> Self

Converts to this type from the input type.

impl From<Box<[i64]>> for ArrayValue

fn from(v: Box<[i64]>) -> Self

Converts to this type from the input type.

impl From<Box<[i8]>> for ArrayValue

fn from(v: Box<[i8]>) -> Self

Converts to this type from the input type.

impl From<Box<[u128]>> for ArrayValue

fn from(v: Box<[u128]>) -> Self

Converts to this type from the input type.

impl From<Box<[u16]>> for ArrayValue

fn from(v: Box<[u16]>) -> Self

Converts to this type from the input type.

impl From<Box<[u32]>> for ArrayValue

fn from(v: Box<[u32]>) -> Self

Converts to this type from the input type.

impl From<Box<[u64]>> for ArrayValue

fn from(v: Box<[u64]>) -> Self

Converts to this type from the input type.

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

fn from(v: Box<[u8]>) -> Self

Converts to this type from the input type.

impl Hash for ArrayValue

The hash function for an ArrayValue only hashes its domain types. This avoids the hashing Discriminant<ArrayValue> which is OK as a table column will only ever have the same type (and so the same discriminant). The hash function will however length-prefix as the value is of variable length.

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

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 IntoIterator for ArrayValue

type Item = AlgebraicValue

The type of the elements being iterated over.

type IntoIter = ArrayValueIntoIter

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl Ord for ArrayValue

fn cmp(&self, other: &ArrayValue) -> 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 ArrayValue

fn eq(&self, other: &ArrayValue) -> 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 ArrayValue

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

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

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

impl SizeOf for ArrayValue

fn size_of(&self) -> usize

Returns the unpadded size in bytes of an AlgebraicValue or primitive

impl Value for ArrayValue

type Type = ArrayType

The type of this value.

impl Eq for ArrayValue

impl StructuralPartialEq for ArrayValue