[−][src]Macro monadic::mdo
Macro based on Bind and Monad traits as supertraits of IntoIterator
You can use:
pure return_expresion
to return an expression valuemonadic_expression
to end with a monad expressionv <- 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 resultlet z = expression
to combine monad resultsguard 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