Enum bend::imp::Stmt

source · 
pub enum Stmt {

Show 13 variants    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: 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

§

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

source§

impl Clone for Stmt

source§

fn clone(&self) -> Stmt

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for Stmt

source§

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

Formats the value using the given formatter. Read more
source§

impl Default for Stmt

source§

fn default() -> Stmt

Returns the “default value” for a type. Read more

Auto Trait Implementations§

§

impl Freeze for Stmt

§

impl RefUnwindSafe for Stmt

§

impl Send for Stmt

§

impl Sync for Stmt

§

impl Unpin for Stmt

§

impl UnwindSafe for Stmt

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

impl<'t, T> Place<'t, T> for T

source§

fn place(loaned: LoanedMut<'t, T>, place: &'t mut T)

source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.