hIOSucc, hIOSuccF

Types

hIOSucc :: (FudgetIO c) => Request -> c a b -> c a b
hIOSuccF :: Request -> F a b -> F a b

Synopsis

hIOSucc request f

Description

hIOSucc allows a fudget (or kernel) to output an arbitrary Haskell IO request and wait for the response, which is expected to be Success. If not, hIOSucc aborts the program with an error message. Otherwise, the continuation is invoked.

Arguments

request :: Request
A Haskell IO request.
f :: c a b
A continuation fudget (or kernel).

Example

 hIOSucc (WriteFile "hiscore" hiscorelist)

See Also

ioF, haskellIO, hIOerr, hIO.