Control.Exception.MonadIO

Documentation

class MonadIO m => CaughtMonadIO m where

Methods

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

gcatchJust :: Exception e => (e -> 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 :: (Exception e, CaughtMonadIO m) => m b -> m (Either e b)

gtryJust :: (Exception e, CaughtMonadIO m) => (e -> 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