Macro operational::seq

macro_rules! seq {
    (let $p: pat = $e: expr ; $( $t: tt )*) => { ... };
    (let $p: ident : $ty: ty = $e: expr ; $( $t: tt )*) => { ... };
    (for $p: pat = $e: expr ; $( $t: tt )*) => { ... };
    (for $p: ident : $ty: ty = $e: expr ; $( $t: tt )*) => { ... };
    ($f: expr) => { ... };
}

Provides a convient syntax for monadic computations.

Example

#[macro_use] extern crate operational;
use operational::point;
use operational::instr::identity;
fn main() {
    let l = seq!{
        for x = point(42);
        for _ = point(0);
        let y = x + 5;
        point(y + 5)
    };
    assert_eq!(l, identity(52));
}