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
- Sourcehackage.haskell.org/package/vortex-run-0.2.2
Modules
1 module- Vortex.Run3The 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