Safe Haskell | None |
---|---|
Language | Haskell98 |
Basically a copy of the ErrorT monad transformer. It's handy to slap onto TCM and still be a MonadTCM (which isn't possible with ErrorT).
Documentation
newtype ExceptionT err m a Source
ExceptionT | |
|
(Error err, MonadState s m) => MonadState s (ExceptionT err m) Source | |
(Error err, MonadReader r m) => MonadReader r (ExceptionT err m) Source | |
(Error err, MonadError err' m) => MonadError err' (ExceptionT err m) Source | |
(Monad m, Error err) => MonadException err (ExceptionT err m) Source | |
MonadTrans (ExceptionT err) Source | |
(Monad m, Error err) => Monad (ExceptionT err m) Source | |
Functor f => Functor (ExceptionT err f) Source | |
(Error err, Applicative m, Monad m) => Applicative (ExceptionT err m) Source | |
(Error err, MonadIO m) => MonadIO (ExceptionT err m) Source | |
(Error err, MonadTCM tcm) => MonadTCM (ExceptionT err tcm) Source | |
(HasConstInfo m, Error err) => HasConstInfo (ExceptionT err m) Source |
class Error err => MonadException err m | m -> err where Source
throwException :: err -> m a Source
catchException :: m a -> (err -> m a) -> m a Source
MonadException UnifyException Unify Source | |
(Monad m, MonadException err m, Monoid w) => MonadException err (WriterT w m) Source | |
(Monad m, MonadException err m) => MonadException err (ReaderT r m) Source | |
(Monad m, Error err) => MonadException err (ExceptionT err m) Source |