Enum ExprSpec 

pub enum ExprSpec {
    Lit(i64),
    Float(f64),
    FloatOp {
        op: BinOp,
        lhs: Box<ExprSpec>,
        rhs: Box<ExprSpec>,
    },
    IntToFloat(Box<ExprSpec>),
    FloatToInt(Box<ExprSpec>),
    Decimal(f64),
    DecimalOp {
        op: BinOp,
        lhs: Box<ExprSpec>,
        rhs: Box<ExprSpec>,
    },
    IntToDecimal(Box<ExprSpec>),
    DecimalToInt(Box<ExprSpec>),
    DecimalRaw(Box<ExprSpec>),
    Bool(bool),
    Not(Box<ExprSpec>),
    Str(String),
    StrLen(Box<ExprSpec>),
    StrLower(Box<ExprSpec>),
    StrFromCode(Box<ExprSpec>),
    NumberToStr(Box<ExprSpec>),
    StrToNumber(Box<ExprSpec>),
    StrToNumberOpt(Box<ExprSpec>),
    StrConcat(Box<ExprSpec>, Box<ExprSpec>),
    StrSlice {
        s: Box<ExprSpec>,
        start: Box<ExprSpec>,
        len: Box<ExprSpec>,
    },
    StrEq(Box<ExprSpec>, Box<ExprSpec>),
    StrContains {
        haystack: Box<ExprSpec>,
        needle: Box<ExprSpec>,
    },
    StrStartsWith {
        s: Box<ExprSpec>,
        prefix: Box<ExprSpec>,
    },
    StrIndexOf {
        haystack: Box<ExprSpec>,
        needle: Box<ExprSpec>,
    },
    Now,
    List(Vec<ExprSpec>),
    ListEmpty {
        elem: Type,
    },
    ListCons {
        head: Box<ExprSpec>,
        tail: Box<ExprSpec>,
    },
    OptionSome(Box<ExprSpec>),
    OptionNone {
        elem: Type,
    },
    OptionElse {
        opt: Box<ExprSpec>,
        default: Box<ExprSpec>,
    },
    OptionMatch {
        opt: Box<ExprSpec>,
        some_bind: String,
        some_body: Box<ExprSpec>,
        none_body: Box<ExprSpec>,
    },
    ListTryGet {
        list: Box<ExprSpec>,
        index: Box<ExprSpec>,
    },
    ListLen(Box<ExprSpec>),
    ListGet {
        list: Box<ExprSpec>,
        index: Box<ExprSpec>,
    },
    Map(Vec<(ExprSpec, ExprSpec)>),
    MapGet {
        map: Box<ExprSpec>,
        key: Box<ExprSpec>,
    },
    MapTryGet {
        map: Box<ExprSpec>,
        key: Box<ExprSpec>,
    },
    MapLen(Box<ExprSpec>),
    Log(Box<ExprSpec>),
    Publish(Box<ExprSpec>),
    SetHeader {
        name: Box<ExprSpec>,
        value: Box<ExprSpec>,
    },
    Rand,
    MutNew(Box<ExprSpec>),
    MutGet(Box<ExprSpec>),
    MutSet {
        cell: Box<ExprSpec>,
        value: Box<ExprSpec>,
    },
    DiskWrite {
        path: Box<ExprSpec>,
        content: Box<ExprSpec>,
    },
    DiskRead(Box<ExprSpec>),
    NetGet(Box<ExprSpec>),
    DbQuery {
        sql: Box<ExprSpec>,
        params: Box<ExprSpec>,
    },
    Ref(String),
    Call {
        func: String,
        args: Vec<ExprSpec>,
    },
    FuncRef(String),
    CallValue {
        callee: Box<ExprSpec>,
        args: Vec<ExprSpec>,
    },
    Lambda {
        params: Vec<(String, Type)>,
        body: Box<ExprSpec>,
    },
    BinOp {
        op: BinOp,
        lhs: Box<ExprSpec>,
        rhs: Box<ExprSpec>,
    },
    If {
        cond: Box<ExprSpec>,
        then_branch: Box<ExprSpec>,
        else_branch: Box<ExprSpec>,
    },
    Fail(String),
    Handle {
        body: Box<ExprSpec>,
        handlers: Vec<(String, ExprSpec)>,
    },
    Record {
        type_name: String,
        fields: Vec<(String, ExprSpec)>,
    },
    Field {
        base: Box<ExprSpec>,
        type_name: String,
        field: String,
    },
    Variant {
        type_name: String,
        case: String,
        fields: Vec<(String, ExprSpec)>,
    },
    Match {
        scrutinee: Box<ExprSpec>,
        type_name: String,
        arms: Vec<(String, Vec<String>, ExprSpec)>,
    },
    Hole {
        expects: String,
    },
}

A structural expression an agent supplies to add_step / set_yield. It mirrors the seed expression model; the editor materializes it into content-addressed nodes at commit.

Variants

Lit(i64)

Float(f64)

A Float literal (stored in the node as its bit pattern).

FloatOp

Fields

op: BinOp

lhs: Box<ExprSpec>

rhs: Box<ExprSpec>

IntToFloat(Box<ExprSpec>)

FloatToInt(Box<ExprSpec>)

Decimal(f64)

A Decimal literal, given as its real value; stored pre-scaled by 10_000 and rounded to 4 fractional digits.

DecimalOp

Fields

op: BinOp

lhs: Box<ExprSpec>

rhs: Box<ExprSpec>

IntToDecimal(Box<ExprSpec>)

DecimalToInt(Box<ExprSpec>)

DecimalRaw(Box<ExprSpec>)

Bool(bool)

Not(Box<ExprSpec>)

Str(String)

StrLen(Box<ExprSpec>)

StrLower(Box<ExprSpec>)

StrFromCode(Box<ExprSpec>)

NumberToStr(Box<ExprSpec>)

StrToNumber(Box<ExprSpec>)

StrToNumberOpt(Box<ExprSpec>)

StrConcat(Box<ExprSpec>, Box<ExprSpec>)

StrSlice

Fields

s: Box<ExprSpec>

start: Box<ExprSpec>

len: Box<ExprSpec>

StrEq(Box<ExprSpec>, Box<ExprSpec>)

StrContains

Fields

haystack: Box<ExprSpec>

needle: Box<ExprSpec>

StrStartsWith

Fields

s: Box<ExprSpec>

prefix: Box<ExprSpec>

StrIndexOf

Fields

haystack: Box<ExprSpec>

needle: Box<ExprSpec>

Now

List(Vec<ExprSpec>)

ListEmpty

Fields

elem: Type

ListCons

Fields

head: Box<ExprSpec>

tail: Box<ExprSpec>

OptionSome(Box<ExprSpec>)

OptionNone

Fields

elem: Type

OptionElse

Fields

opt: Box<ExprSpec>

default: Box<ExprSpec>

OptionMatch

Fields

opt: Box<ExprSpec>

some_bind: String

some_body: Box<ExprSpec>

none_body: Box<ExprSpec>

ListTryGet

Fields

list: Box<ExprSpec>

index: Box<ExprSpec>

ListLen(Box<ExprSpec>)

ListGet

Fields

list: Box<ExprSpec>

index: Box<ExprSpec>

Map(Vec<(ExprSpec, ExprSpec)>)

MapGet

Fields

map: Box<ExprSpec>

key: Box<ExprSpec>

MapTryGet

Fields

map: Box<ExprSpec>

key: Box<ExprSpec>

MapLen(Box<ExprSpec>)

Log(Box<ExprSpec>)

Publish(Box<ExprSpec>)

SetHeader

Fields

name: Box<ExprSpec>

value: Box<ExprSpec>

Rand

MutNew(Box<ExprSpec>)

MutGet(Box<ExprSpec>)

MutSet

Fields

cell: Box<ExprSpec>

value: Box<ExprSpec>

DiskWrite

Fields

path: Box<ExprSpec>

content: Box<ExprSpec>

DiskRead(Box<ExprSpec>)

NetGet(Box<ExprSpec>)

DbQuery

Fields

sql: Box<ExprSpec>

params: Box<ExprSpec>

Ref(String)

Call

Fields

func: String

args: Vec<ExprSpec>

FuncRef(String)

CallValue

Fields

callee: Box<ExprSpec>

args: Vec<ExprSpec>

Lambda

An anonymous closure. Param min-confidence is External (weakest): a closure does not gate its caller’s confidence.

Fields

params: Vec<(String, Type)>

body: Box<ExprSpec>

BinOp

Fields

op: BinOp

lhs: Box<ExprSpec>

rhs: Box<ExprSpec>

If

Fields

cond: Box<ExprSpec>

then_branch: Box<ExprSpec>

else_branch: Box<ExprSpec>

Fail(String)

Handle

Fields

body: Box<ExprSpec>

handlers: Vec<(String, ExprSpec)>

Record

Fields

type_name: String

fields: Vec<(String, ExprSpec)>

Field

Fields

base: Box<ExprSpec>

type_name: String

field: String

Variant

Fields

type_name: String

case: String

fields: Vec<(String, ExprSpec)>

Match

Fields

scrutinee: Box<ExprSpec>

type_name: String

arms: Vec<(String, Vec<String>, ExprSpec)>

(case, payload bindings, body)

Hole

Fields

expects: String

Trait Implementations

impl Clone for ExprSpec

fn clone(&self) -> ExprSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExprSpec

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExprSpec

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ExprSpec

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.