Enum StaticValue 

pub enum StaticValue {
    Unit,
    Tuple(Tuple<StaticValue>),
    Borrow(&'static dyn Extern, Option<Rc<StaticValue>>),
    Owned(Rc<dyn ExternOwned>, Option<Rc<StaticValue>>),
    I64(i64),
    Bool(bool),
    String(Rc<str>),
    Function(Rc<StaticFunction>),
    EnumVariant(Rc<StaticEnumVariant>),
    Option {
        contents: Option<Rc<StaticValue>>,
        ty: ComplexType,
    },
    Type(Type),
}

A version of Value with a static lifetime.

Must be cast back to a runtime-compatible Value using StaticValue::to_runtime to be used.

The difference between this type and Value<'static> is the lack of Mut, which contains a RefCell and makes Value<'static> invariant over 'host. This means that a Value<'static> cannot be combined with non 'static values in the same runtime, which would prevent useful things like a static Function accepting a borrowed Extern value with a non-'static lifetime.

Variants

Unit

Tuple(Tuple<StaticValue>)

Borrow(&'static dyn Extern, Option<Rc<StaticValue>>)

Owned(Rc<dyn ExternOwned>, Option<Rc<StaticValue>>)

I64(i64)

Bool(bool)

String(Rc<str>)

Function(Rc<StaticFunction>)

EnumVariant(Rc<StaticEnumVariant>)

Option

Fields

contents: Option<Rc<StaticValue>>

ty: ComplexType

Type(Type)

Implementations

impl StaticValue

pub fn to_runtime<'host>(&self) -> Value<'host>

Trait Implementations

impl Clone for StaticValue

fn clone(&self) -> StaticValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StaticValue

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

Formats the value using the given formatter.