MonadCatchIO-mtl-0.1.0.1: Monad-transformer version of the Control.Exception moduleSource codeContentsIndex
Control.Monad.CatchIO.Old
Synopsis
class MonadIO m => MonadCatchIO m where
catch :: m a -> (Exception -> m a) -> m a
block :: m a -> m a
unblock :: m a -> m a
Exception (ArithException, ArrayException, AssertionFailed, AsyncException, BlockedOnDeadMVar, BlockedIndefinitely, NestedAtomically, Deadlock, DynException, ErrorCall, ExitException, IOException, NoMethodError, NonTermination, PatternMatchFail, RecConError, RecSelError, RecUpdError)
throw :: MonadCatchIO m => Exception -> m a
throwDyn :: Typeable e => e -> b
catchDyn :: (Typeable e, MonadCatchIO m) => m a -> (e -> m a) -> m a
try :: MonadCatchIO m => m a -> m (Either Exception a)
tryJust :: MonadCatchIO m => (Exception -> Maybe b) -> m a -> m (Either b a)
Documentation
class MonadIO m => MonadCatchIO m whereSource
Methods
catch :: m a -> (Exception -> m a) -> m aSource
Generalized version of catch
block :: m a -> m aSource
Generalized version of block
unblock :: m a -> m aSource
Generalized version of unblock
show/hide Instances
Exception (ArithException, ArrayException, AssertionFailed, AsyncException, BlockedOnDeadMVar, BlockedIndefinitely, NestedAtomically, Deadlock, DynException, ErrorCall, ExitException, IOException, NoMethodError, NonTermination, PatternMatchFail, RecConError, RecSelError, RecUpdError)
throw :: MonadCatchIO m => Exception -> m aSource
Generalized version of throwIO
throwDyn :: Typeable e => e -> bSource
catchDyn :: (Typeable e, MonadCatchIO m) => m a -> (e -> m a) -> m aSource
try :: MonadCatchIO m => m a -> m (Either Exception a)Source
Generalized version of try
tryJust :: MonadCatchIO m => (Exception -> Maybe b) -> m a -> m (Either b a)Source
Generalized version of tryJust
Produced by Haddock version 2.4.2