Enum Operand 

pub enum Operand {
    Const(u16),
    Local(u16),
    ModuleBinding(u16),
    Offset(i32),
    Function(FunctionId),
    Builtin(BuiltinFunction),
    Count(u16),
    Property(u16),
    ColumnIndex(u32),
    TypedField {
        type_id: u16,
        field_idx: u16,
        field_type_tag: u16,
    },
    TypedObjectAlloc {
        schema_id: u16,
        field_count: u16,
    },
    TypedMerge {
        target_schema_id: u16,
        left_size: u16,
        right_size: u16,
    },
    ColumnAccess {
        col_id: u32,
    },
    Name(StringId),
    MethodCall {
        name: StringId,
        arg_count: u16,
    },
    TypedMethodCall {
        method_id: u16,
        arg_count: u16,
        string_id: u16,
    },
    ForeignFunction(u16),
    MatrixDims {
        rows: u16,
        cols: u16,
    },
    Width(NumericWidth),
    TypedLocal(u16, NumericWidth),
    TypedModuleBinding(u16, NumericWidth),
}

Instruction operands

Variants

Const(u16)

Constant pool index

Local(u16)

Local variable index

ModuleBinding(u16)

ModuleBinding variable index

Offset(i32)

Jump offset (can be negative)

Function(FunctionId)

Function index

Builtin(BuiltinFunction)

Built-in function ID

Count(u16)

Number of arguments/elements

Property(u16)

Property name index

ColumnIndex(u32)

Column index for DataFrame field access (compile-time resolved)

TypedField

Typed field access (type_id, field_idx, field_type_tag) Used with GetFieldTyped/SetFieldTyped for optimized field access. field_type_tag encodes the FieldType so the executor can read slots without a runtime schema lookup.

Fields

type_id: u16

field_idx: u16

field_type_tag: u16

TypedObjectAlloc

Typed object allocation Used with NewTypedObject for creating TypedObject instances

Fields

schema_id: u16

Schema ID identifying the type layout

field_count: u16

Number of fields to pop from stack

TypedMerge

Typed object merge (compile-time registered intersection schema) Used with TypedMergeObject for O(1) merge operations

Fields

target_schema_id: u16

Schema ID for the merged result (pre-registered at compile time)

left_size: u16

Byte size of left operand data

right_size: u16

Byte size of right operand data

ColumnAccess

Typed column access on a RowView Used with LoadColF64/I64/Bool/Str for direct Arrow buffer reads

Fields

col_id: u32

Column index in the Arrow schema

Name(StringId)

A named reference (e.g., trait name for BoxTraitObject)

MethodCall

A method call descriptor (name + arg count) for dynamic dispatch

Fields

name: StringId

arg_count: u16

TypedMethodCall

Typed method call using compile-time resolved MethodId. Replaces stack-based string dispatch for known methods. For MethodId::DYNAMIC, the VM falls back to string lookup using string_id from the string pool.

Fields

method_id: u16

Compile-time resolved method identifier

arg_count: u16

Number of arguments (not counting receiver)

string_id: u16

String pool index for the method name (used for dynamic fallback and error messages)

ForeignFunction(u16)

Foreign function index — indexes into program.foreign_functions

MatrixDims

Matrix dimensions (rows, cols) for NewMatrix opcode

Fields

rows: u16

cols: u16

Width(NumericWidth)

Numeric width tag for compact typed opcodes (AddTyped, SubTyped, etc.)

TypedLocal(u16, NumericWidth)

Local index + width for StoreLocalTyped

TypedModuleBinding(u16, NumericWidth)

Module binding index + width for StoreModuleBindingTyped

Trait Implementations

impl Clone for Operand

fn clone(&self) -> Operand

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Operand

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Operand

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Operand

fn eq(&self, other: &Operand) -> 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 Serialize for Operand

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for Operand

impl StructuralPartialEq for Operand