ยค hIO, hIOF

Haskell Dialogue IO

Types

hIO :: FudgetIO f => Request -> (Response -> f hi ho) -> f hi ho
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 -> f hi ho
A fudget (or kernel) parameterized by a successful IO response.

Example

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

See Also

ioF, haskellIO, hIOerr, hIOSucc.