keiro-dsl: Typed specification toolchain for keiro services

[ bsd3, development, library, program ] [ Propose Tags ] [ Report a vulnerability ]

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).

Downloads

keiro-dsl-0.4.0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

shinzui

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.2.0.0, 0.3.0.0, 0.4.0.1, 0.5.0.0, 0.6.0.0, 0.7.0.0, 0.8.0.0, 0.9.0.0, 0.10.0.0, 0.11.0.0
Change log	CHANGELOG.md
Dependencies	aeson (>=2.2.1 && <2.3), base (>=4.21 && <5), bytestring (>=0.12 && <0.13), containers (>=0.6 && <0.8), directory (>=1.3 && <1.4), filepath (>=1.4 && <1.6), keiro-dsl, megaparsec (>=9.6 && <9.9), optparse-applicative (>=0.18 && <0.20), parser-combinators (>=1.3 && <1.4), prettyprinter (>=1.7 && <1.8), process (>=1.6 && <1.7), text (>=2.1 && <2.2) [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-29T03:22:01Z
Category	Development
Distributions
Executables	keiro-dsl
Downloads	34 total (34 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-29 [all 1 reports]

keiro-dsl: Typed specification toolchain for keiro services

Modules

Downloads

Maintainer's Corner