Enum Value 

pub enum Value {
    Int(i64),
    Float(f64),
    Bool(bool),
    Str(String),
    Bytes(Vec<u8>),
    List(Vec<Value>),
    Dict(IndexMap<String, Value>),
    Tuple(Vec<Value>),
    Option(Option<Box<Value>>),
    Result(Result<Box<Value>, Box<Value>>),
    Fn(IonFn),
    BuiltinFn(String, BuiltinFn),
    BuiltinClosure(String, BuiltinClosureFn),
    Set(Vec<Value>),
    HostStruct {
        type_name: String,
        fields: IndexMap<String, Value>,
    },
    HostEnum {
        enum_name: String,
        variant: String,
        data: Vec<Value>,
    },
    Cell(Arc<Mutex<Value>>),
    Range {
        start: i64,
        end: i64,
        inclusive: bool,
    },
    Unit,
}

Runtime value representation.

Variants

Int(i64)

Float(f64)

Bool(bool)

Str(String)

Bytes(Vec<u8>)

List(Vec<Value>)

Dict(IndexMap<String, Value>)

Tuple(Vec<Value>)

Option(Option<Box<Value>>)

Result(Result<Box<Value>, Box<Value>>)

Fn(IonFn)

BuiltinFn(String, BuiltinFn)

BuiltinClosure(String, BuiltinClosureFn)

Closure-backed builtin. Unlike BuiltinFn (a bare fn pointer), this variant can capture host-side state — e.g. a tokio::runtime::Handle for async host calls, a database connection pool, or shared counters.

Register via Engine::register_closure.

Set(Vec<Value>)

Ordered set of unique values

HostStruct

Host-injected struct: TypeName { field: val, ... }

Fields

type_name: String

fields: IndexMap<String, Value>

HostEnum

Host-injected enum variant: EnumName::Variant or EnumName::Variant(data)

Fields

enum_name: String

variant: String

data: Vec<Value>

Cell(Arc<Mutex<Value>>)

Shared mutable reference cell for closure state

Range

Lazy integer range (start..end or start..=end)

Fields

start: i64

end: i64

inclusive: bool

Unit

Implementations

impl Value

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

pub fn is_truthy(&self) -> bool

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

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

pub fn as_str(&self) -> Option<&str>

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

pub fn range_to_list(start: i64, end: i64, inclusive: bool) -> Vec<Value>

Materialize a range into a list of ints.

pub fn range_len(start: i64, end: i64, inclusive: bool) -> i64

Length of a range without materializing.

impl Value

pub fn to_json(&self) -> Value

Convert an Ion Value to a serde_json::Value.

pub fn from_json(json: Value) -> Value

Convert a serde_json::Value to an Ion Value.

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

fn eq(&self, other: &Self) -> 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.