Enum Expr

pub enum Expr {
    Bin(BinOp, Box<Expr>, Box<Expr>),
    Var(Symbol, TyId),
    Row(Box<[(Symbol, Expr)]>, TyId),
    Lit(AlgebraicValue, TyId),
    Field(Box<Expr>, usize, TyId),
    Input(TyId),
}

A typed scalar expression

Variants

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

A binary expression

Var(Symbol, TyId)

A variable reference

Row(Box<[(Symbol, Expr)]>, TyId)

A row or projection expression

Lit(AlgebraicValue, TyId)

A typed literal expression

Field(Box<Expr>, usize, TyId)

A field expression

Input(TyId)

The input parameter to a relop

Implementations

impl Expr

pub const fn bool(v: bool) -> Self

Returns a boolean literal

pub fn str(v: Box<str>) -> Self

Returns a string literal

pub fn ty_id(&self) -> TyId

The type id of this expression

pub fn ty<'a>(&self, ctx: &'a TyCtx) -> Result<TypeWithCtx<'a>, InvalidTypeId>

The type of this expression

Trait Implementations

impl Debug for Expr

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

Formats the value using the given formatter.