Control.Monad.Finish.Class

Documentation

class Monad μ => MonadFinish f μ | μ -> f where

Methods

finish :: f -> μ α

Instances

MonadFinish f μ => MonadFinish f (ListT μ)

MonadFinish f μ => MonadFinish f (MaybeT μ)

MonadFinish f μ => MonadFinish f (IdentityT μ)

(MonadFinish f μ, Monoid w) => MonadFinish f (WriterT w μ)

(MonadFinish f μ, Monoid w) => MonadFinish f (WriterT w μ)

MonadFinish f μ => MonadFinish f (StateT s μ)

MonadFinish f μ => MonadFinish f (StateT s μ)

MonadFinish f μ => MonadFinish f (ReaderT r μ)

MonadFinish f μ => MonadFinish f (AbortT e μ)

(MonadFinish f μ, Error e) => MonadFinish f (ErrorT e μ)

MonadFinish f μ => MonadFinish f (ContT r μ)

Monad μ => MonadFinish f (FinishT f μ)

(MonadFinish f μ, Monoid w) => MonadFinish f (RWST r w s μ)

(MonadFinish f μ, Monoid w) => MonadFinish f (RWST r w s μ)