Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Fumiaki Kinsohita <fumiexcel@gmail.com> |
Safe Haskell | Safe-Inferred |
A class for operational monads
Documentation
class Monad m => t :! m | m -> t whereSource
:! t m => t :! (ListT m) | |
:! t m => t :! (IdentityT m) | |
:! t m => t :! (MaybeT m) | |
t :! (ReifiedProgram t) | |
t :! (Program t) | |
(:! t m, Error e) => t :! (ErrorT e m) | |
(:! t m, Monoid w) => t :! (WriterT w m) | |
(:! t m, Monoid w) => t :! (WriterT w m) | |
:! t m => t :! (ContT r m) | |
:! t m => t :! (StateT s m) | |
:! t m => t :! (StateT s m) | |
:! t m => t :! (ReaderT e m) | |
Monad m => t :! (ReifiedProgramT t m) | |
t :! (ProgramT t m) | |
(:! t m, Monoid w) => t :! (RWST r w s m) | |
(:! t m, Monoid w) => t :! (RWST r w s m) |