System.Console.Haskeline.MonadException
Description
This module redefines some of the functions in Control.Exception.Extensible to
work for more general monads than only IO
.
Documentation
class MonadIO m => MonadException m where
Instances
MonadException IO | |
MonadException m => MonadException (MaybeT m) | |
MonadException m => MonadException (DumbTerm m) | |
MonadException m => MonadException (InputT m) | |
MonadException m => MonadException (ReaderT r m) | |
MonadException m => MonadException (StateT s m) | |
MonadException m => MonadException (StateT s m) |
handle :: (MonadException m, Exception e) => (e -> m a) -> m a -> m a
finally :: MonadException m => m a -> m b -> m a
bracket :: MonadException m => m a -> (a -> m b) -> (a -> m c) -> m c
throwDynIO :: (Exception exception, MonadIO m) => exception -> m a
handleDyn :: (Exception exception, MonadException m) => (exception -> m a) -> m a -> m a
class (Typeable e, Show e) => Exception e
Instances
Exception SomeException | |
Exception IOException | |
Exception NestedAtomically | |
Exception NoMethodError | |
Exception NonTermination | |
Exception PatternMatchFail | |
Exception RecConError | |
Exception RecSelError | |
Exception RecUpdError | |
Exception ArithException | |
Exception ErrorCall | |
Exception ArrayException | |
Exception AssertionFailed | |
Exception AsyncException | |
Exception BlockedIndefinitelyOnMVar | |
Exception BlockedIndefinitelyOnSTM | |
Exception Deadlock | |
Exception ExitCode | |
Exception Interrupt | |
Exception Dynamic |
data SomeException where
Constructors
SomeException :: Exception e => e -> SomeException |
Instances
Show SomeException | |
Typeable SomeException | |
Exception SomeException |
data IOException
Instances
Eq IOException | |
Show IOException | |
Typeable IOException | |
Exception IOException | |
Error IOException |