Struct spacetimedb_sats::product_type::ProductType

pub struct ProductType {
    pub elements: Vec<ProductTypeElement>,
}

A structural product type of the factors given by elements.

This is also known as struct and tuple in many languages, but note that unlike most languages, products in SATs are structural and not nominal. When checking whether two nominal types are the same, their names and/or declaration sites (e.g., module / namespace) are considered. Meanwhile, a structural type system would only check the structure of the type itself, e.g., the names of its fields and their types in the case of a record. The name “product” comes from category theory.

See also: https://ncatlab.org/nlab/show/product+type.

These structures are known as product types because the number of possible values in product

{ N_0: T_0, N_1: T_1, ..., N_n: T_n }

is:

Π (i ∈ 0..n). values(T_i)

so for example, values({ A: U64, B: Bool }) = values(U64) * values(Bool).

Fields

elements: Vec<ProductTypeElement>

The factors of the product type.

These factors can either be named or unnamed. When all the factors are unnamed, we can regard this as a plain tuple type.

Implementations

impl ProductType

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

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

impl ProductType

pub const fn new(elements: Vec<ProductTypeElement>) -> Self

Returns a product type with the given elements as its factors.

pub fn is_identity(&self) -> bool

Returns whether this is the special case of spacetimedb_lib::Identity.

pub fn is_address(&self) -> bool

Returns whether this is the special case of spacetimedb_lib::Address.

pub fn is_special(&self) -> bool

Returns whether this is a special known type, currently Address or Identity.

impl ProductType

pub fn as_value(&self) -> AlgebraicValue

pub fn from_value( value: &AlgebraicValue ) -> Result<ProductType, ValueDeserializeError>

Trait Implementations

impl Clone for ProductType

fn clone(&self) -> ProductType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProductType

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProductType

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

Deserialize this value from the given deserializer.

impl From<&TableSchema> for ProductType

fn from(value: &TableSchema) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[(&str, AlgebraicType); N]> for ProductType

fn from(fields: [(&str, AlgebraicType); N]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<[(Option<&str>, AlgebraicType); N]> for ProductType

fn from(fields: [(Option<&str>, AlgebraicType); N]) -> Self

Converts to this type from the input type.

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

fn from(fields: [AlgebraicType; N]) -> Self

Converts to this type from the input type.

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

fn from(fields: [ProductTypeElement; N]) -> Self

Converts to this type from the input type.

impl From<AlgebraicType> for ProductType

fn from(x: AlgebraicType) -> Self

Converts to this type from the input type.

impl From<Header> for ProductType

fn from(value: Header) -> Self

Converts to this type from the input type.

impl From<ProductType> for AlgebraicType

fn from(original: ProductType) -> AlgebraicType

Converts to this type from the input type.

impl From<ProductType> for Header

fn from(value: ProductType) -> Self

Converts to this type from the input type.

impl From<ProductType> for Vec<ColumnDef>

fn from(value: ProductType) -> Self

Converts to this type from the input type.

impl From<Vec<ProductTypeElement>> for ProductType

fn from(fields: Vec<ProductTypeElement>) -> Self

Converts to this type from the input type.

impl<'a, I: Into<AlgebraicType>> FromIterator<(&'a str, I)> for ProductType

fn from_iter<T: IntoIterator<Item = (&'a str, I)>>(iter: T) -> Self

Creates a value from an iterator.

impl<'a, I: Into<AlgebraicType>> FromIterator<(Option<&'a str>, I)> for ProductType

fn from_iter<T: IntoIterator<Item = (Option<&'a str>, I)>>(iter: T) -> Self

Creates a value from an iterator.

impl<I: Into<ProductTypeElement>> FromIterator<I> for ProductType

fn from_iter<T: IntoIterator<Item = I>>(iter: T) -> Self

Creates a value from an iterator.

impl Hash for ProductType

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 ProductType

fn meta_type() -> AlgebraicType

Returns the type structure of this type as an AlgebraicType.

impl Ord for ProductType

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

Restrict a value to a certain interval.

impl PartialEq for ProductType

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

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

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

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

impl Eq for ProductType

impl StructuralPartialEq for ProductType