Enum Stmt 

pub enum Stmt {
    Assign {
        pat: AssignPattern,
        val: Box<Expr>,
        nxt: Option<Box<Stmt>>,
    },
    InPlace {
        op: InPlaceOp,
        pat: Box<AssignPattern>,
        val: Box<Expr>,
        nxt: Box<Stmt>,
    },
    If {
        cond: Box<Expr>,
        then: Box<Stmt>,
        otherwise: Box<Stmt>,
        nxt: Option<Box<Stmt>>,
    },
    Match {
        arg: Box<Expr>,
        bnd: Option<Name>,
        with_bnd: Vec<Option<Name>>,
        with_arg: Vec<Expr>,
        arms: Vec<MatchArm>,
        nxt: Option<Box<Stmt>>,
    },
    Switch {
        arg: Box<Expr>,
        bnd: Option<Name>,
        with_bnd: Vec<Option<Name>>,
        with_arg: Vec<Expr>,
        arms: Vec<Stmt>,
        nxt: Option<Box<Stmt>>,
    },
    Bend {
        bnd: Vec<Option<Name>>,
        arg: Vec<Expr>,
        cond: Box<Expr>,
        step: Box<Stmt>,
        base: Box<Stmt>,
        nxt: Option<Box<Stmt>>,
    },
    Fold {
        arg: Box<Expr>,
        bnd: Option<Name>,
        with_bnd: Vec<Option<Name>>,
        with_arg: Vec<Expr>,
        arms: Vec<MatchArm>,
        nxt: Option<Box<Stmt>>,
    },
    With {
        typ: Name,
        bod: Box<Stmt>,
        nxt: Option<Box<Stmt>>,
    },
    Ask {
        pat: AssignPattern,
        val: Box<Expr>,
        nxt: Option<Box<Stmt>>,
    },
    Return {
        term: Box<Expr>,
    },
    Open {
        typ: Name,
        var: Name,
        nxt: Box<Stmt>,
    },
    Use {
        nam: Name,
        val: Box<Expr>,
        nxt: Box<Stmt>,
    },
    LocalDef {
        def: Box<Definition>,
        nxt: Box<Stmt>,
    },
    Err,
}

Variants

Assign

Fields

pat: AssignPattern

val: Box<Expr>

nxt: Option<Box<Stmt>>

InPlace

Fields

op: InPlaceOp

pat: Box<AssignPattern>

val: Box<Expr>

nxt: Box<Stmt>

If

Fields

cond: Box<Expr>

then: Box<Stmt>

otherwise: Box<Stmt>

nxt: Option<Box<Stmt>>

Match

Fields

arg: Box<Expr>

bnd: Option<Name>

with_bnd: Vec<Option<Name>>

with_arg: Vec<Expr>

arms: Vec<MatchArm>

nxt: Option<Box<Stmt>>

Switch

Fields

arg: Box<Expr>

bnd: Option<Name>

with_bnd: Vec<Option<Name>>

with_arg: Vec<Expr>

arms: Vec<Stmt>

nxt: Option<Box<Stmt>>

Bend

Fields

bnd: Vec<Option<Name>>

arg: Vec<Expr>

cond: Box<Expr>

step: Box<Stmt>

base: Box<Stmt>

nxt: Option<Box<Stmt>>

Fold

Fields

arg: Box<Expr>

bnd: Option<Name>

with_bnd: Vec<Option<Name>>

with_arg: Vec<Expr>

arms: Vec<MatchArm>

nxt: Option<Box<Stmt>>

With

Fields

typ: Name

bod: Box<Stmt>

nxt: Option<Box<Stmt>>

Ask

Fields

pat: AssignPattern

val: Box<Expr>

nxt: Option<Box<Stmt>>

Return

Fields

term: Box<Expr>

Open

Fields

typ: Name

var: Name

nxt: Box<Stmt>

Use

Fields

nam: Name

val: Box<Expr>

nxt: Box<Stmt>

LocalDef

Fields

def: Box<Definition>

nxt: Box<Stmt>

Err

Trait Implementations

impl Clone for Stmt

fn clone(&self) -> Stmt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Stmt

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

Formats the value using the given formatter.

impl Default for Stmt

fn default() -> Stmt

Returns the “default value” for a type.