monad-abort-fd-0.4: A better error monad transformer

Control.Monad.Abort.Class

Documentation

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

Methods

abort :: e -> μ αSource

Instances

MonadAbort SomeException IO 
MonadAbort e μ => MonadAbort e (ListT μ) 
MonadAbort e μ => MonadAbort e (MaybeT μ) 
MonadAbort e μ => MonadAbort e (IdentityT μ) 
(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 μ => MonadAbort e (FinishT f μ) 
(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 whereSource

Methods

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

Instances

MonadRecover SomeException IO 
MonadRecover e μ => MonadRecover e (ListT μ) 
MonadRecover e μ => MonadRecover e (MaybeT μ) 
MonadRecover e μ => MonadRecover e (IdentityT μ) 
(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 μ => MonadRecover e (FinishT f μ) 
(MonadRecover e μ, Monoid w) => MonadRecover e (RWST r w s μ) 
(MonadRecover e μ, Monoid w) => MonadRecover e (RWST r w s μ) 

onError :: MonadRecover e μ => μ α -> (e -> μ β) -> μ αSource

onError_ :: MonadRecover e μ => μ α -> μ β -> μ αSource

ignore :: MonadRecover e μ => μ α -> μ ()Source