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

Modules

[Index] [Quick Jump]

Keiro
- Dsl

Flags

Manual Flags

Name	Description	Default
werror-generated	Promote warnings in committed generated conformance output to errors	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

keiro-dsl-0.12.0.0.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, 0.12.0.0, 0.13.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), cryptohash-sha256 (>=0.11.102 && <0.12), directory (>=1.3 && <1.4), filepath (>=1.4 && <1.6), keiki (>=0.9 && <0.10), keiro-core (>=0.12.0.0 && <0.13), keiro-dsl, megaparsec (>=9.6 && <9.9), mmzk-typeid (>=0.7 && <0.8), 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), time (>=1.12 && <1.15) [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-08-14T18:50:49Z
Category	Development
Distributions
Executables	keiro-dsl
Downloads	40 total (35 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs uploaded by user Build status unknown [no reports yet]