Enum SpecExpr 

pub enum SpecExpr {
    Var {
        name: String,
    },
    IntLit {
        value: i64,
    },
    FloatLit {
        value: f64,
    },
    BoolLit {
        value: bool,
    },
    StrLit {
        value: String,
    },
    Call {
        func: String,
        args: Vec<SpecExpr>,
    },
    Let {
        name: String,
        value: Box<SpecExpr>,
        body: Box<SpecExpr>,
    },
    BinOp {
        op: SpecOp,
        lhs: Box<SpecExpr>,
        rhs: Box<SpecExpr>,
    },
    Not {
        expr: Box<SpecExpr>,
    },
    FieldAccess {
        value: Box<SpecExpr>,
        field: String,
    },
    Index {
        list: Box<SpecExpr>,
        index: Box<SpecExpr>,
    },
    Match {
        scrutinee: Box<SpecExpr>,
        arms: Vec<MatchArm>,
    },
}

Variants

Var

Fields

name: String

IntLit

Fields

value: i64

FloatLit

Fields

value: f64

BoolLit

Fields

value: bool

StrLit

Fields

value: String

Call

A call into the target Lex function (or another helper).

Fields

func: String

args: Vec<SpecExpr>

Let

Fields

name: String

value: Box<SpecExpr>

body: Box<SpecExpr>

BinOp

Fields

op: SpecOp

lhs: Box<SpecExpr>

rhs: Box<SpecExpr>

Not

Fields

expr: Box<SpecExpr>

FieldAccess

Field access on a record-typed expression (#208). Evaluated by drilling into Value::Record’s field map; fails-loudly if the underlying value isn’t a record or doesn’t contain the field.

Fields

value: Box<SpecExpr>

field: String

Index

Indexed access on a list-typed expression (#208). xs[i] evaluates to the i-th element of the list (zero-based). Out-of-bounds indices fail loudly via Inconclusive — agents that want defensive behavior wrap with a length(xs) > i check.

Fields

list: Box<SpecExpr>

index: Box<SpecExpr>

Match

Pattern match on a sum-typed expression (#208 slice 3). Arms are tried in order; the first matching arm’s body is the result. A _ wildcard pattern is exhaustive. Variant patterns (Charge(x)) bind positional args by name in the arm’s body. Non-exhaustive matches fall through to Inconclusive at evaluation time.

Fields

scrutinee: Box<SpecExpr>

arms: Vec<MatchArm>

Trait Implementations

impl Clone for SpecExpr

fn clone(&self) -> SpecExpr

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SpecExpr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SpecExpr

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for SpecExpr

fn eq(&self, other: &SpecExpr) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for SpecExpr

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 SpecExpr