Enum Expr 

pub enum Expr {
    Lit {
        lit: LitVal,
        span: Span,
    },
    Var {
        var: Var,
        span: Span,
    },
    Prim {
        prim: Prim,
        args: Vec<Expr>,
        span: Span,
    },
    Cons {
        cons: Var,
        flds: Vec<Expr>,
        span: Span,
    },
    Tuple {
        flds: Vec<Expr>,
        span: Span,
    },
    Match {
        expr: Box<Expr>,
        brchs: Vec<(Pattern, Expr)>,
        span: Span,
    },
    Let {
        patn: Pattern,
        expr: Box<Expr>,
        cont: Box<Expr>,
        span: Span,
    },
    App {
        func: Var,
        args: Vec<Expr>,
        span: Span,
    },
    Ifte {
        cond: Box<Expr>,
        then: Box<Expr>,
        els: Box<Expr>,
        span: Span,
    },
    Cond {
        brchs: Vec<(Expr, Expr)>,
        span: Span,
    },
    Alter {
        brchs: Vec<Expr>,
        span: Span,
    },
    Fresh {
        vars: Vec<Var>,
        cont: Box<Expr>,
        span: Span,
    },
    Guard {
        lhs: Box<Expr>,
        rhs: Option<Box<Expr>>,
        cont: Box<Expr>,
        span: Span,
    },
    Undefined {
        span: Span,
    },
}

Variants

Lit

Fields

lit: LitVal

span: Span

Var

Fields

var: Var

span: Span

Prim

Fields

prim: Prim

args: Vec<Expr>

span: Span

Cons

Fields

cons: Var

flds: Vec<Expr>

span: Span

Tuple

Fields

flds: Vec<Expr>

span: Span

Match

Fields

expr: Box<Expr>

brchs: Vec<(Pattern, Expr)>

span: Span

Let

Fields

patn: Pattern

expr: Box<Expr>

cont: Box<Expr>

span: Span

App

Fields

func: Var

args: Vec<Expr>

span: Span

Ifte

Fields

cond: Box<Expr>

then: Box<Expr>

els: Box<Expr>

span: Span

Cond

Fields

brchs: Vec<(Expr, Expr)>

span: Span

Alter

Fields

brchs: Vec<Expr>

span: Span

Fresh

Fields

vars: Vec<Var>

cont: Box<Expr>

span: Span

Guard

Fields

lhs: Box<Expr>

rhs: Option<Box<Expr>>

cont: Box<Expr>

span: Span

Undefined

Fields

span: Span

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl PartialEq for Expr

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