Enum Value 

pub enum Value {
    Int(i64),
    Float(f64),
    Bool(bool),
    String(SeqString),
    Variant(Box<VariantData>),
    Map(Box<HashMap<MapKey, Value>>),
    Quotation {
        wrapper: usize,
        impl_: usize,
    },
    Closure {
        fn_ptr: usize,
        env: Arc<[Value]>,
    },
}

Value: What the language talks about

This is pure data with no pointers to other values. Values can be pushed on the stack, stored in variants, etc. The key insight: Value is independent of Stack structure.

Variants

Int(i64)

Integer value

Float(f64)

Floating-point value (IEEE 754 double precision)

Bool(bool)

Boolean value

String(SeqString)

String (arena or globally allocated via SeqString)

Variant(Box<VariantData>)

Variant (sum type with tagged fields)

Map(Box<HashMap<MapKey, Value>>)

Map (key-value dictionary with O(1) lookup) Keys must be hashable types (Int, String, Bool)

Quotation

Quotation (stateless function with two entry points for calling convention compatibility)

• wrapper: C-convention entry point for calls from the runtime
• impl_: tailcc entry point for tail calls from compiled code (enables TCO)

Fields

wrapper: usize

C-convention wrapper function pointer (for runtime calls via patch_seq_call)

impl_: usize

tailcc implementation function pointer (for musttail from compiled code)

Closure

Closure (quotation with captured environment) Contains function pointer and Arc-shared array of captured values. Arc enables TCO: no cleanup needed after tail call, ref-count handles it.

Fields

fn_ptr: usize

Function pointer (transmuted to function taking Stack + environment)

env: Arc<[Value]>

Captured values from creation site (Arc for TCO support) Ordered top-down: env[0] is top of stack at creation

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 PartialEq for Value

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

fn to_typed(&self) -> Result<TypedValue, SerializeError>

Convert to serializable TypedValue

fn to_bytes(&self) -> Result<Vec<u8>, SerializeError>

Serialize directly to bytes

impl Send for Value

impl StructuralPartialEq for Value