Control.Exception.MonadIO
Documentation
class MonadIO m => CaughtMonadIO m whereSource
Methods
gcatch :: m a -> (Exception -> m a) -> m aSource
gcatchJust :: (Exception -> Maybe b) -> m a -> (b -> m a) -> m aSource
Instances
| CaughtMonadIO IO | |
| CaughtMonadIO m => CaughtMonadIO (ReaderT a m) | |
| ISession si => CaughtMonadIO (DBM mark si) |
gtry :: CaughtMonadIO m => m b -> m (Either Exception b)Source
gbracket :: CaughtMonadIO m => m t -> (t -> m a) -> (t -> m b) -> m bSource
gfinally :: CaughtMonadIO m => m t -> m a -> m tSource