¤ haskellIO, haskellIOF

Haskell Dialogue IO

Types

haskellIO :: FudgetIO f => Request -> (Response -> f hi ho) -> f hi ho
haskellIOF :: Request -> (Response -> F a b) -> F a b

haskellIO request kernel

haskellIO allows a fudget (or kernel) to output an arbitrary Haskell Dialogue IO request and wait for the response.

request :: Request

A Haskell IO request.

kernel :: Response -> f hi ho

A fudget (or kernel) parameterized by an IO response.