Safe Haskell | None |
---|---|
Language | Haskell2010 |
See Control.Monad.Except.
- class Monad m => MonadExcept tag e m | m tag -> e where
Documentation
class Monad m => MonadExcept tag e m | m tag -> e where Source
See MonadError
.
throw :: proxy tag -> e -> m a Source
Is used within a monadic computation to begin exception processing.
catch :: proxy tag -> m a -> (e -> m a) -> m a Source
A handler function to handle previous exceptions and return to normal execution.
MonadExcept tag e m => MonadExcept tag e (MaybeT m) | |
MonadExcept tag e m => MonadExcept tag e (ListT m) | |
MonadExcept tag e m => MonadExcept tag e (IdentityT m) | |
(Monoid w, MonadExcept tag e m) => MonadExcept tag e (WriterT w m) | |
(Monoid w, MonadExcept tag e m) => MonadExcept tag e (WriterT w m) | |
MonadExcept tag e m => MonadExcept tag e (StateT s m) | |
MonadExcept tag e m => MonadExcept tag e (StateT s m) | |
MonadExcept tag e m => MonadExcept tag e (ReaderT r m) | |
MonadExcept tag e m => MonadExcept tag e (ExceptT e' m) | |
MonadExcept tag e m => MonadExcept tag e (WrappedEther tag' m) | |
MonadExcept tag e m => MonadExcept tag e (StateT tag' s m) | |
MonadExcept tag e m => MonadExcept tag e (StateT tag' s m) | |
(Monoid w, MonadExcept tag e m) => MonadExcept tag e (WriterT tag' w m) | |
MonadExcept tag e m => MonadExcept tag e (ReaderT tag' r m) | |
MonadExcept tag e m => MonadExcept tag e (ExceptT tag' e' m) | |
Monad m => MonadExcept tag e (ExceptT tag e m) |