iException-0.0.1: Version of Control.Exception using InterleavableIO. Source code Contents Index

Control.Monad.Trans.InterleavableIO.Control.Exception

Documentation

catch :: (InterleavableIO IO trans buffer, InterleavableIO IO trans1 buffer, InterleavableIO IO trans2 buffer) => trans1 result -> (Exception -> trans2 result) -> trans result Source

catchJust :: (InterleavableIO IO trans buffer, InterleavableIO IO trans1 buffer, InterleavableIO IO trans2 buffer) => (Exception -> Maybe b) -> trans1 result -> (b -> trans2 result) -> trans result Source

handle :: (InterleavableIO IO trans buffer, InterleavableIO IO trans1 buffer, InterleavableIO IO trans2 buffer) => (Exception -> trans1 result) -> trans2 result -> trans result Source

handleJust :: (InterleavableIO IO trans buffer, InterleavableIO IO trans1 buffer, InterleavableIO IO trans2 buffer) => (Exception -> Maybe b) -> (b -> trans1 result) -> trans2 result -> trans result Source

try :: (InterleavableIO IO trans buffer, InterleavableIO IO trans1 buffer) => trans1 a -> trans (Either Exception a) Source

tryJust :: (InterleavableIO IO trans buffer, InterleavableIO IO trans1 buffer) => (Exception -> Maybe b) -> trans1 a -> trans (Either b a) Source

throwDynTo :: (MonadIO m, Typeable exception) => ThreadId -> exception -> m () Source

catchDyn :: (InterleavableIO IO trans buffer, InterleavableIO IO trans1 buffer, InterleavableIO IO trans2 buffer, Typeable exception) => trans1 result -> (exception -> trans2 result) -> trans result Source

bracket :: (InterleavableIO IO trans buffer, InterleavableIO IO trans1 buffer, InterleavableIO IO trans2 buffer, InterleavableIO IO trans3 buffer) => trans1 a -> (a -> trans2 result) -> (a -> trans3 result1) -> trans result1 Source

finally :: (InterleavableIO IO trans buffer, InterleavableIO IO trans1 buffer, InterleavableIO IO trans2 buffer) => trans1 a -> trans2 b -> trans a Source

bracket_ :: (InterleavableIO IO trans buffer, InterleavableIO IO trans1 buffer, InterleavableIO IO trans2 buffer, InterleavableIO IO trans3 buffer) => trans1 a -> trans2 b -> trans3 c -> trans c Source

bracketOnError :: (InterleavableIO IO trans buffer, InterleavableIO IO trans1 buffer, InterleavableIO IO trans2 buffer, InterleavableIO IO trans3 buffer) => trans1 a -> (a -> trans2 result) -> (a -> trans3 result1) -> trans result1 Source

setUncaughtExceptionHandler :: (InterleavableIO IO trans buffer, InterleavableIO IO trans1 buffer) => (Exception -> trans1 ()) -> trans () Source

getUncaughtExceptionHandler :: (MonadIO m, MonadIO m1) => m (Exception -> m1 ()) Source

block :: (InterleavableIO IO trans buffer, InterleavableIO IO trans1 buffer) => trans1 a -> trans a Source

evaluate :: MonadIO m => a -> m a Source

unblock :: (InterleavableIO IO trans buffer, InterleavableIO IO trans1 buffer) => trans1 a -> trans a Source

throwTo :: MonadIO m => ThreadId -> Exception -> m () Source

ioError :: MonadIO m => IOError -> m a Source

throwIO :: MonadIO m => Exception -> m a Source

Produced by Haddock version 2.3.0