Enum Value 

pub enum Value {
    Null,
    Bool(bool),
    Int(i64),
    Float(f64),
    Str(String),
    List(Vec<Value>),
    Map(BTreeMap<String, Value>),
}

A Determa State runtime value. Mirrors the esv/payload type set (§4.4) plus null.

Value serializes as its canonical JSON/native form (an Int(3) is 3, a Bool(true) is true, …), never as a tagged enum — so no engine-internal wrapper type leaks across any boundary (library, snapshot §8, CLI --json §13.4, observer §8) per SPEC §5.1.

Variants

Null

Bool(bool)

Int(i64)

Float(f64)

Str(String)

List(Vec<Value>)

Map(BTreeMap<String, Value>)

Implementations

impl Value

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

pub fn matches_type(&self, ty: &str) -> bool

Is this value concretely of the declared esv/payload type? null satisfies any type (an unset variable / optional payload field).

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

pub fn truthy(&self) -> bool

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

pub fn coerce_to(&self, ty: &str) -> Option<Value>

Coerce a value to a declared type for assignment / payload delivery. Returns None if the value is not coercible (used to reject bad payloads).

impl Value

pub fn from_yaml(v: &Value) -> Value

pub fn to_json(&self) -> Value

pub fn from_json(v: &Value) -> 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<'de> Deserialize<'de> for Value

fn deserialize<D: Deserializer<'de>>(d: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

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

fn serialize<S: Serializer>(&self, s: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Value