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]
- Keiro
- Dsl
- Keiro.Dsl.AggregateType
- Keiro.Dsl.BehaviorCoverage
- Keiro.Dsl.CodecCompare
- Keiro.Dsl.Coverage
- Keiro.Dsl.Diff
- Keiro.Dsl.DiffReport
- Keiro.Dsl.EventOutput
- Keiro.Dsl.ExplainBindings
- Keiro.Dsl.Expression
- Keiro.Dsl.FoldFingerprint
- Keiro.Dsl.Goldens
- Keiro.Dsl.Grammar
- Keiro.Dsl.Harness
- Keiro.Dsl.IdDomain
- Keiro.Dsl.LanguageVersion
- Keiro.Dsl.Manifest
- Keiro.Dsl.MappedConsumer
- Keiro.Dsl.MappedDiff
- Keiro.Dsl.NominalType
- Keiro.Dsl.Parser
- Keiro.Dsl.PrettyPrint
- Keiro.Dsl.ReadModelShape
- Keiro.Dsl.ReplayImpact
- Keiro.Dsl.Scaffold
- Keiro.Dsl.ScaffoldRecord
- Keiro.Dsl.ScaffoldRun
- Keiro.Dsl.SemanticContract
- Keiro.Dsl.Skeleton
- Keiro.Dsl.TypeGraph
- Keiro.Dsl.Validate
- Keiro.Dsl.Workspace
- Keiro.Dsl.WorkspaceAdoption
- Keiro.Dsl.WorkspaceDiff
- Keiro.Dsl.WorkspaceRecord
- Keiro.Dsl.WorkspaceScaffold
- Dsl
Downloads
- keiro-dsl-0.7.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, 0.3.0.0, 0.4.0.1, 0.5.0.0, 0.6.0.0, 0.7.0.0, 0.8.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), keiki (>=0.7 && <0.8), keiro-core (>=0.7.0.0 && <0.8), 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-01T20:15:16Z |
| Category | Development |
| Distributions | |
| Executables | keiro-dsl |
| Downloads | 16 total (16 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] |