Modulevortex-run-0.2.2Haskell2010

Vortex.Run

The grading: run a computation under fuel, force its result only to a bound, and report the outcome as a trace terminal.

3 values

Packagevortex-run-0.2.2
Exports3
LanguageHaskell2010
LicenceBSD-3-Clause
SourceRun.hs

valuerunMetered :: IO String -> IO Reply

Run a fold's result under fuel. Forcing happens inside the window — laziness means "returned" does not mean "done". The fuel's own exception must reach timeout rather than the catch-all around the block, or running out reads as a thrown image: timeout.

valuerunUnmetered :: IO String -> IO Reply

Run without fuel: for subscriptions, which end when the peer goes away rather than when a clock says so. Exceptions still become a terminal; the result is still bounded.

valueforceBound :: String -> String

Bounded force: take a prefix, force only that. A lazily infinite result is truncated before it can escape the fuel window.