Enum Value 

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

A runtime value flowing through perform / resume / abort sites.

Symbol carries an unresolved identifier (e.g. a step output name like "Extract.output"); the runtime treats it as opaque since resolving it would require the surrounding flow’s environment. Production runs supply concrete values via the IR-loading layer or via EffectRuntime::bind_global.

Sentinel::Unit and Sentinel::Never are the well-known unit / bottom sentinels. Never should never appear at runtime in a well-typed program; its presence indicates the typechecker missed a resume on a Never-returning operation (a compiler bug).

Variants

Unit

Bool(bool)

Int(i64)

Float(f64)

String(String)

Map(BTreeMap<String, Value>)

List(Vec<Value>)

Symbol(String)

Symbolic reference (an identifier string in the IR — e.g. token, state.last). The runtime treats it opaquely; tests may resolve it via the EffectRuntime::bind_global table.

Implementations

impl Value

pub fn is_unit(&self) -> bool

True iff this value is the unit sentinel.

pub fn from_argument_text(s: &str) -> Self

Construct from a string — used when the IR carries an argument expression as raw text (consistent with Python convention for arguments: list[str] on perform / forward sites).

pub fn render(&self) -> String

Best-effort string render for diagnostics + traces.

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

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Value

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

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>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Value