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.