Enum IdrisDoStmt 

pub enum IdrisDoStmt {
    Bind(String, IdrisExpr),
    Let(String, IdrisExpr),
    Expr(IdrisExpr),
    LetTyped(String, IdrisType, IdrisExpr),
    Ignore(IdrisExpr),
}

A statement inside a do block.

Variants

Bind(String, IdrisExpr)

x <- action

Let(String, IdrisExpr)

let x = val

Expr(IdrisExpr)

A bare expression (last statement or side-effect).

LetTyped(String, IdrisType, IdrisExpr)

let x : T = val

Ignore(IdrisExpr)

ignore action

Trait Implementations

impl Clone for IdrisDoStmt

fn clone(&self) -> IdrisDoStmt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IdrisDoStmt

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

Formats the value using the given formatter.

impl Display for IdrisDoStmt

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

Formats the value using the given formatter.

impl PartialEq for IdrisDoStmt

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