Enum ExprKind 

pub enum ExprKind<'bump> {
    Literal(Literal),
    Var(Ident),
    If {
        cond: Expr<'bump>,
        then_expr: Expr<'bump>,
        else_expr: Expr<'bump>,
    },
    BinOp {
        op: BinOp,
        lhs: Expr<'bump>,
        rhs: Expr<'bump>,
    },
    UnaryOp {
        op: UnaryOp,
        rhs: Expr<'bump>,
    },
    Let {
        name: Ident,
        value: Expr<'bump>,
        body: Expr<'bump>,
        rec: bool,
    },
    Match {
        scrutinee: Expr<'bump>,
        arms: &'bump [(Pat<'bump>, Expr<'bump>)],
    },
    Abs {
        param: Ident,
        body: Expr<'bump>,
    },
    App {
        func: Expr<'bump>,
        arg: Expr<'bump>,
    },
}

Variants

Literal(Literal)

Var(Ident)

If

Fields

cond: Expr<'bump>

then_expr: Expr<'bump>

else_expr: Expr<'bump>

BinOp

Fields

op: BinOp

lhs: Expr<'bump>

rhs: Expr<'bump>

UnaryOp

Fields

op: UnaryOp

rhs: Expr<'bump>

Let

Fields

name: Ident

value: Expr<'bump>

body: Expr<'bump>

rec: bool

Match

Fields

scrutinee: Expr<'bump>

arms: &'bump [(Pat<'bump>, Expr<'bump>)]

Abs

Fields

param: Ident

body: Expr<'bump>

App

Fields

func: Expr<'bump>

arg: Expr<'bump>

Implementations

impl<'bump> ExprKind<'bump>

pub fn literal(bump: &'bump Bump, span: SimpleSpan, lit: Literal) -> Expr<'bump>

pub fn ident(bump: &'bump Bump, span: SimpleSpan, name: Ident) -> Expr<'bump>

pub fn if_expr( bump: &'bump Bump, span: SimpleSpan, cond: Expr<'bump>, then_expr: Expr<'bump>, else_expr: Expr<'bump>, ) -> Expr<'bump>

pub fn binop( bump: &'bump Bump, span: SimpleSpan, op: BinOp, lhs: Expr<'bump>, rhs: Expr<'bump>, ) -> Expr<'bump>

pub fn unaryop( bump: &'bump Bump, span: SimpleSpan, op: UnaryOp, rhs: Expr<'bump>, ) -> Expr<'bump>

pub fn let_expr( bump: &'bump Bump, span: SimpleSpan, name: Ident, value: Expr<'bump>, body: Expr<'bump>, rec: bool, ) -> Expr<'bump>

pub fn match_expr( bump: &'bump Bump, span: SimpleSpan, scrutinee: Expr<'bump>, arms: &'bump [(Pat<'bump>, Expr<'bump>)], ) -> Expr<'bump>

pub fn lambda( bump: &'bump Bump, span: SimpleSpan, param: Ident, body: Expr<'bump>, ) -> Expr<'bump>

pub fn app( bump: &'bump Bump, span: SimpleSpan, func: Expr<'bump>, arg: Expr<'bump>, ) -> Expr<'bump>

impl<'bump> ExprKind<'bump>

pub fn thunk(expr: &'bump ExprKind<'bump>, env: &Env<'bump>) -> Thunk<'bump>

pub fn eval_lazy( &'bump self, env: &Env<'bump>, rodeo: &Rodeo, ) -> Result<Value<'bump>, EvalError>

Trait Implementations

impl<'bump> Clone for ExprKind<'bump>

fn clone(&self) -> ExprKind<'bump>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'bump> Debug for ExprKind<'bump>

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

Formats the value using the given formatter.