Documentation
class MonadIO m => CaughtMonadIO m whereSource
gcatch :: m a -> (Exception -> m a) -> m aSource
gcatchJust :: (Exception -> Maybe b) -> m a -> (b -> m a) -> m aSource
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