Package0.2.2
vortex-run
Metered interpretation - fuel and bounded forcing
- Version0.2.2
- LicenceBSD-3-Clause
- AuthorHorizon Haskell
- Maintainerlocallycompact@
gmail. com - Pinned byhackage vortex-run 0.
2. 2 - Sourcevortex-run-0.
2. 2 on Hackage
Modules
- Vortex.RunThe grading: run a computation under fuel, force its result only
Description
Applies the grading to a fold: wall-clock fuel around execution and bounded forcing of the result, so neither nontermination nor lazy infinities can escape the quota. Knows nothing about how the fold was obtained.
Depends on
2 packages- base-4.22.0.0with GHC
- vortex-trace-0.4.1in this set