Trait spacetimedb::SpacetimeType
source · pub trait SpacetimeType {
// Required method
fn make_type<S>(typespace: &mut S) -> AlgebraicType
where S: TypespaceBuilder;
}
Expand description
A trait for types that can be represented as an AlgebraicType
provided a typing context typespace
.
Required Methods§
sourcefn make_type<S>(typespace: &mut S) -> AlgebraicTypewhere
S: TypespaceBuilder,
fn make_type<S>(typespace: &mut S) -> AlgebraicTypewhere
S: TypespaceBuilder,
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.