Enum Expr 

pub enum Expr {
    Missing,
    Bool(bool),
    Int(i64),
    Float(OrderedFloat<f64>),
    String(String),
    List(Vec<Node>),
    Tuple(Vec<Node>),
    Dict(Vec<(TokenKey, Node)>),
    Spread(Node),
    Comprehension {
        element: Node,
        id: String,
        iterable: Node,
        condition: Option<Node>,
    },
    Variable(Vec<TokenKey>),
    Reference {
        base: RefBase,
        path: Vec<TokenKey>,
    },
    Binary(Operator, Node, Node),
    Unary(Operator, Node),
    Ternary {
        cond: Node,
        then: Node,
        els: Node,
    },
    FnCall {
        path: Vec<TokenKey>,
        args: Vec<CallArg>,
    },
    FString(Vec<FStringPart>),
    Type(TypeNode),
    Wildcard,
    Where {
        expr: Node,
        bindings: Node,
    },
    Match {
        expr: Node,
        arms: Vec<(Node, Node)>,
    },
    VariantPattern {
        enum_path: Vec<String>,
        variant: String,
        bindings: Vec<PatternBinding>,
    },
    Closure {
        params: Vec<ClosureParam>,
        return_type: Option<TypeNode>,
        body: Node,
    },
    VariantCtor {
        enum_path: Vec<String>,
        variant: String,
        body: Node,
    },
}

Variants

Missing

Internal placeholder for parse recovery or removed literals.

Bool(bool)

Int(i64)

Float(OrderedFloat<f64>)

String(String)

List(Vec<Node>)

Tuple(Vec<Node>)

Fixed-arity, heterogeneous, positional tuple value (e1, e2, ...). Distinct from List so the analyzer can type it position-by-position (heterogeneous elements allowed, unlike a list literal) and the evaluator can preserve that distinction as Value::Tuple. JSON output still projects it as a positional array. Tuple(vec![]) is the unit / zero-tuple ().

Dict(Vec<(TokenKey, Node)>)

Spread(Node)

Comprehension

Fields

element: Node

id: String

iterable: Node

condition: Option<Node>

Variable(Vec<TokenKey>)

Reference

Fields

base: RefBase

path: Vec<TokenKey>

Binary(Operator, Node, Node)

Unary(Operator, Node)

Ternary

Fields

cond: Node

then: Node

els: Node

FnCall

Fields

path: Vec<TokenKey>

args: Vec<CallArg>

FString(Vec<FStringPart>)

Type(TypeNode)

Wildcard

Where

Fields

expr: Node

bindings: Node

Match

Fields

expr: Node

arms: Vec<(Node, Node)>

VariantPattern

Fields

enum_path: Vec<String>

variant: String

bindings: Vec<PatternBinding>

Closure

Fields

params: Vec<ClosureParam>

return_type: Option<TypeNode>

body: Node

VariantCtor

Tagged-enum variant constructor: EnumName.VariantName { field: value, ... }. Unit variants share the bare-identifier-path form parsed as Variable — the evaluator promotes them to a variant when the head resolves to a sum-type schema.

Fields

enum_path: Vec<String>

variant: String

body: Node

Implementations

impl Expr

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

Stable, allocation-free name for the variant — used by diagnostics (SchemaBodyNotDict { found }) and any walker that wants a cheap dispatch tag without matching the full enum.

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl Display for Expr

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

Formats the value using the given formatter.

impl PartialEq for Expr

fn eq(&self, other: &Expr) -> 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 StructuralPartialEq for Expr