Enum Expr 

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

Variants

Literal(Literal)

Ident(String)

Attr(Box<Expr>, String)

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

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

Match

Fields

subject: Box<Expr>

arms: Vec<MatchArm>

line: usize

Pipe(Box<Expr>, Box<Expr>)

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

ErrorProp(Box<Expr>)

InterpolatedStr(Vec<StrPart>)

List(Vec<Expr>)

Tuple(Vec<Expr>)

MapLiteral(Vec<(Expr, Expr)>)

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

RecordCreate

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

Fields

type_name: String

fields: Vec<(String, Expr)>

RecordUpdate

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

Fields

type_name: String

base: Box<Expr>

updates: Vec<(String, Expr)>

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

Tail-position call to a function in the same SCC (self or mutual recursion). Produced by the TCO transform pass before type-checking. Boxed to keep Expr enum at its original size (48 bytes).

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