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

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

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

Run a computation which may fail

runEM :: EM l a -> a Source

Run a safe computation

newtype EMT l m a Source

Constructors EMT unEMT :: m (Either (WrapException l) 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 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 a Source

data MonadZeroException Source

Constructors MonadZeroException Instances Show MonadZeroException Typeable MonadZeroException Exception MonadZeroException

module Control.Monad.Exception.Class

Produced by Haddock version 2.6.0