Enum Value 

pub enum Value {
    Lit(Literal),
    Con(DataConId, Vec<Value>),
    Closure(Env, VarId, CoreExpr),
    ThunkRef(ThunkId),
    JoinCont(Vec<VarId>, CoreExpr, Env),
    ConFun(DataConId, usize, Vec<Value>),
}

Runtime value for the tree-walking interpreter.

Variants

Lit(Literal)

Literal value (Int, Word, Char, String, Float, Double)

Con(DataConId, Vec<Value>)

Fully-applied data constructor

Closure(Env, VarId, CoreExpr)

Closure: captured env + binder + body

ThunkRef(ThunkId)

Reference to a heap-allocated thunk

JoinCont(Vec<VarId>, CoreExpr, Env)

Join point continuation (lives in Env only, never heap-allocated)

ConFun(DataConId, usize, Vec<Value>)

Partially-applied data constructor: (tag, arity, accumulated args) When all args are supplied, collapses to Con.

Trait Implementations

impl Clone for Value

fn clone(&self) -> Value

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Value

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

Formats the value using the given formatter.