Struct ProductTypeElement 

pub struct ProductTypeElement {
    pub name: Option<Box<str>>,
    pub algebraic_type: AlgebraicType,
}

A factor / element of a product type.

An element consist of an optional name and a type.

NOTE: Each element has an implicit element tag based on its order. Uniquely identifies an element similarly to protobuf tags.

Fields

name: Option<Box<str>>

The name of the field / element.

As our type system is structural, a type like { foo: U8 }, where foo: U8 is the ProductTypeElement, is inequal to { bar: U8 }, although their algebraic_types (U8) match.

algebraic_type: AlgebraicType

The type of the element.

Only values of this type can be stored in the element.

Implementations

impl ProductTypeElement

pub fn decode<'a>( bytes: &mut impl BufReader<'a>, ) -> Result<ProductTypeElement, DecodeError>

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

impl ProductTypeElement

pub const fn new( algebraic_type: AlgebraicType, name: Option<Box<str>>, ) -> ProductTypeElement

Returns an element with the given name and algebraic_type.

pub fn new_named( algebraic_type: AlgebraicType, name: impl Into<Box<str>>, ) -> ProductTypeElement

Returns a named element with name and algebraic_type.

pub fn name(&self) -> Option<&str>

Returns the name of the field.

pub fn has_name(&self, name: &str) -> bool

Returns whether the field has the given name.

Trait Implementations

impl Clone for ProductTypeElement

fn clone(&self) -> ProductTypeElement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProductTypeElement

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProductTypeElement

fn deserialize<D>( deserializer: D, ) -> Result<ProductTypeElement, <D as Deserializer<'de>>::Error>

where D: Deserializer<'de>,

Deserialize this value from the given deserializer.

impl From<AlgebraicType> for ProductTypeElement

fn from(value: AlgebraicType) -> ProductTypeElement

Converts to this type from the input type.

impl Hash for ProductTypeElement

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

fn meta_type() -> AlgebraicType

Returns the type structure of this type as an AlgebraicType.

impl Ord for ProductTypeElement

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

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

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

fn serialize<S>( &self, __serializer: 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 ProductTypeElement

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

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

where S: TypespaceBuilder,

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 ProductTypeElement

impl StructuralPartialEq for ProductTypeElement