Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
class Monad μ => MonadFinish f μ | μ -> f where Source #
MonadFinish f μ => MonadFinish f (ListT μ) Source # | |
MonadFinish f μ => MonadFinish f (MaybeT μ) Source # | |
(MonadFinish f μ, Monoid w) => MonadFinish f (WriterT w μ) Source # | |
(MonadFinish f μ, Monoid w) => MonadFinish f (WriterT w μ) Source # | |
MonadFinish f μ => MonadFinish f (StateT s μ) Source # | |
MonadFinish f μ => MonadFinish f (StateT s μ) Source # | |
MonadFinish f μ => MonadFinish f (AbortT e μ) Source # | |
MonadFinish f μ => MonadFinish f (ExceptT e μ) Source # | |
(MonadFinish f μ, Error e) => MonadFinish f (ErrorT e μ) Source # | |
MonadFinish f μ => MonadFinish f (IdentityT * μ) Source # | |
Monad μ => MonadFinish f (FinishT f μ) Source # | |
MonadFinish f μ => MonadFinish f (ReaderT * r μ) Source # | |
MonadFinish f μ => MonadFinish f (ContT * r μ) Source # | |
(MonadFinish f μ, Monoid w) => MonadFinish f (RWST r w s μ) Source # | |
(MonadFinish f μ, Monoid w) => MonadFinish f (RWST r w s μ) Source # | |
Orphan instances
MonadRWS r w s μ => MonadRWS r w s (FinishT f μ) Source # | |
MonadState s μ => MonadState s (FinishT f μ) Source # | |
MonadReader r μ => MonadReader r (FinishT f μ) Source # | |
MonadError e μ => MonadError e (FinishT f μ) Source # | |
MonadWriter w μ => MonadWriter w (FinishT f μ) Source # | |
MonadRecover e μ => MonadRecover e (FinishT f μ) Source # | |
MonadAbort e μ => MonadAbort e (FinishT f μ) Source # | |
MonadCont μ => MonadCont (FinishT f μ) Source # | |