Enum Value 

pub enum Value {
    Int(BigInt),
    Float(f64),
    Str(String),
    Bool(bool),
    Null,
    Absent,
    Undef,
    Q {
        dim: String,
        value: f64,
    },
    Ref(Rc<SegPath>),
    Rec(Rc<RefCell<RecInst>>),
    Arr(Rc<RefCell<ArrV>>),
    Map(Rc<RefCell<MapV>>),
    Range {
        lo: Box<Value>,
        hi: Box<Value>,
        excl: bool,
    },
    Clo(Rc<Closure>),
    Nat(NatFn),
    Std(Rc<Vec<String>>),
    NsRef(Rc<NsRefV>),
    Pat(String),
    PreObj(Rc<Vec<(String, Value)>>),
    PreArr(Rc<Vec<(bool, Value)>>),
    PreVal(Rc<PreValV>),
    JObj(Rc<Vec<(String, Value)>>),
    JArr(Rc<Vec<Value>>),
    Segs(Rc<SegPath>),
}

a runtime value (§9): the scalars, quantities, references, and instances, and the engine’s intermediate forms

Variants

Int(BigInt)

an integer

Float(f64)

a float

Str(String)

a string

Bool(bool)

a boolean

Null

null

Absent

an absent optional member (§4.6)

Undef

not yet computed

Q

a quantity

Fields

dim: String

its dimension key

value: f64

its value in the base unit

Ref(Rc<SegPath>)

a reference, by canonical path

Rec(Rc<RefCell<RecInst>>)

a record instance

Arr(Rc<RefCell<ArrV>>)

an array

Map(Rc<RefCell<MapV>>)

a map

Range

a range value

Fields

lo: Box<Value>

the lower bound

hi: Box<Value>

the upper bound

excl: bool

whether the upper bound is excluded

Clo(Rc<Closure>)

a closure

Nat(NatFn)

a native function

Std(Rc<Vec<String>>)

a standard-library path, partially spelled

NsRef(Rc<NsRefV>)

a namespace

Pat(String)

a pattern

PreObj(Rc<Vec<(String, Value)>>)

a record literal not yet bound

PreArr(Rc<Vec<(bool, Value)>>)

an array literal not yet bound: (spread, item)

PreVal(Rc<PreValV>)

an expression not yet evaluated, with its scope

JObj(Rc<Vec<(String, Value)>>)

a JSON object, as read

JArr(Rc<Vec<Value>>)

a JSON array, as read

Segs(Rc<SegPath>)

a path value

Implementations

impl Value

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

The value’s kind, as a word.

pub fn is_undef(&self) -> bool

Whether the value is not yet computed.

pub fn is_absent(&self) -> bool

Whether the value is absent.

pub fn place(&self) -> Option<SegPath>

The canonical path the value sits at or refers to, when it has one.

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.