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