Enum Expr 

pub enum Expr {
    Path(Path),
    Shape(Box<ShapeExpr>),
    BinOp(Box<BinOp>),
    UnaryOp(Box<UnaryOp>),
    FunctionCall(FunctionCall),
    TypeCast(Box<TypeCast>),
    IfElse(Box<IfElse>),
    Literal(Literal),
    Parameter(String),
    Tuple(Vec<Expr>),
    NamedTuple(Vec<(String, Expr)>),
    Array(Vec<Expr>),
    Set(Vec<Expr>),
    SubQuery(Box<Stmt>),
    Union(Box<Expr>, Box<Expr>),
    Except(Box<Expr>, Box<Expr>),
    Intersect(Box<Expr>, Box<Expr>),
    Global(String),
    Index {
        expr: Box<Expr>,
        index: Box<Expr>,
    },
    Slice {
        expr: Box<Expr>,
        lower: Option<Box<Expr>>,
        upper: Option<Box<Expr>>,
    },
    FieldAccess {
        expr: Box<Expr>,
        field: String,
    },
    PathStepOn {
        expr: Box<Expr>,
        step: Box<PathStep>,
    },
    TupleIndex {
        expr: Box<Expr>,
        index: usize,
    },
    Detached(Box<Expr>),
    TypeIs {
        expr: Box<Expr>,
        ty: TypeExpr,
    },
}

Variants

Path(Path)

Shape(Box<ShapeExpr>)

BinOp(Box<BinOp>)

UnaryOp(Box<UnaryOp>)

FunctionCall(FunctionCall)

TypeCast(Box<TypeCast>)

IfElse(Box<IfElse>)

Literal(Literal)

Parameter(String)

Tuple(Vec<Expr>)

NamedTuple(Vec<(String, Expr)>)

Array(Vec<Expr>)

Set(Vec<Expr>)

A set literal: {1, 2, 'hello'}. Multiple values produce multiple rows.

SubQuery(Box<Stmt>)

A parenthesised statement used as an expression: (INSERT ...), (UPDATE ...), (DELETE ...), (SELECT ...).

Union(Box<Expr>, Box<Expr>)

Binary set union: expr union expr — compiles to UNION ALL.

Except(Box<Expr>, Box<Expr>)

Binary set difference: expr except expr — rows in the left operand not present in the right, compiled to EXCEPT.

Intersect(Box<Expr>, Box<Expr>)

Global(String)

A global variable reference: global name or global module::name.

Index

Index access: expr[i] (0-based).

Fields

expr: Box<Expr>

index: Box<Expr>

Slice

Slice access: expr[lower:upper] (0-based, either bound may be absent).

Fields

expr: Box<Expr>

lower: Option<Box<Expr>>

upper: Option<Box<Expr>>

FieldAccess

Named tuple field access on a non-path expression: (name := 'a', age := 1).name.

Fields

expr: Box<Expr>

field: String

PathStepOn

A path step applied to something that is not itself a path — the [is Individual] in (select Installation limit 1).provider[is Individual].staff, which is legal. .name on such a base is already a FieldAccess; this carries the steps that have no expression form of their own (a type intersection, a link property, a backlink). The compiler rewrites a chain of these into an ordinary Path rooted at a binding, so nothing downstream has to know about it.

Fields

expr: Box<Expr>

step: Box<PathStep>

TupleIndex

Positional tuple element on a non-path expression: (1, 3.14, 'red').2.

Fields

expr: Box<Expr>

index: usize

Detached(Box<Expr>)

detached expr — evaluate expr independently of the current implicit scope.

TypeIs

expr is TypeName — runtime type check; returns bool.

Fields

expr: Box<Expr>

ty: TypeExpr

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Self

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: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Expr