hIOSucc :: FudgetIO f => Request -> f b ho -> f b ho hIOSuccF :: Request -> F a b -> F a b
hIOSucc request f
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.
request :: Request
f :: f b ho
hIOSucc (WriteFile "hiscore" hiscorelist)