Enum Val 

pub enum Val {
    Num(i64),
    Flo(f64),
    Sym(SmolStr),
    Atom(Atom),
    Nil,
    Pair(RcVal, RcVal),
    Clo(Env, RcExp),
    Code(RcExp),
    Cell(usize),
    Raise(RcVal),
}

Variants

Num(i64)

Flo(f64)

Sym(SmolStr)

Atom(Atom)

A host value. Opaque to the floor, data to a channel.

Nil

Pair(RcVal, RcVal)

Clo(Env, RcExp)

Code(RcExp)

Cell(usize)

Index into the heap’s cell arena

Raise(RcVal)

A value, not a fault, so it survives being returned - attempt must observe one without a floor frame, which would delimit a suspension. Propagates where a value is inspected, inert where it is only bound.

Trait Implementations

impl AsRef<Val> for RcVal

fn as_ref(&self) -> &Val

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for Val

fn clone(&self) -> Val

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Val

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

Formats the value using the given formatter.

impl Display for Val

Iterative: a value has no depth bound and no size bound as a tree, so a shared subtree would exhaust memory. Answered with datum labels #0=/#0#, which read deliberately does not accept - the codec carries sharing.

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

Formats the value using the given formatter.

impl From<Val> for RcVal

fn from(v: Val) -> RcVal

Converts to this type from the input type.

impl PartialEq for Val

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

A shared allocation is skipped rather than walked, so two large values cost their difference. The specializer’s occurs check depends on it.

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

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