control-monad-exception-0.2: Explicitly typed exceptionsSource codeContentsIndex
Control.Monad.Exception
Synopsis
type EM l = EMT l Identity
evalEM :: EM (Caught SomeException l) a -> Either SomeException a
runEM :: EM l a -> a
newtype EMT l m a = EMT {
unEMT :: m (Either (WrapException l) a)
}
evalEMT :: Monad m => EMT (Caught SomeException l) m a -> m (Either SomeException a)
runEMT :: Monad m => EMT l m a -> m a
data MonadZeroException = MonadZeroException
module Control.Monad.Exception.Class
Documentation
type EM l = EMT l IdentitySource
evalEM :: EM (Caught SomeException l) a -> Either SomeException aSource
Run a computation which may fail
runEM :: EM l a -> aSource
Run a safe computation
newtype EMT l m a Source
Constructors
EMT
unEMT :: m (Either (WrapException l) a)
show/hide 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 MonadZeroException l) => MonadPlus (EMT l m)
(Throws SomeException l, MonadIO m) => MonadIO (EMT l m)
MonadCont m => MonadCont (EMT l m)
evalEMT :: Monad m => EMT (Caught SomeException l) m a -> m (Either SomeException a)Source
runEMT :: Monad m => EMT l m a -> m aSource
data MonadZeroException Source
Constructors
MonadZeroException
show/hide Instances
module Control.Monad.Exception.Class
Produced by Haddock version 2.6.0