Struct spacetimedb_sats::WithTypespace

pub struct WithTypespace<'a, T: ?Sized> { /* private fields */ }

Adds a Typespace context atop of a borrowed type.

Implementations

impl<'a> WithTypespace<'a, ProductType>

pub fn elements(&self) -> ElementsWithTypespace<'a>

pub fn with_values<I: IntoIterator<Item = &'a AlgebraicValue>>( &self, vals: I ) -> ElementValuesWithType<'a, I::IntoIter>

where I::IntoIter: ExactSizeIterator,

impl<'a> WithTypespace<'a, ProductTypeElement>

pub fn algebraic_type(&self) -> WithTypespace<'a, AlgebraicType>

impl<T: ResolveRefs> WithTypespace<'_, T>

pub fn resolve_refs(self) -> Option<T::Output>

impl<'a, T: ?Sized> WithTypespace<'a, T>

pub const fn new(typespace: &'a Typespace, ty: &'a T) -> Self

Wraps ty in a context combined with the typespace.

pub const fn ty(&self) -> &'a T

Returns the object that the context was created with.

pub const fn typespace(&self) -> &'a Typespace

Returns the typespace context.

pub fn with<'b, U>(&self, ty: &'b U) -> WithTypespace<'b, U>

where 'a: 'b,

Reuses the typespace we already have and returns ty: U wrapped with it.

pub fn with_value<'b, V: Value<Type = T>>( &self, val: &'b V ) -> ValueWithType<'b, V>

where 'a: 'b,

Wraps val with the type and typespace context in self.

pub fn resolve(&self, r: AlgebraicTypeRef) -> WithTypespace<'a, AlgebraicType>

Returns the AlgebraicType that r resolves to in the context of our Typespace.

Panics if r is not known by our Typespace.

pub fn map<U: ?Sized>( &self, f: impl FnOnce(&'a T) -> &'a U ) -> WithTypespace<'a, U>

Maps the object we’ve wrapped from &T -> &U in our context.

This can be used to e.g., project fields and through a structure. This provides an implementation of functor mapping for WithTypespace.

Trait Implementations

impl<T: ?Sized> Clone for WithTypespace<'_, T>

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a, T: Debug + ?Sized> Debug for WithTypespace<'a, T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> DeserializeSeed<'de> for WithTypespace<'_, AlgebraicType>

type Output = AlgebraicValue

The type produced by using this seed.

fn deserialize<D: Deserializer<'de>>( self, de: D ) -> Result<Self::Output, D::Error>

Equivalent to the more common Deserialize::deserialize associated function, except with some initial piece of data (the seed self) passed in.

impl<'de> DeserializeSeed<'de> for WithTypespace<'_, ArrayType>

type Output = ArrayValue

The type produced by using this seed.

fn deserialize<D: Deserializer<'de>>( self, deserializer: D ) -> Result<Self::Output, D::Error>

Equivalent to the more common Deserialize::deserialize associated function, except with some initial piece of data (the seed self) passed in.

impl<'de> DeserializeSeed<'de> for WithTypespace<'_, MapType>

type Output = BTreeMap<AlgebraicValue, AlgebraicValue>

The type produced by using this seed.

fn deserialize<D: Deserializer<'de>>( self, deserializer: D ) -> Result<Self::Output, D::Error>

Equivalent to the more common Deserialize::deserialize associated function, except with some initial piece of data (the seed self) passed in.

impl<'de> DeserializeSeed<'de> for WithTypespace<'_, ProductType>

type Output = ProductValue

The type produced by using this seed.

fn deserialize<D: Deserializer<'de>>( self, deserializer: D ) -> Result<Self::Output, D::Error>

Equivalent to the more common Deserialize::deserialize associated function, except with some initial piece of data (the seed self) passed in.

impl<'de> DeserializeSeed<'de> for WithTypespace<'_, SumType>

type Output = SumValue

The type produced by using this seed.

fn deserialize<D: Deserializer<'de>>( self, deserializer: D ) -> Result<Self::Output, D::Error>

Equivalent to the more common Deserialize::deserialize associated function, except with some initial piece of data (the seed self) passed in.

impl<'a> IntoIterator for WithTypespace<'a, ProductType>

type Item = WithTypespace<'a, ProductTypeElement>

The type of the elements being iterated over.

type IntoIter = IterWithTypespace<'a, Iter<'a, ProductTypeElement>>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<'de> ProductVisitor<'de> for WithTypespace<'_, ProductType>

type Output = ProductValue

The resulting product.

fn product_name(&self) -> Option<&str>

Returns the name of the product, if any.

fn product_len(&self) -> usize

Returns the length of the product.

fn visit_seq_product<A: SeqProductAccess<'de>>( self, tup: A ) -> Result<Self::Output, A::Error>

The input contains an unnamed product.

fn visit_named_product<A: NamedProductAccess<'de>>( self, tup: A ) -> Result<Self::Output, A::Error>

The input contains a named product.

fn product_kind(&self) -> ProductKind

Returns the kind of the product.

impl<'de> SumVisitor<'de> for WithTypespace<'_, SumType>

type Output = SumValue

The resulting sum.

fn sum_name(&self) -> Option<&str>

Returns the name of the sum, if any.

fn is_option(&self) -> bool

Returns whether an option is expected.

fn visit_sum<A: SumAccess<'de>>(self, data: A) -> Result<Self::Output, A::Error>

Drives the deserialization of a sum value.

impl VariantVisitor for WithTypespace<'_, SumType>

type Output = u8

The result of identifying a variant, e.g., some index type.

fn variant_names(&self, names: &mut dyn ValidNames)

Provides the visitor the chance to add valid names into names.

fn visit_tag<E: Error>(self, tag: u8) -> Result<Self::Output, E>

Identify the variant based on tag.

fn visit_name<E: Error>(self, name: &str) -> Result<Self::Output, E>

Identify the variant based on name.

impl<T: ?Sized> Copy for WithTypespace<'_, T>