Struct ArrayType 

pub struct ArrayType {
    pub elem_ty: Box<AlgebraicType>,
}

An array type is a homogeneous product type of dynamic length.

That is, it is a product type where every element / factor / field is of the same type and where the length is statically unknown.

Fields

elem_ty: Box<AlgebraicType>

The base type every element of the array has.

Trait Implementations

impl Clone for ArrayType

fn clone(&self) -> ArrayType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ArrayType

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ArrayType

fn deserialize<D: Deserializer<'de>>(de: D) -> Result<Self, D::Error>

Deserialize this value from the given deserializer.

impl From<ArrayType> for AlgebraicType

fn from(original: ArrayType) -> AlgebraicType

Converts to this type from the input type.

impl Hash for ArrayType

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 MetaType for ArrayType

fn meta_type() -> AlgebraicType

Returns the type structure of this type as an AlgebraicType.

impl Ord for ArrayType

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

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

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

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 SpacetimeType for ArrayType

fn make_type<S: TypespaceBuilder>(ts: &mut S) -> AlgebraicType

Returns an AlgebraicType representing the type for Self in SATS and in the typing context in typespace. This is used by the automatic type registration system in Rust modules.

impl Eq for ArrayType

impl StructuralPartialEq for ArrayType