Enum TypedValue 

pub enum TypedValue<T = DefaultTypeSet>
where
    T: TypeSet,
{
    Void,
    MaybeSignedInt(<T as TypeSet>::Integer),
    Int(<T as TypeSet>::Integer),
    SignedInt(<T as TypeSet>::SignedInteger),
    Float(<T as TypeSet>::Float),
    Bool(bool),
    String(<T as TypeSet>::String),
    Iter(<T as TypeSet>::Iterator),
    Struct(SomniStruct<T>),
    Ref(Reference),
}

Represents any value in the expression language.

Variants

Void

Represents no value.

MaybeSignedInt(<T as TypeSet>::Integer)

Represents an integer that may be signed or unsigned.

MaybeSignedInt can compare equal with Int and SignedInt.

Int(<T as TypeSet>::Integer)

Represents an unsigned integer.

SignedInt(<T as TypeSet>::SignedInteger)

Represents a signed integer.

Float(<T as TypeSet>::Float)

Represents a floating-point.

Bool(bool)

Represents a boolean.

String(<T as TypeSet>::String)

Represents a string.

Iter(<T as TypeSet>::Iterator)

Represents an iterator.

Struct(SomniStruct<T>)

Represents a struct value: a named aggregate of typed fields.

Ref(Reference)

Represents a reference to a place (a variable, or a field within one).

Implementations

impl<T> TypedValue<T>

where T: TypeSet,

pub fn type_of(&self) -> Type

Returns the Somni type of this value.

Trait Implementations

impl<T> Clone for TypedValue<T>

where T: TypeSet,

fn clone(&self) -> TypedValue<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> Debug for TypedValue<T>

where T: Debug + TypeSet, <T as TypeSet>::Integer: Debug, <T as TypeSet>::SignedInteger: Debug, <T as TypeSet>::Float: Debug, <T as TypeSet>::String: Debug, <T as TypeSet>::Iterator: Debug,

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

Formats the value using the given formatter.

impl IntoValue for TypedValue<TemplateTypes>

fn into_value(self) -> TypedValue<TemplateTypes>

Converts self into a Somni value.

impl<T> LoadOwned<T> for TypedValue<T>

where T: TypeSet,

type Output = TypedValue<T>

The type of the result.

fn load_owned(_ctx: &T, typed: &TypedValue<T>) -> Option<TypedValue<T>>

Loads an owned value from the given type context.

impl<T> LoadStore<T> for TypedValue<T>

where T: TypeSet,

type Output<'s> = TypedValue<T>

The type of the result.

fn load(ctx: &T, typed: &TypedValue<T>) -> Option<TypedValue<T>>

Loads a borrowed value from the given type context.

fn store(&self, _ctx: &mut T) -> TypedValue<T>

Stores a Rust value into a TypedValue using the given type context.

impl<T> PartialEq for TypedValue<T>

where T: TypeSet,

fn eq(&self, other: &TypedValue<T>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.