Enum TypedExprKind 

pub enum TypedExprKind {
    Bool(bool),
    Uint(u64),
    Int(i64),
    Float(f64),
    String(String),
    Uuid(Uuid),
    DateTime(DateTime<Utc>),
    Hole,
    Tuple(Vec<TypedExpr>),
    List(Vec<TypedExpr>),
    Dict(BTreeMap<Symbol, TypedExpr>),
    RecordUpdate {
        base: Box<TypedExpr>,
        updates: BTreeMap<Symbol, TypedExpr>,
    },
    Var {
        name: Symbol,
        overloads: Vec<Type>,
    },
    App(Box<TypedExpr>, Box<TypedExpr>),
    Project {
        expr: Box<TypedExpr>,
        field: Symbol,
    },
    Lam {
        param: Symbol,
        body: Box<TypedExpr>,
    },
    Let {
        name: Symbol,
        def: Box<TypedExpr>,
        body: Box<TypedExpr>,
    },
    LetRec {
        bindings: Vec<(Symbol, TypedExpr)>,
        body: Box<TypedExpr>,
    },
    Ite {
        cond: Box<TypedExpr>,
        then_expr: Box<TypedExpr>,
        else_expr: Box<TypedExpr>,
    },
    Match {
        scrutinee: Box<TypedExpr>,
        arms: Vec<(Pattern, TypedExpr)>,
    },
}

Variants

Bool(bool)

Uint(u64)

Int(i64)

Float(f64)

String(String)

Uuid(Uuid)

DateTime(DateTime<Utc>)

Hole

Tuple(Vec<TypedExpr>)

List(Vec<TypedExpr>)

Dict(BTreeMap<Symbol, TypedExpr>)

RecordUpdate

Fields

base: Box<TypedExpr>

updates: BTreeMap<Symbol, TypedExpr>

Var

Fields

name: Symbol

overloads: Vec<Type>

App(Box<TypedExpr>, Box<TypedExpr>)

Project

Fields

expr: Box<TypedExpr>

field: Symbol

Lam

Fields

param: Symbol

body: Box<TypedExpr>

Let

Fields

name: Symbol

def: Box<TypedExpr>

body: Box<TypedExpr>

LetRec

Fields

bindings: Vec<(Symbol, TypedExpr)>

body: Box<TypedExpr>

Ite

Fields

cond: Box<TypedExpr>

then_expr: Box<TypedExpr>

else_expr: Box<TypedExpr>

Match

Fields

scrutinee: Box<TypedExpr>

arms: Vec<(Pattern, TypedExpr)>

Trait Implementations

impl Clone for TypedExprKind

fn clone(&self) -> TypedExprKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypedExprKind

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

Formats the value using the given formatter.

impl PartialEq for TypedExprKind

fn eq(&self, other: &TypedExprKind) -> 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 TypedExprKind