Enum VMValue 

pub enum VMValue {
    Null,
    Bool(bool),
    Int(i64),
    Float(f64),
    String(String),
    Path(String),
    List(Vec<VMValue>),
    Attrs(BTreeMap<Symbol, VMValue>),
    Closure(VMClosure),
    Builtin(VMBuiltin),
    Thunk(VMThunk),
    HigherOrderBuiltin(HigherOrderBuiltin),
}

A value in the bytecode VM.

Intentionally simpler than the tree-walker’s Value type: no thunks (the VM manages laziness via its call stack), no rnix AST nodes.

Attribute sets use Symbol keys for O(1) comparisons. Use VMValue::attrs_to_strings to convert back to BTreeMap<String, VMValue> for external consumption.

Variants

Null

Nix null.

Bool(bool)

Nix boolean.

Int(i64)

Nix integer (64-bit signed).

Float(f64)

Nix float (64-bit IEEE 754).

String(String)

Nix string (context tracking deferred to Phase 2).

Path(String)

Nix path literal.

List(Vec<VMValue>)

Nix list.

Attrs(BTreeMap<Symbol, VMValue>)

Nix attribute set with interned keys.

Closure(VMClosure)

A closure: compiled function body + captured upvalues.

Builtin(VMBuiltin)

A built-in function (native Rust implementation).

Thunk(VMThunk)

A lazy thunk: deferred computation, evaluated on first force.

HigherOrderBuiltin(HigherOrderBuiltin)

A higher-order builtin: partially applied operation that needs VM access to call closures. The VM intercepts calls to these and executes them with full execution context.

Implementations

impl VMValue

pub fn type_name(&self) -> &'static str

Return the Nix type name for this value.

pub fn is_truthy(&self) -> Result<bool, VMError>

Check if this value is truthy (for conditionals).

pub fn attrs_to_strings( &self, interner: &Interner, ) -> Option<BTreeMap<String, VMValue>>

Convert a Symbol-keyed attrset to a String-keyed BTreeMap using the provided interner. Returns None if not an Attrs.

pub fn to_string_keyed(&self, interner: &Interner) -> StringKeyedValue

Convert this entire value tree to use string keys (for external API). Recursively resolves all Symbol keys in nested attrsets and lists.

pub fn display_with(&self, interner: &Interner, f: &mut Formatter<'_>) -> Result

Format this value for display using the interner for key resolution.

pub fn debug_with(&self, interner: &Interner, f: &mut Formatter<'_>) -> Result

Debug this value using the interner for key resolution.

Trait Implementations

impl Clone for VMValue

fn clone(&self) -> VMValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VMValue

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

Formats the value using the given formatter.

impl Display for VMValue

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

Formats the value using the given formatter.

impl Eq for VMValue

impl PartialEq for VMValue

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

Equality operator ==.

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

Inequality operator !=.