Package0.2.3
vortex-run
Metered interpretation - fuel and bounded forcing
- Version0.2.3
- LicenceBSD-3-Clause
- AuthorHorizon Haskell
- Maintainerlocallycompact@gmail.com
- Pinned byhackage vortex-run 0.2.3
- Sourcehackage.haskell.org/package/vortex-run-0.2.3
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.23.0.0with GHC
- vortex-trace-0.4.1in this set