pub trait SpacetimeType {
// Required method
fn make_type<S>(typespace: &mut S) -> AlgebraicType
where S: TypespaceBuilder;
}Expand description
A trait for Rust 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.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.