[−][src]Macro monadic::monadic
macro which uses IntoIterator as monad
You can use:
Some( return_expresion)
to return an expression valuev <- monadic_expression
to use the monad result_ <- monadic_expression
to ignore the monad resultlet z = expression
to combine monad resultsguard boolean_expression
to filter results
it uses into_iter().flat_map
instead of the defined bind
for wider applicability since the latter
requires the Sized constraint
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