Trait spacetimedb_lib::SpacetimeType

pub trait SpacetimeType {
    // Required method
    fn make_type<S>(typespace: &mut S) -> AlgebraicType
       where S: TypespaceBuilder;
}

A trait for types that can be represented as an AlgebraicType provided a typing context typespace.

Required Methods

fn make_type<S>(typespace: &mut S) -> AlgebraicType

where 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.

Implementations on Foreign Types

impl SpacetimeType for &str

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for bool

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for f32

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for f64

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for i8

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for i16

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for i32

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for i64

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for i128

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for u8

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for u16

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for u32

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for u64

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for u128

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for ()

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for String

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for Bytes

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for ColId

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for IndexId

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for SequenceId

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl SpacetimeType for TableId

fn make_type<S>(_ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl<T> SpacetimeType for Option<T>

where T: SpacetimeType,

fn make_type<S>(ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

impl<T> SpacetimeType for Vec<T>

where T: SpacetimeType,

fn make_type<S>(ts: &mut S) -> AlgebraicType

where S: TypespaceBuilder,

Implementors

impl SpacetimeType for ScheduleAt

impl SpacetimeType for Address

impl SpacetimeType for AddressForUrl

impl SpacetimeType for Identity

impl SpacetimeType for Hash