Macro monadic::mdo

macro_rules! mdo {
    (pure $e:expr                           ) => { ... };
    (let $v:ident = $e:expr ; $($rest:tt)*) => { ... };
    (guard $boolean:expr ; $($rest:tt)*) => { ... };
    (_ <- $monad:expr ; $($rest:tt)* ) => { ... };
    (&$v:ident <- $monad:expr ; $($rest:tt)* ) => { ... };
    ($v:ident <- pure $e:expr ; $($rest:tt)* ) => { ... };
    ($v:ident <- $monad:expr ; $($rest:tt)* ) => { ... };
    ($monad:expr                            ) => { ... };
}

Macro based on Bind and Monad traits as supertraits of IntoIterator

You can use:

• pure return_expresion to return an expression value
• monadic_expression to end with a monad expression
• v <- pure return_expresion to lift a rhs expression value with Option::pure(x)
• v <- monadic_expression to use the monad result
• &v <- &monadic_expression to use a reference item result from a by reference monad
• _ <- monadic_expression to ignore the monad result
• let z = expression to combine monad results
• guard boolean_expression to filter results

There are transitive implementation relations for some structures to be instances of IntoIterator that only implement Iterator:

All iterators implement IntoIterator where into_iter() returns the self iterator structure as documented

Iterator and IntoIterator trait imports are predefined