Enum DoAction 

pub enum DoAction {
    Let(String, Located<SurfaceExpr>),
    LetTyped(String, Located<SurfaceExpr>, Located<SurfaceExpr>),
    Bind(String, Located<SurfaceExpr>),
    Expr(Located<SurfaceExpr>),
    Return(Located<SurfaceExpr>),
}

Do notation action.

Variants

Let(String, Located<SurfaceExpr>)

let x := e

LetTyped(String, Located<SurfaceExpr>, Located<SurfaceExpr>)

let x : tau := e

Bind(String, Located<SurfaceExpr>)

x <- e

Expr(Located<SurfaceExpr>)

pure expression

Return(Located<SurfaceExpr>)

return e

Trait Implementations

impl Clone for DoAction

fn clone(&self) -> DoAction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DoAction

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

Formats the value using the given formatter.

impl PartialEq for DoAction

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