¤ hIO, hIOF

Types

hIO :: (FudgetIO c) => Request -> (_Response -> c a b) -> c a b
hIOF :: Request -> (Response -> F a b) -> F a b

Synopsis

hIO request f

Description

hIO allows a fudget (or kernel) to output an arbitrary Haskell IO request and wait for the response. If the response is a failure, hIO aborts the program with an error message.

Arguments

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

Example

 hIO (ReadFile "/etc/passwd") $ \(Str s) -> ...

See Also

ioF, haskellIO, hIOerr, hIOSucc.