keiro-dsl: Typed specification toolchain for keiro services
keiro-dsl is the toolchain over a typed `.keiro` specification of a keiro service: a parser + checker + scaffolder + harness emitter. It emits the symbol-free deterministic layer plus typed holes, never a keiki symbolic operator (the firewall invariant).
Modules
[Index] [Quick Jump]
Downloads
- keiro-dsl-0.2.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.2.0.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.21 && <5), containers (>=0.6), directory (>=1.3), filepath (>=1.4), keiro-dsl, megaparsec (>=9.6), optparse-applicative (>=0.18), parser-combinators (>=1.3), prettyprinter (>=1.7), process (>=1.6), text (>=2.1) [details] |
| Tested with | ghc >=9.12 && <9.13 |
| License | BSD-3-Clause |
| Copyright | 2026 Nadeem Bitar |
| Author | Nadeem Bitar |
| Maintainer | nadeem@gmail.com |
| Uploaded | by shinzui at 2026-07-14T04:37:31Z |
| Category | Development |
| Distributions | |
| Executables | keiro-dsl |
| Downloads | 0 total (0 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user [build log] All reported builds failed as of 2026-07-14 [all 1 reports] |