Enum pomelo_hir::hir::ExprKind

pub enum ExprKind {
    Missing,
    Scon(Scon),
    Seq {
        exprs: Box<[Idx<Expr>]>,
    },
    VId {
        op: bool,
        longvid: (LongVId, DefLoc),
    },
    Record {
        rows: Box<[ExpRow]>,
    },
    Let {
        dec: Idx<Dec>,
        expr: Idx<Expr>,
    },
    Application {
        expr: Idx<Expr>,
        param: Idx<Expr>,
    },
    Infix {
        lhs: Idx<Expr>,
        vid: (VId, DefLoc),
        rhs: Idx<Expr>,
    },
    Typed {
        expr: Idx<Expr>,
        ty: Idx<Ty>,
    },
    Handle {
        expr: Idx<Expr>,
        match_: Box<[MRule]>,
    },
    Raise {
        expr: Idx<Expr>,
    },
    Fn {
        match_: Box<[MRule]>,
    },
}

Kinds of HIR expressions.

These correspond to the basic forms in Chapter 2 of the Definition, after desugaring the derived forms from Appendix A.

Variants

Missing

Scon(Scon)

Seq

Fields

exprs: Box<[Idx<Expr>]>

VId

Fields

op: bool

longvid: (LongVId, DefLoc)

Record

Fields

rows: Box<[ExpRow]>

Let

Fields

dec: Idx<Dec>

expr: Idx<Expr>

Application

Fields

expr: Idx<Expr>

param: Idx<Expr>

Infix

Fields

lhs: Idx<Expr>

vid: (VId, DefLoc)

rhs: Idx<Expr>

Typed

Fields

expr: Idx<Expr>

ty: Idx<Ty>

Handle

Fields

expr: Idx<Expr>

match_: Box<[MRule]>

Raise

Fields

expr: Idx<Expr>

Fn

Fields

match_: Box<[MRule]>

Trait Implementations

impl Clone for ExprKind

fn clone(&self) -> ExprKind

Returns a copy 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<ExprKind> for ExprKind

fn eq(&self, other: &ExprKind) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ExprKind

impl StructuralEq for ExprKind

impl StructuralPartialEq for ExprKind