Trait spacetimedb_sats::typespace::SpacetimeType
source · pub trait SpacetimeType {
// Required method
fn make_type<S: TypespaceBuilder>(typespace: &mut S) -> AlgebraicType;
}Expand description
A trait for types that can be represented as an AlgebraicType
provided a typing context typespace.
Required Methods§
sourcefn make_type<S: TypespaceBuilder>(typespace: &mut S) -> AlgebraicType
fn make_type<S: TypespaceBuilder>(typespace: &mut S) -> AlgebraicType
Returns an AlgebraicType representing the type for Self in SATS
and in the typing context in typespace.
Object Safety§
This trait is not object safe.