- type EM l = EMT l Identity
- evalEM :: EM (AnyException l) a -> Either SomeException a
- runEM :: EM NoExceptions a -> a
- runEMParanoid :: EM ParanoidMode a -> a
- data EMT l m a
- evalEMT :: Monad m => EMT (AnyException l) m a -> m (Either SomeException a)
- runEMT :: Monad m => EMT NoExceptions m a -> m a
- runEMTParanoid :: Monad m => EMT ParanoidMode m a -> m a
- class WithSrcLoc a where
- withLocTH :: Q Exp
- showExceptionWithTrace :: Show e => [String] -> e -> String
- data MonadZeroException = MonadZeroException
- module Control.Monad.Exception.Class
Documentation
evalEM :: EM (AnyException l) a -> Either SomeException aSource
Run a computation explicitly handling exceptions
runEM :: EM NoExceptions a -> aSource
Run a safe computation
runEMParanoid :: EM ParanoidMode a -> aSource
Run a safe computation checking even unchecked (UncaughtExceptions
) exceptions
(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 => Applicative (EMT l m) | |
MonadCont m => MonadCont (EMT l m) | |
(Throws SomeException l, MonadIO m) => MonadIO (EMT l m) | |
Monad m => WithSrcLoc (EMT l m a) |
evalEMT :: Monad m => EMT (AnyException l) m a -> m (Either SomeException a)Source
Run explicitly handling exceptions
runEMT :: Monad m => EMT NoExceptions m a -> m aSource
Run a safe computation
runEMTParanoid :: Monad m => EMT ParanoidMode m a -> m aSource
Run a safe computation checking even unchecked (UncaughtException
) exceptions
class WithSrcLoc a whereSource
Generating stack traces for exceptions
WithSrcLoc a | |
Monad m => WithSrcLoc (EMT l m a) |
showExceptionWithTrace :: Show e => [String] -> e -> StringSource
data MonadZeroException Source