Enum Expr 

pub enum Expr {
    Literal(Literal),
    Ident(String),
    Attr(Box<Spanned<Expr>>, String),
    FnCall(Box<Spanned<Expr>>, Vec<Spanned<Expr>>),
    BinOp(BinOp, Box<Spanned<Expr>>, Box<Spanned<Expr>>),
    Match {
        subject: Box<Spanned<Expr>>,
        arms: Vec<MatchArm>,
    },
    Constructor(String, Option<Box<Spanned<Expr>>>),
    ErrorProp(Box<Spanned<Expr>>),
    InterpolatedStr(Vec<StrPart>),
    List(Vec<Spanned<Expr>>),
    Tuple(Vec<Spanned<Expr>>),
    MapLiteral(Vec<(Spanned<Expr>, Spanned<Expr>)>),
    RecordCreate {
        type_name: String,
        fields: Vec<(String, Spanned<Expr>)>,
    },
    RecordUpdate {
        type_name: String,
        base: Box<Spanned<Expr>>,
        updates: Vec<(String, Spanned<Expr>)>,
    },
    TailCall(Box<(String, Vec<Spanned<Expr>>)>),
    IndependentProduct(Vec<Spanned<Expr>>, bool),
    Resolved(u16),
}

Variants

Literal(Literal)

Ident(String)

Attr(Box<Spanned<Expr>>, String)

FnCall(Box<Spanned<Expr>>, Vec<Spanned<Expr>>)

BinOp(BinOp, Box<Spanned<Expr>>, Box<Spanned<Expr>>)

Match

Fields

subject: Box<Spanned<Expr>>

arms: Vec<MatchArm>

Constructor(String, Option<Box<Spanned<Expr>>>)

ErrorProp(Box<Spanned<Expr>>)

InterpolatedStr(Vec<StrPart>)

List(Vec<Spanned<Expr>>)

Tuple(Vec<Spanned<Expr>>)

MapLiteral(Vec<(Spanned<Expr>, Spanned<Expr>)>)

Map literal: {"a" => 1, "b" => 2}

RecordCreate

Record creation: User(name = "Alice", age = 30)

Fields

type_name: String

fields: Vec<(String, Spanned<Expr>)>

RecordUpdate

Record update: User.update(base, field = newVal, ...)

Fields

type_name: String

base: Box<Spanned<Expr>>

updates: Vec<(String, Spanned<Expr>)>

TailCall(Box<(String, Vec<Spanned<Expr>>)>)

Tail-position call to a function in the same SCC (self or mutual recursion). Produced by the TCO transform pass before type-checking.

IndependentProduct(Vec<Spanned<Expr>>, bool)

Independent product: (a, b, c)! or (a, b, c)?!. Elements are independent effectful expressions evaluated with no guaranteed order. unwrap=true (?!): all elements must be Result; unwraps Ok values, propagates first Err. unwrap=false (!): returns raw tuple of results. Produces a replay group (effects matched by branch_path + effect_occurrence + type + args).

Resolved(u16)

Compiled variable lookup: env[last][slot] — O(1) instead of HashMap scan. Produced by the resolver pass for locals inside function bodies.

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 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