Re-exports§
pub use algebraic_type::AlgebraicType;pub use algebraic_value::AlgebraicValue;pub use algebraic_value::F32;pub use algebraic_value::F64;pub use array_type::ArrayType;pub use array_value::ArrayValue;pub use product_type::ProductType;pub use product_type_element::ProductTypeElement;pub use product_value::ProductValue;pub use sum_type::SumType;pub use sum_type_variant::SumTypeVariant;pub use sum_value::SumValue;pub use typespace::GroundSpacetimeType;pub use typespace::SpacetimeType;pub use typespace::Typespace;pub use de::Deserialize;pub use ser::Serialize;
Modules§
- algebraic_
type - algebraic_
value - array_
type - array_
value - bsatn
- buffer
- Minimal utility for reading & writing the types we need to internal storage,
without relying on types in third party libraries like
bytes::Bytes, etc. Meant to be kept slim and trim for use across both native and WASM. - convert
- de
- hash
- hex
- Allocation-free hex formatting.
- layout
- Defines
Layout, which encompasses the fixed size and alignment of an object, e.g., a row, or a column, or some other sub-division of a row. - meta_
type - Provides the
MetaTypetrait. - primitives
- product_
type - product_
type_ element - product_
value - satn
- ser
- size_of
- sum_
type - sum_
type_ variant - sum_
value - time_
duration - timestamp
- typespace
Macros§
- count
- impl_
deserialize - Implements
Deserializefor a type in a simplified manner. - impl_
serialize - Implements
Serializefor a type in a simplified manner. - impl_st
- Implements
SpacetimeTypefor a type in a simplified manner. - product
- Constructs a product value from a list of fields with syntax
product![v1, v2, ...].
Structs§
- Algebraic
Type Ref - A reference to an
AlgebraicTypewithin aTypespace. - Iter
With Typespace - Value
With Type - A borrowed value combined with its type and typing context (
Typespace). - With
Typespace - Adds a
Typespacecontext atop of a borrowed type.
Traits§
- Value
- The
Valuetrait provides an abstract notion of a value.
Functions§
- hash_
bsatn_ array - Hashes every elem in the BSATN-encoded array value.