control-monad-exception-0.3.2: Explicitly typed exceptions Source code Contents Index

Control.Monad.Exception

Synopsis

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 data MonadZeroException = MonadZeroException module Control.Monad.Exception.Class

Documentation

type EM l = EMT l Identity Source

evalEM :: EM (AnyException l) a -> Either SomeException a Source

Run a computation explicitly handling exceptions

runEM :: EM NoExceptions a -> a Source

Run a safe computation

runEMParanoid :: EM ParanoidMode a -> a Source

Run a safe computation checking even unchecked (UncaughtExceptions) exceptions

data EMT l m a Source

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 => Applicative (EMT l m) (Throws SomeException l, MonadIO m) => MonadIO (EMT l m) MonadCont m => MonadCont (EMT l m)

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 a Source

Run a safe computation

runEMTParanoid :: Monad m => EMT ParanoidMode m a -> m a Source

Run a safe computation checking even unchecked (UncaughtException) exceptions

data MonadZeroException Source

Constructors MonadZeroException Instances Show MonadZeroException Typeable MonadZeroException Exception MonadZeroException

module Control.Monad.Exception.Class

Produced by Haddock version 2.6.0