Enum ExprKind 

pub enum ExprKind {
    Error,
    Number(f64),
    Integer(i64),
    Bool(bool),
    StringLiteral(String),
    TypeSystemRef(Spanned<TypeSystemRef>),
    GraphRef(Spanned<ResolvedName<Decl>>),
    ConstRef(Spanned<ConstRef>),
    LocalRef(Spanned<LocalId>),
    BinOp {
        op: BinOp,
        lhs: Box<Expr>,
        rhs: Box<Expr>,
    },
    UnaryOp {
        op: UnaryOp,
        operand: Box<Expr>,
    },
    FnCall {
        callee: Spanned<FunctionRef>,
        type_args: Vec<GenericArg>,
        args: Vec<Expr>,
    },
    If {
        condition: Box<Expr>,
        then_branch: Box<Expr>,
        else_branch: Box<Expr>,
    },
    UnitLiteral {
        value: f64,
        unit: UnitExpr,
    },
    Convert {
        expr: Box<Expr>,
        target: UnitExpr,
    },
    DisplayTimezone {
        expr: Box<Expr>,
        timezone: String,
    },
    FieldAccess {
        expr: Box<Expr>,
        field: Spanned<FieldName>,
    },
    ConstructorCall {
        callee: Spanned<ResolvedName<Constructor>>,
        generic_args: Vec<GenericArg>,
        fields: Vec<FieldInit>,
    },
    MapLiteral {
        entries: Vec<MapEntry>,
    },
    ForComp {
        bindings: Vec<ForBinding>,
        body: Box<Expr>,
    },
    IndexAccess {
        expr: Box<Expr>,
        args: Vec<IndexArg>,
    },
    Scan {
        source: Box<Expr>,
        init: Box<Expr>,
        acc: LocalDef,
        val: LocalDef,
        body: Box<Expr>,
    },
    Unfold {
        init: Box<Expr>,
        prev: LocalDef,
        curr: LocalDef,
        body: Box<Expr>,
    },
    Match {
        scrutinee: Box<Expr>,
        arms: Vec<MatchArm>,
    },
    VariantLiteral(IndexVariantRef),
    InlineDagRef {
        target: Spanned<DagId>,
        args: Vec<ParamBinding>,
        output: Spanned<ResolvedName<Decl>>,
    },
}

Resolved expression shape.

Variants

Error

A reference that failed to resolve.

Produced only by tolerant lowering; the diagnostic for the failure is reported alongside the lowered tree. The strict entry points reject trees containing this node, so the batch pipeline never observes it.

Number(f64)

Integer(i64)

Bool(bool)

StringLiteral(String)

TypeSystemRef(Spanned<TypeSystemRef>)

GraphRef(Spanned<ResolvedName<Decl>>)

ConstRef(Spanned<ConstRef>)

LocalRef(Spanned<LocalId>)

BinOp

Fields

op: BinOp

lhs: Box<Expr>

rhs: Box<Expr>

UnaryOp

Fields

op: UnaryOp

operand: Box<Expr>

FnCall

Fields

callee: Spanned<FunctionRef>

type_args: Vec<GenericArg>

args: Vec<Expr>

If

Fields

condition: Box<Expr>

then_branch: Box<Expr>

else_branch: Box<Expr>

UnitLiteral

Fields

value: f64

unit: UnitExpr

Convert

Fields

expr: Box<Expr>

target: UnitExpr

DisplayTimezone

Fields

expr: Box<Expr>

timezone: String

FieldAccess

Fields

expr: Box<Expr>

field: Spanned<FieldName>

ConstructorCall

Fields

callee: Spanned<ResolvedName<Constructor>>

generic_args: Vec<GenericArg>

fields: Vec<FieldInit>

MapLiteral

Fields

entries: Vec<MapEntry>

ForComp

Fields

bindings: Vec<ForBinding>

body: Box<Expr>

IndexAccess

Fields

expr: Box<Expr>

args: Vec<IndexArg>

Scan

Fields

source: Box<Expr>

init: Box<Expr>

acc: LocalDef

val: LocalDef

body: Box<Expr>

Unfold

Fields

init: Box<Expr>

prev: LocalDef

curr: LocalDef

body: Box<Expr>

Match

Fields

scrutinee: Box<Expr>

arms: Vec<MatchArm>

VariantLiteral(IndexVariantRef)

InlineDagRef

Fields

target: Spanned<DagId>

args: Vec<ParamBinding>

output: Spanned<ResolvedName<Decl>>

Trait Implementations

impl Clone for ExprKind

fn clone(&self) -> ExprKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExprKind

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

Formats the value using the given formatter.