Control.Exception.MonadIO

Documentation

class MonadIO m => CaughtMonadIO m where

Methods

gcatch :: m a -> (Exception -> m a) -> m a

gcatchJust :: (Exception -> Maybe b) -> m a -> (b -> m a) -> m a

Instances

CaughtMonadIO IO

CaughtMonadIO m => CaughtMonadIO (ReaderT a m)

ISession si => CaughtMonadIO (DBM mark si)

gtry :: CaughtMonadIO m => m b -> m (Either Exception b)

gtryJust :: CaughtMonadIO m => (Exception -> Maybe b) -> m b1 -> m (Either b b1)

gbracket :: CaughtMonadIO m => m t -> (t -> m a) -> (t -> m b) -> m b

gfinally :: CaughtMonadIO m => m t -> m a -> m t