Enum Value 

pub enum Value {
    Int(i64),
    Float(f64),
    Str(String),
    Bool(bool),
    Unit,
    Ok(Box<Value>),
    Err(Box<Value>),
    Some(Box<Value>),
    None,
    List(Vec<Value>),
    Tuple(Vec<Value>),
    Map(HashMap<Value, Value>),
    ListSlice {
        items: Rc<Vec<Value>>,
        start: usize,
    },
    Fn {
        name: String,
        params: Vec<(String, String)>,
        effects: Vec<String>,
        body: Rc<FnBody>,
        resolution: Option<FnResolution>,
        memo_eligible: bool,
        home_globals: Option<Rc<HashMap<String, Rc<Value>>>>,
    },
    Builtin(String),
    Variant {
        type_name: String,
        variant: String,
        fields: Vec<Value>,
    },
    Record {
        type_name: String,
        fields: Vec<(String, Value)>,
    },
    Namespace {
        name: String,
        members: HashMap<String, Value>,
    },
}

Variants

Int(i64)

Float(f64)

Str(String)

Bool(bool)

Unit

Ok(Box<Value>)

Err(Box<Value>)

Some(Box<Value>)

None

List(Vec<Value>)

Tuple(Vec<Value>)

Map(HashMap<Value, Value>)

ListSlice

Shared list view (items[start..]) to avoid O(n^2) tail copying in recursive list processing.

Fields

items: Rc<Vec<Value>>

start: usize

Fn

Fields

name: String

params: Vec<(String, String)>

effects: Vec<String>

body: Rc<FnBody>

resolution: Option<FnResolution>

Compile-time resolution metadata (slot layout for locals).

memo_eligible: bool

True only for functions selected by compute_memo_fns in the interpreter that defined them.

home_globals: Option<Rc<HashMap<String, Rc<Value>>>>

Optional function-specific global scope (used by imported module functions so they resolve names in their home module).

Builtin(String)

Variant

User-defined sum type variant, e.g. Shape.Circle(3.14)

Fields

type_name: String

variant: String

fields: Vec<Value>

Record

User-defined product type (record), e.g. User(name = "Alice", age = 30)

Fields

type_name: String

fields: Vec<(String, Value)>

Namespace

Type namespace: Shape — provides Shape.Circle, Shape.Rect, etc.

Fields

name: String

members: HashMap<String, Value>

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.

impl Hash for Value

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Value

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Value