Control.Monad.Abort.Class

Documentation

class Monad μ => MonadAbort e μ | μ -> e where

Methods

abort :: e -> μ α

Instances

MonadAbort e μ => MonadAbort e (ListT μ)

(MonadAbort e μ, Monoid w) => MonadAbort e (WriterT w μ)

(MonadAbort e μ, Monoid w) => MonadAbort e (WriterT w μ)

MonadAbort e μ => MonadAbort e (StateT s μ)

MonadAbort e μ => MonadAbort e (StateT s μ)

MonadAbort e μ => MonadAbort e (ReaderT r μ)

MonadAbort e μ => MonadAbort e (ContT r μ)

Monad μ => MonadAbort e (AbortT e μ)

(MonadAbort e μ, Monoid w) => MonadAbort e (RWST r w s μ)

(MonadAbort e μ, Monoid w) => MonadAbort e (RWST r w s μ)

class MonadAbort e μ => MonadRecover e μ | μ -> e where

Methods

recover :: μ α -> (e -> μ α) -> μ α

Instances

MonadRecover e μ => MonadRecover e (ListT μ)

(MonadRecover e μ, Monoid w) => MonadRecover e (WriterT w μ)

(MonadRecover e μ, Monoid w) => MonadRecover e (WriterT w μ)

MonadRecover e μ => MonadRecover e (StateT s μ)

MonadRecover e μ => MonadRecover e (StateT s μ)

MonadRecover e μ => MonadRecover e (ReaderT r μ)

Monad μ => MonadRecover e (AbortT e μ)

(MonadRecover e μ, Monoid w) => MonadRecover e (RWST r w s μ)

(MonadRecover e μ, Monoid w) => MonadRecover e (RWST r w s μ)