Module naan::monad

source ·
Expand description

Monad

Traits

  • Monad
    Monad generalizes the concept of a sequence of computations, using the return value of one to determine the next.
  • MonadOnce
    Monad, but specialized to know at compile-time that the function contained in AMB will only be called one time.
  • MonadSurrogate
    Monad but with looser type constraints, allowing for blanket Monad implementations on types Equivalent to M<A>