hIOerr, hIOerrF

Types

hIOerr :: (FudgetIO c) => Request -> (D_IOError -> c a b) -> (_Response -> c a b) -> c a b
hIOerrF :: Request -> (IOError -> F a b) -> (Response -> F a b) -> F a b

Synopsis

hIOerr request failcont f

Description

hIOerr allows a fudget (or kernel) to output an arbitrary Haskell IO request and wait for the response. hIOerr examines the response to see if an error occurred, if so, an error continuation is invoked.

Arguments

request :: Request
A Haskell IO request.
failcont :: D_IOError -> c a b
The failure continuation
f :: _Response -> c a b
A fudget (or kernel) parameterized by an successful IO response.

Example

 hIOerrF (ReadFile "/etc/passwd") (\ioerr -> 
error ("Cannot open password file: " ++show ioerr)) $ \(Str s) -> ...

See Also

ioF, haskellIO, hIO, hIOSucc.