Enum Value 

pub enum Value<'a> {
    Bool,
    S(IntWidth),
    U(IntWidth),
    F(FloatWidth),
    Char,
    String,
    List(Box<Value<'a>>),
    FixList(Box<Value<'a>>, u32),
    Record(Vec<RecordField<'a>>),
    Tuple(Vec<Value<'a>>),
    Flags(Vec<Name<'a>>),
    Variant(Vec<VariantCase<'a>>),
    Enum(Vec<Name<'a>>),
    Option(Box<Value<'a>>),
    Result(Box<Option<Value<'a>>>, Box<Option<Value<'a>>>),
    Own(Handleable),
    Borrow(Handleable),
    Var(Option<Tyvar>, Box<Value<'a>>),
}

valtype_e in the specification

Variants

Bool

S(IntWidth)

U(IntWidth)

F(FloatWidth)

Char

String

List(Box<Value<'a>>)

FixList(Box<Value<'a>>, u32)

Record(Vec<RecordField<'a>>)

Tuple(Vec<Value<'a>>)

Flags(Vec<Name<'a>>)

Variant(Vec<VariantCase<'a>>)

Enum(Vec<Name<'a>>)

Option(Box<Value<'a>>)

Result(Box<Option<Value<'a>>>, Box<Option<Value<'a>>>)

Own(Handleable)

Borrow(Handleable)

Var(Option<Tyvar>, Box<Value<'a>>)

This records that a type variable was once here, and is used to enforce export namedness checks.

Trait Implementations

impl<'a> Clone for Value<'a>

fn clone(&self) -> Value<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Value<'a>

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

Formats the value using the given formatter.