Struct spacetimedb_sats::ValueWithType

pub struct ValueWithType<'a, T: Value> { /* private fields */ }

A borrowed value combined with its type and typing context (Typespace).

Implementations

impl<'a> ValueWithType<'a, ProductValue>

pub fn elements( &self ) -> impl ExactSizeIterator<Item = ValueWithType<'a, AlgebraicValue>>

impl<'a, T: Value> ValueWithType<'a, T>

pub fn new(ty: WithTypespace<'a, T::Type>, val: &'a T) -> Self

Wraps the borrowed value val with its type combined with context.

pub fn value(&self) -> &'a T

Returns the borrowed value.

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

Returns the type of the value.

pub fn ty_s(&self) -> WithTypespace<'a, T::Type>

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

Returns the typing context (Typespace).

pub fn with<'b, U: Value>( &self, ty: &'b U::Type, val: &'b U ) -> ValueWithType<'b, U>

where 'a: 'b,

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

impl<'a, T: Value> ValueWithType<'a, Vec<T>>

pub fn iter(&self) -> impl Iterator<Item = ValueWithType<'_, T>>

Trait Implementations

impl<T: Value> Clone for ValueWithType<'_, T>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Serialize for ValueWithType<'_, AlgebraicValue>

fn serialize<S: Serializer>(&self, ser: S) -> Result<S::Ok, S::Error>

Serialize self in the data format of S using the provided serializer.

impl Serialize for ValueWithType<'_, ArrayValue>

fn serialize<S: Serializer>(&self, ser: S) -> Result<S::Ok, S::Error>

Serialize self in the data format of S using the provided serializer.

impl Serialize for ValueWithType<'_, MapValue>

fn serialize<S: Serializer>(&self, ser: S) -> Result<S::Ok, S::Error>

Serialize self in the data format of S using the provided serializer.

impl Serialize for ValueWithType<'_, ProductValue>

fn serialize<S: Serializer>(&self, ser: S) -> Result<S::Ok, S::Error>

Serialize self in the data format of S using the provided serializer.

impl Serialize for ValueWithType<'_, SumValue>

fn serialize<S: Serializer>(&self, ser: S) -> Result<S::Ok, S::Error>

Serialize self in the data format of S using the provided serializer.

impl<T: Value> Serialize for ValueWithType<'_, Vec<T>>

where for<'a> ValueWithType<'a, T>: Serialize,

fn serialize<S: Serializer>(&self, ser: S) -> Result<S::Ok, S::Error>

Serialize self in the data format of S using the provided serializer.

impl<T: Value> Copy for ValueWithType<'_, T>