Enum bend::imp::Stmt

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

Variants

Assign

Fields

pat: AssignPattern

val: Box<Expr>

nxt: Option<Box<Stmt>>

InPlace

Fields

op: InPlaceOp

var: Name

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>

bind: Option<Name>

arms: Vec<MatchArm>

nxt: Option<Box<Stmt>>

Switch

Fields

arg: Box<Expr>

bind: Option<Name>

arms: Vec<Stmt>

nxt: Option<Box<Stmt>>

Bend

Fields

bind: Vec<Option<Name>>

init: Vec<Expr>

cond: Box<Expr>

step: Box<Stmt>

base: Box<Stmt>

nxt: Option<Box<Stmt>>

Fold

Fields

arg: Box<Expr>

bind: Option<Name>

with: Vec<Name>

arms: Vec<MatchArm>

nxt: Option<Box<Stmt>>

Do

Fields

typ: Name

bod: Box<Stmt>

nxt: Option<Box<Stmt>>

Ask

Fields

pat: AssignPattern

val: Box<Expr>

nxt: 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>

Err

Trait Implementations

impl Clone for Stmt

fn clone(&self) -> Stmt

Returns a copy 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.