Enum ExprKind 

pub enum ExprKind {
    IntLit(i64),
    FloatLit(f64),
    StringLit(String),
    CharLit(char),
    BoolLit(bool),
    Unit,
    Var(Symbol),
    Constructor(Symbol),
    Tuple(Vec<Expr>),
    List(Vec<Expr>),
    Cons(Box<Expr>, Box<Expr>),
    BinOp(BinOp, Box<Expr>, Box<Expr>),
    UnaryNeg(Box<Expr>),
    Not(Box<Expr>),
    App(Box<Expr>, Box<Expr>),
    Fn(Pat, Box<Expr>),
    If(Box<Expr>, Box<Expr>, Box<Expr>),
    Let(Vec<Decl>, Box<Expr>),
    Case(Box<Expr>, Vec<(Pat, Expr)>),
    Ann(Box<Expr>, TypeExpr),
    Paren(Box<Expr>),
    Perform(Symbol, Box<Expr>),
    Handle {
        body: Box<Expr>,
        return_var: Symbol,
        return_body: Box<Expr>,
        handlers: Vec<EffectHandler>,
    },
    Resume(Box<Expr>, Box<Expr>),
}

Variants

IntLit(i64)

FloatLit(f64)

StringLit(String)

CharLit(char)

BoolLit(bool)

Unit

Var(Symbol)

Constructor(Symbol)

Tuple(Vec<Expr>)

List(Vec<Expr>)

Cons(Box<Expr>, Box<Expr>)

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

UnaryNeg(Box<Expr>)

Not(Box<Expr>)

App(Box<Expr>, Box<Expr>)

Fn(Pat, Box<Expr>)

If(Box<Expr>, Box<Expr>, Box<Expr>)

Let(Vec<Decl>, Box<Expr>)

Case(Box<Expr>, Vec<(Pat, Expr)>)

Ann(Box<Expr>, TypeExpr)

Paren(Box<Expr>)

Perform(Symbol, Box<Expr>)

perform EffectName arg

Handle

handle body with return x => e | Effect x k => e

Fields

body: Box<Expr>

return_var: Symbol

return_body: Box<Expr>

handlers: Vec<EffectHandler>

Resume(Box<Expr>, Box<Expr>)

resume k value

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.

impl PartialEq for ExprKind

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