covenant: Standalone IR for Cardano scripts.
A library describing a call-by-push-value, Turner-total IR. Includes the ability to build up the IR programmatically.
[Skip to Readme]
Modules
[Index] [Quick Jump]
Downloads
- covenant-1.2.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 1.0.0, 1.1.0, 1.2.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | acc (==0.2.0.3), base (>=4.19.0.0 && <5), bimap (==0.5.0), bytestring (>=0.12.1.0 && <0.13), containers (>=0.6.8 && <0.8), enummapset (==0.7.3.0), mtl (>=2.3.1 && <3), nonempty-vector (==0.2.4), optics-core (==0.4.1.1), optics-extra (==0.4.2.1), optics-th (==0.4.1), prettyprinter (==1.7.1), QuickCheck (==2.15.0.1), quickcheck-instances (==0.3.32), quickcheck-transformer (==0.3.1.2), smash (==0.1.0.0), tasty-hunit (==0.10.2), text (>=2.1.1 && <2.2), transformers (>=0.6.1.0 && <0.7.0.0), vector (==0.13.2.0) [details] |
| Tested with | ghc ==9.8.4 || ==9.10.2 || ==9.12.2 |
| License | Apache-2.0 |
| Copyright | (C) MLabs 2024-2025 |
| Author | Koz Ross, Sean Hunter |
| Maintainer | koz@mlabs.city, sean@mlabs.city |
| Category | Covenant |
| Home page | https://github.com/mlabs-haskell/covenant |
| Bug tracker | https://github.com/mlabs-haskell/covenant/issues |
| Uploaded | by koz_ross at 2025-10-06T23:06:07Z |
| Distributions | |
| Downloads | 24 total (10 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2025-10-06 [all 1 reports] |