MonadCatchIO-mtl-0.1.0.1: Monad-transformer version of the Control.Exception module Source code Contents Index

Control.Monad.CatchIO

Synopsis

class MonadIO m => MonadCatchIO m where catch :: Exception e => m a -> (e -> m a) -> m a block :: m a -> m a unblock :: m a -> m a Exception (toException, fromException) throw :: (MonadCatchIO m, Exception e) => e -> m a try :: (MonadCatchIO m, Exception e) => m a -> m (Either e a) tryJust :: (MonadCatchIO m, Exception e) => (e -> Maybe b) -> m a -> m (Either b a) data Handler m a = forall e . Exception e => Handler (e -> m a) catches :: MonadCatchIO m => m a -> [Handler m a] -> m a

Documentation

class MonadIO m => MonadCatchIO m where Source

Methods catch :: Exception e => m a -> (e -> m a) -> m a Source Generalized version of catch block :: m a -> m a Source Generalized version of block unblock :: m a -> m a Source Generalized version of unblock Instances MonadCatchIO IO (Monoid w, MonadCatchIO m) => MonadCatchIO (WriterT w m) MonadCatchIO m => MonadCatchIO (StateT s m) MonadCatchIO m => MonadCatchIO (ReaderT r m) (MonadCatchIO m, Error e) => MonadCatchIO (ErrorT e m) (Monoid w, MonadCatchIO m) => MonadCatchIO (RWST r w s m)

Exception (toException, fromException)

throw :: (MonadCatchIO m, Exception e) => e -> m a Source

Generalized version of throwIO

try :: (MonadCatchIO m, Exception e) => m a -> m (Either e a) Source

Generalized version of try

tryJust :: (MonadCatchIO m, Exception e) => (e -> Maybe b) -> m a -> m (Either b a) Source

Generalized version of tryJust

data Handler m a Source

Generalized version of Handler Constructors forall e . Exception e => Handler (e -> m a)

catches :: MonadCatchIO m => m a -> [Handler m a] -> m a Source

Generalized version of catches

Produced by Haddock version 2.4.2