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.
(LiftCatch t, Monad (t m), MonadExcept k tag e m) => MonadExcept k tag e (t m) Source | |
(Monad m, (~) * e e') => MonadExcept k tag e (ExceptT k tag e' m) Source |