Control.Monad.Exception

Documentation

newtype EM l a

Constructors

EM

Fields

runEM :: Either SomeException a

Instances

(Exception e, Throws e l) => MonadThrow e (EM l)

Exception e => MonadCatch e (EM (Caught e l)) (EM l)

Monad (EM l)

Functor (EM l)

Throws MonadZero l => MonadPlus (EM l)

data MonadZero

Constructors

MonadZero

Instances

Show MonadZero

Typeable MonadZero

Exception MonadZero

newtype EMT l m a

Constructors

EMT

Fields

runEMT :: m (Either SomeException a)

Instances

(Monoid w, MonadRWS r w s m) => MonadRWS r w s (EMT l m)

MonadReader r m => MonadReader r (EMT l m)

MonadState s m => MonadState s (EMT l m)

(Monoid w, MonadWriter w m) => MonadWriter w (EMT l m)

(Exception e, Throws e l, Monad m) => MonadThrow e (EMT l m)

(Exception e, Monad m) => MonadCatch e (EMT (Caught e l) m) (EMT l m)

MonadTrans (EMT l)

Monad m => Monad (EMT l m)

Monad m => Functor (EMT l m)

MonadFix m => MonadFix (EMT l m)

(Monad m, Throws MonadZero l) => MonadPlus (EMT l m)

MonadIO m => MonadIO (EMT l m)

MonadCont m => MonadCont (EMT l m)

module Control.Monad.Exception.Class