Struct Value 

pub struct Value(/* private fields */);

A VM value (fat 16-byte representation).

Implementations

impl Value

pub fn int(n: i64) -> Self

pub fn float(f: f64) -> Self

pub fn bool(b: bool) -> Self

pub fn nothing() -> Self

pub fn from_runtime(rv: RuntimeValue) -> Self

pub fn into_runtime(self) -> RuntimeValue

pub fn as_runtime(&self) -> RuntimeRef<'_>

Borrow as a RuntimeValue. Zero cost: the Value IS a RuntimeValue.

pub fn as_runtime_ref(&self) -> Option<&RuntimeValue>

Borrow the RuntimeValue DIRECTLY (lifetime tied to &self, no RuntimeRef temporary) when one already exists in place. Default: always Some. The seam for the machine.rs sites that destructure a heap arm and hold a borrow (an Rc/RefMut) across statements — see the narrow impl, where an inline scalar returns None.

pub fn as_runtime_mut(&mut self) -> &mut RuntimeValue

Mutably borrow as a RuntimeValue.

pub fn as_int(&self) -> Option<i64>

pub fn as_bool(&self) -> Option<bool>

pub fn as_float(&self) -> Option<f64>

pub fn is_int(&self) -> bool

pub fn add(&self, rhs: &Value) -> Result<Value, String>

pub fn sub(&self, rhs: &Value) -> Result<Value, String>

pub fn mul(&self, rhs: &Value) -> Result<Value, String>

pub fn lt(&self, rhs: &Value) -> Result<Value, String>

pub fn gt(&self, rhs: &Value) -> Result<Value, String>

pub fn lte(&self, rhs: &Value) -> Result<Value, String>

pub fn gte(&self, rhs: &Value) -> Result<Value, String>

pub fn eq_op(&self, rhs: &Value) -> Value

pub fn neq_op(&self, rhs: &Value) -> Value

impl Value

pub fn text(s: String) -> Self

pub fn is_truthy(&self) -> bool

pub fn to_display_string(&self) -> String

pub fn type_name(&self) -> &str

The value’s type name. Borrows &self (Struct/Inductive names live in the value; the scalar names are 'static literals) — never a temporary, so it is valid under the narrow representation where as_runtime() would materialise an inline scalar into a short-lived RuntimeValue.

pub fn values_equal(&self, other: &Value) -> bool

Value equality for the equals/== operator and for set/list membership (epsilon floats, structural inductives — the kernel’s rules).

pub fn list(items: Vec<Value>) -> Self

pub fn int_list(items: Vec<i64>) -> Self

Wrap a raw Int vector as a list value (the native tier’s fresh allocations re-box through here).

pub fn empty_list() -> Self

pub fn empty_list_i32() -> Self

A fresh empty half-width Int sequence (ListRepr::IntsI32), backing a narrowing-proven new Seq of Int under LOGOS_NARROW_VM.

pub fn empty_set() -> Self

pub fn empty_map() -> Self

pub fn int_range(lo: i64, hi: i64) -> Self

pub fn list_push(&self, value: Value) -> Result<(), String>

pub fn len(&self) -> Result<i64, String>

pub fn index_get(&self, idx: &Value) -> Result<Value, String>

pub fn set_add(&self, value: Value) -> Result<(), String>

pub fn remove_from(&self, value: &Value) -> Result<(), String>

pub fn index_set(&self, idx: &Value, value: Value) -> Result<(), String>

pub fn contains(&self, value: &Value) -> Result<bool, String>

pub fn div(&self, rhs: &Value) -> Result<Value, String>

pub fn exact_div(&self, rhs: &Value) -> Result<Value, String>

EXACT division (Op::ExactDiv) — the type-directed sibling of Value::div: 7 / 2 → 7/2 (a Rational), never the floored 3. Routes through the shared kernel exactly like div, so the VM stays bit-identical to the tree-walker.

pub fn floor_div(&self, rhs: &Value) -> Result<Value, String>

FLOOR division (Op::FloorDiv, a // b) — the quotient rounded toward negative infinity (-7 // 2 → -4), distinct from the truncating Value::div. Routes through the shared kernel, so the VM stays bit-identical to the tree-walker.

pub fn modulo(&self, rhs: &Value) -> Result<Value, String>

pub fn concat(&self, rhs: &Value) -> Result<Value, String>

pub fn seq_concat(&self, rhs: &Value) -> Result<Value, String>

a followed by b — merge two sequences into one (reuses the tree-walker semantics).

pub fn pow(&self, rhs: &Value) -> Result<Value, String>

pub fn bitxor(&self, rhs: &Value) -> Result<Value, String>

pub fn bitand(&self, rhs: &Value) -> Result<Value, String>

pub fn bitor(&self, rhs: &Value) -> Result<Value, String>

pub fn shl(&self, rhs: &Value) -> Result<Value, String>

pub fn shr(&self, rhs: &Value) -> Result<Value, String>

pub fn not_op(&self) -> Result<Value, String>

not x — logical for Bool, bitwise for Int, error otherwise.

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.