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