Enum Value 

pub enum Value {
    Integer(i64),
    Float(f64),
    String(String),
    Bool(bool),
    Byte(u8),
    Char(char),
    Values {
        items_type: TypeAnnotation,
        items: Vec<Value>,
    },
    Null,
    Function(Rc<FunctionData>),
    Tuple(Vec<Value>),
    Error(Box<Value>),
    Ok(Box<Value>),
    Err(Box<Value>),
    Struct {
        name: String,
        fields: Rc<RefCell<Vec<(String, Value)>>>,
    },
    Enum {
        name: String,
        variant: String,
    },
    Map {
        key_type: TypeAnnotation,
        value_type: TypeAnnotation,
        entries: Rc<RefCell<HashMap<MapKey, Value>>>,
    },
    Set {
        items_type: TypeAnnotation,
        items: Vec<Value>,
    },
}

A runtime value produced by evaluating an rl expression.

Variants

Integer(i64)

A 64-bit signed integer.

Float(f64)

A 64-bit float.

String(String)

A UTF-8 string.

Bool(bool)

A boolean.

Byte(u8)

A single unsigned byte (u8).

Char(char)

A single Unicode character.

Values

A homogeneous array of values with a tracked element type.

Fields

items_type: TypeAnnotation

The declared element type of this array.

items: Vec<Value>

Null

The absence of a value - equivalent to null in rl source.

Function(Rc<FunctionData>)

A first-class function or lambda value, carrying its closure environment.

Tuple(Vec<Value>)

A heterogeneous tuple of values.

Error(Box<Value>)

An error value wrapping any non-error value.

Ok(Box<Value>)

Err(Box<Value>)

Struct

Fields

name: String

fields: Rc<RefCell<Vec<(String, Value)>>>

Enum

Fields

name: String

variant: String

Map

Fields

key_type: TypeAnnotation

value_type: TypeAnnotation

entries: Rc<RefCell<HashMap<MapKey, Value>>>

Set

Fields

items_type: TypeAnnotation

The declared element type of this set.

items: Vec<Value>

Implementations

impl Value

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

Human-readable type name used in error labels (e.g. “int”, “bool”, “array”).

pub fn is_ok(&self) -> bool

pub fn is_err(&self) -> bool

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

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

Formats the value using the given formatter.

impl FromValue for Value

fn from_value(v: Value, _span: Span) -> Result<Self, Error>

impl IntoValue for Value

fn into_value(self) -> Value

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