packages feed

keiro-dsl 0.18.0.0 → 0.19.0.0

raw patch · 709 files changed

+730/−719 lines, 709 filesdep ~keirodep ~keiro-coredep ~kiroku-storePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: keiro, keiro-core, kiroku-store, shibuya-core

API changes (from Hackage documentation)

This diff is very large; some files are shown as “too large to diff”. Download the raw patch for the complete diff.

Files

CHANGELOG.md view
@@ -6,6 +6,17 @@  ## [Unreleased] +## 0.19.0.0 — 2026-09-25++### Breaking Changes++- Require `shibuya-core ^>=0.10.0.0` and `kiroku-store >=0.9.0.1 && <0.10`.+  Generated code imports only `Shibuya.Core.Ack` and `Shibuya.Core.Types`,+  which Shibuya 0.10 leaves unchanged, so generated output is unaffected apart+  from its provenance stamp. The version moves in lockstep with the rest of+  the packages, and the `keiro-core` and `keiro` bounds are raised+  accordingly.+ ## 0.18.0.0 — 2026-09-20  ### Breaking Changes
keiro-dsl.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.0 name: keiro-dsl-version: 0.18.0.0+version: 0.19.0.0 synopsis: Typed specification toolchain for keiro services description:   keiro-dsl is the toolchain over a typed `.keiro` specification of a keiro@@ -189,7 +189,7 @@     directory >=1.3 && <1.4,     filepath >=1.4 && <1.6,     keiki >=0.9 && <0.10,-    keiro-core ^>=0.18.0.0,+    keiro-core ^>=0.19.0.0,     keiro-dsl:generated-haskell-language-internal,     megaparsec >=9.6 && <9.9,     mmzk-typeid >=0.7 && <0.8,@@ -237,7 +237,7 @@     filepath >=1.4 && <1.6,     hspec >=2.11,     keiki >=0.9 && <0.10,-    keiro-core ^>=0.18.0.0,+    keiro-core ^>=0.19.0.0,     keiro-dsl,     keiro-dsl:generated-haskell-language-internal,     mmzk-typeid >=0.7 && <0.8,@@ -290,9 +290,9 @@   main-is: Main.hs   build-depends:     base >=4.21 && <5,-    keiro ^>=0.18.0.0,+    keiro ^>=0.19.0.0,     keiro-dsl,-    shibuya-core ^>=0.9.0.0,+    shibuya-core ^>=0.10.0.0,     text >=2.1 && <2.2,  -- Conformance: proves the scaffolded Generated modules plus a hand-filled@@ -1069,7 +1069,7 @@     containers >=0.6 && <0.8,     deepseq >=1.5 && <1.6,     keiki >=0.9 && <0.10,-    keiro ^>=0.18.0.0,+    keiro ^>=0.19.0.0,     tasty-bench >=0.5 && <0.6,     text >=2.1 && <2.2,     time >=1.12 && <1.15,@@ -1360,7 +1360,7 @@     effectful-core,     hasql-transaction,     keiro,-    kiroku-store >=0.8 && <0.9,+    kiroku-store >=0.9.0.1 && <0.10,     text >=2.1 && <2.2,  -- EP-4 publisher runtime conformance: the scaffolded Publisher config compiled@@ -1698,7 +1698,7 @@     keiki >=0.9 && <0.10,     keiro,     keiro-test-support,-    kiroku-store >=0.8 && <0.9,+    kiroku-store >=0.9.0.1 && <0.10,     shibuya-core,     streamly-core >=0.3 && <0.4,     text >=2.1 && <2.2,@@ -1740,7 +1740,7 @@     keiki >=0.9 && <0.10,     keiro,     keiro-test-support,-    kiroku-store >=0.8 && <0.9,+    kiroku-store >=0.9.0.1 && <0.10,     shibuya-core,     text >=2.1 && <2.2,     time >=1.12 && <1.15,@@ -1781,7 +1781,7 @@     keiki >=0.9 && <0.10,     keiro,     keiro-test-support,-    kiroku-store >=0.8 && <0.9,+    kiroku-store >=0.9.0.1 && <0.10,     shibuya-core,     text >=2.1 && <2.2,     time >=1.12 && <1.15,@@ -1859,8 +1859,8 @@     keiro,     keiro-dsl,     keiro-test-support,-    kiroku-store >=0.8 && <0.9,-    shibuya-core ^>=0.9.0.0,+    kiroku-store >=0.9.0.1 && <0.10,+    shibuya-core ^>=0.10.0.0,     text >=2.1 && <2.2,     time >=1.12 && <1.15,     uuid >=1.3 && <1.4,
test/conformance-aggregate-scalars/Generated/AggregateScalars/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context aggregate-scalars behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context aggregate-scalars behavior source map; do not edit. module Generated.AggregateScalars.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-aggregate-scalars/Generated/AggregateScalars/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context aggregate-scalars replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context aggregate-scalars replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit. module Generated.AggregateScalars.ScalarLedger.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit. module Generated.AggregateScalars.ScalarLedger.Codec (     scalarLedgerCodec,     parseScalarLedgerEvent,
test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Domain.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit. module Generated.AggregateScalars.ScalarLedger.Domain where  import Data.Aeson (FromJSON, ToJSON)
test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit. module Generated.AggregateScalars.ScalarLedger.EventStream   ( scalarLedgerCategory   , scalarLedgerCommandCategory
test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit. module Generated.AggregateScalars.ScalarLedger.Harness (harnessAssertions) where  import Generated.AggregateScalars.ScalarLedger.Domain
test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit. module Generated.AggregateScalars.ScalarLedger.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit. module Generated.AggregateScalars.ScalarLedger.Transducer   ( scalarLedgerTransducer   , scalarLedgerFoldFingerprint
test/conformance-bare-containers/Generated/BareContainers/BareJobs/Queue.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from workqueue bare_jobs; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from workqueue bare_jobs; do not edit. module Generated.BareContainers.BareJobs.Queue   ( BareJob (..)   , encodeBareJob
test/conformance-bare-containers/Generated/BareContainers/BareJobs/QueueCodec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from workqueue bare_jobs; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from workqueue bare_jobs; do not edit. -- | Versioned job payload envelope: @{\"v\",\"t\",\"data\"}@. -- -- Deploy workers before producers when raising its schema version. Do not
test/conformance-bare-containers/Generated/BareContainers/BareJobs/QueuePolicy.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from workqueue bare_jobs; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from workqueue bare_jobs; do not edit. module Generated.BareContainers.BareJobs.QueuePolicy   ( BareJobsOutcome (..)   , retryPolicy, jobOutcomeFor
test/conformance-bare-containers/Generated/BareContainers/BareLookup/QueryContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel bare_lookup; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from readmodel bare_lookup; do not edit. module Generated.BareContainers.BareLookup.QueryContract   ( BareLookupQueryInput   , BareLookupQueryResult
test/conformance-bare-containers/Generated/BareContainers/BareLookup/ReadModel.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel bare_lookup; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from readmodel bare_lookup; do not edit. module Generated.BareContainers.BareLookup.ReadModel   ( bareLookupReadModel   , bareLookupQualifiedTable
test/conformance-bare-containers/Generated/BareContainers/BareLookup/ReadModelHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel bare_lookup; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from readmodel bare_lookup; do not edit. module Generated.BareContainers.BareLookup.ReadModelHarness (readModelFacts, readModelFactResults, runReadModelFacts, catalogFactsAgainst) where  import Generated.BareContainers.BareLookup.ReadModel (bareLookupReadModel)
test/conformance-bare-containers/Generated/BareContainers/BareLookup/ReadModelTable.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel bare_lookup; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from readmodel bare_lookup; do not edit. module Generated.BareContainers.BareLookup.ReadModelTable (bareLookupQualifiedTable) where  import Data.Text (Text)
test/conformance-bare-containers/Generated/BareContainers/BareStore/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate BareStore; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate BareStore; do not edit. module Generated.BareContainers.BareStore.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-bare-containers/Generated/BareContainers/BareStore/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate BareStore; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate BareStore; do not edit. module Generated.BareContainers.BareStore.Codec (     bareStoreCodec,     parseBareStoreEvent,
test/conformance-bare-containers/Generated/BareContainers/BareStore/Domain.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate BareStore; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate BareStore; do not edit. module Generated.BareContainers.BareStore.Domain where  import Data.Aeson (FromJSON, ToJSON)
test/conformance-bare-containers/Generated/BareContainers/BareStore/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate BareStore; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate BareStore; do not edit. module Generated.BareContainers.BareStore.EventStream   ( bareStoreCategory   , bareStoreCommandCategory
test/conformance-bare-containers/Generated/BareContainers/BareStore/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate BareStore; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate BareStore; do not edit. module Generated.BareContainers.BareStore.Harness (harnessAssertions) where  import Generated.BareContainers.BareStore.Domain
test/conformance-bare-containers/Generated/BareContainers/BareStore/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate BareStore; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate BareStore; do not edit. module Generated.BareContainers.BareStore.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-bare-containers/Generated/BareContainers/BareStore/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate BareStore; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate BareStore; do not edit. module Generated.BareContainers.BareStore.Transducer   ( bareStoreTransducer   , bareStoreFoldFingerprint
test/conformance-bare-containers/Generated/BareContainers/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context bare-containers behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context bare-containers behavior source map; do not edit. module Generated.BareContainers.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-bare-containers/Generated/BareContainers/Nominals.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context bare-containers generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context bare-containers generated nominal declarations; do not edit. module Generated.BareContainers.Nominals   ( ItemId   , parseItemId
test/conformance-bare-containers/Generated/BareContainers/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context bare-containers generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context bare-containers generated nominal ID internals; do not edit. module Generated.BareContainers.Nominals.Internal   ( ItemId   , parseItemId
test/conformance-bare-containers/Generated/BareContainers/ProjectionCatalog.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from projection-catalog bare-containers; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from projection-catalog bare-containers; do not edit. {-# LANGUAGE OverloadedStrings #-} module Generated.BareContainers.ProjectionCatalog   ( projectionCatalog
test/conformance-bare-containers/Generated/BareContainers/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context bare-containers replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context bare-containers replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-bare-containers/Generated/BareContainers/Structural/NominalLeaves.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context bare-containers structural nominal leaves; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context bare-containers structural nominal leaves; do not edit. module Generated.BareContainers.Structural.NominalLeaves where  import Data.Aeson (Value (..), withText)
test/conformance-bare-containers/Generated/BareContainers/Structural/Shape/BareEnvelope.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from mapped structural BareEnvelope; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from mapped structural BareEnvelope; do not edit. module Generated.BareContainers.Structural.Shape.BareEnvelope (BareEnvelopeShape (..)) where  import GHC.Generics (Generic)
test/conformance-bare-containers/Generated/BareContainers/Structural/Shape/MaybeText.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from mapped structural MaybeText; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from mapped structural MaybeText; do not edit. module Generated.BareContainers.Structural.Shape.MaybeText (MaybeTextShape) where  import Data.Text (Text)
test/conformance-bare-containers/Generated/BareContainers/Structural/Shape/NestedIds.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from mapped structural NestedIds; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from mapped structural NestedIds; do not edit. module Generated.BareContainers.Structural.Shape.NestedIds (NestedIdsShape) where  import Generated.BareContainers.Nominals qualified as Nominals
test/conformance-bare-containers/Generated/BareContainers/Structural/Shape/TextList.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from mapped structural TextList; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from mapped structural TextList; do not edit. module Generated.BareContainers.Structural.Shape.TextList (TextListShape) where  import Data.Text (Text)
test/conformance-bare-containers/Generated/BareContainers/Structural/Shape/TextMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from mapped structural TextMap; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from mapped structural TextMap; do not edit. module Generated.BareContainers.Structural.Shape.TextMap (TextMapShape) where  import Data.Map.Strict (Map)
test/conformance-bare-containers/Generated/BareContainers/StructuralConformance.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context bare-containers structural conformance; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context bare-containers structural conformance; do not edit. module Generated.BareContainers.StructuralConformance   ( structuralConformanceAssertions   ) where
test/conformance-behavior-complete/Generated/BehaviorComplete/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context behavior-complete behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context behavior-complete behavior source map; do not edit. module Generated.BehaviorComplete.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit. module Generated.BehaviorComplete.Journey.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit. module Generated.BehaviorComplete.Journey.Codec (     journeyCodec,     parseJourneyEvent,
test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Domain.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit. module Generated.BehaviorComplete.Journey.Domain where  import Data.Aeson (FromJSON, ToJSON)
test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit. module Generated.BehaviorComplete.Journey.EventStream   ( journeyCategory   , journeyCommandCategory
test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit. module Generated.BehaviorComplete.Journey.Harness (harnessAssertions) where  import Generated.BehaviorComplete.Journey.Domain
test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit. module Generated.BehaviorComplete.Journey.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit. module Generated.BehaviorComplete.Journey.Transducer   ( journeyTransducer   , journeyFoldFingerprint
test/conformance-behavior-complete/Generated/BehaviorComplete/Nominals.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context behavior-complete generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context behavior-complete generated nominal declarations; do not edit. module Generated.BehaviorComplete.Nominals   ( RequestId   , parseRequestId
test/conformance-behavior-complete/Generated/BehaviorComplete/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context behavior-complete generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context behavior-complete generated nominal ID internals; do not edit. module Generated.BehaviorComplete.Nominals.Internal   ( RequestId   , parseRequestId
test/conformance-behavior-complete/Generated/BehaviorComplete/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context behavior-complete replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context behavior-complete replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-behavior-complete/Generated/BehaviorComplete/Structural/Shape/StartPayload.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from mapped structural StartPayload; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from mapped structural StartPayload; do not edit. module Generated.BehaviorComplete.Structural.Shape.StartPayload (StartPayloadShape (..)) where  import Data.Text (Text)
test/conformance-behavior-complete/Generated/BehaviorComplete/StructuralConformance.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context behavior-complete structural conformance; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context behavior-complete structural conformance; do not edit. module Generated.BehaviorComplete.StructuralConformance   ( structuralConformanceAssertions   ) where
test/conformance-behavior-complete/Generated/BehaviorComplete/StructuralProjections.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context behavior-complete mapped structural facade; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context behavior-complete mapped structural facade; do not edit. -- Equality witnesses are emitted for Text, Int, Bool, Natural, and UTCTime. -- Nominal ID and enum leaves carry exact canonical-text domains. -- Int, Natural, and UTCTime belong to Keiki's ordered subset.
test/conformance-calendar-days/Generated/CalendarDays/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context calendar-days behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context calendar-days behavior source map; do not edit. module Generated.CalendarDays.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-calendar-days/Generated/CalendarDays/CalendarJobs/Queue.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from workqueue calendar_jobs; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from workqueue calendar_jobs; do not edit. module Generated.CalendarDays.CalendarJobs.Queue   ( CalendarJob (..)   , encodeCalendarJob
test/conformance-calendar-days/Generated/CalendarDays/CalendarJobs/QueueCodec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from workqueue calendar_jobs; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from workqueue calendar_jobs; do not edit. -- | Versioned job payload envelope: @{\"v\",\"t\",\"data\"}@. -- -- Deploy workers before producers when raising its schema version. Do not
test/conformance-calendar-days/Generated/CalendarDays/CalendarJobs/QueuePolicy.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from workqueue calendar_jobs; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from workqueue calendar_jobs; do not edit. module Generated.CalendarDays.CalendarJobs.QueuePolicy   ( CalendarJobsOutcome (..)   , retryPolicy, jobOutcomeFor
test/conformance-calendar-days/Generated/CalendarDays/CalendarLookup/QueryContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel calendar_lookup; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from readmodel calendar_lookup; do not edit. module Generated.CalendarDays.CalendarLookup.QueryContract   ( CalendarLookupQueryInput   , CalendarLookupQueryResult
test/conformance-calendar-days/Generated/CalendarDays/CalendarLookup/ReadModel.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel calendar_lookup; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from readmodel calendar_lookup; do not edit. module Generated.CalendarDays.CalendarLookup.ReadModel   ( calendarLookupReadModel   , calendarLookupQualifiedTable
test/conformance-calendar-days/Generated/CalendarDays/CalendarLookup/ReadModelHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel calendar_lookup; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from readmodel calendar_lookup; do not edit. module Generated.CalendarDays.CalendarLookup.ReadModelHarness (readModelFacts, readModelFactResults, runReadModelFacts, catalogFactsAgainst) where  import Generated.CalendarDays.CalendarLookup.ReadModel (calendarLookupReadModel)
test/conformance-calendar-days/Generated/CalendarDays/CalendarLookup/ReadModelTable.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel calendar_lookup; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from readmodel calendar_lookup; do not edit. module Generated.CalendarDays.CalendarLookup.ReadModelTable (calendarLookupQualifiedTable) where  import Data.Text (Text)
test/conformance-calendar-days/Generated/CalendarDays/CalendarStore/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate CalendarStore; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate CalendarStore; do not edit. module Generated.CalendarDays.CalendarStore.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-calendar-days/Generated/CalendarDays/CalendarStore/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate CalendarStore; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate CalendarStore; do not edit. module Generated.CalendarDays.CalendarStore.Codec (     calendarStoreCodec,     parseCalendarStoreEvent,
test/conformance-calendar-days/Generated/CalendarDays/CalendarStore/Domain.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate CalendarStore; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate CalendarStore; do not edit. module Generated.CalendarDays.CalendarStore.Domain where  import Data.Aeson (FromJSON, ToJSON)
test/conformance-calendar-days/Generated/CalendarDays/CalendarStore/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate CalendarStore; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate CalendarStore; do not edit. module Generated.CalendarDays.CalendarStore.EventStream   ( calendarStoreCategory   , calendarStoreCommandCategory
test/conformance-calendar-days/Generated/CalendarDays/CalendarStore/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate CalendarStore; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate CalendarStore; do not edit. module Generated.CalendarDays.CalendarStore.Harness (harnessAssertions) where  import Generated.CalendarDays.CalendarStore.Domain
test/conformance-calendar-days/Generated/CalendarDays/CalendarStore/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate CalendarStore; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate CalendarStore; do not edit. module Generated.CalendarDays.CalendarStore.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-calendar-days/Generated/CalendarDays/CalendarStore/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate CalendarStore; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate CalendarStore; do not edit. module Generated.CalendarDays.CalendarStore.Transducer   ( calendarStoreTransducer   , calendarStoreFoldFingerprint
test/conformance-calendar-days/Generated/CalendarDays/ProjectionCatalog.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from projection-catalog calendar-days; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from projection-catalog calendar-days; do not edit. {-# LANGUAGE OverloadedStrings #-} module Generated.CalendarDays.ProjectionCatalog   ( projectionCatalog
test/conformance-calendar-days/Generated/CalendarDays/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context calendar-days replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context calendar-days replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-calendar-days/Generated/CalendarDays/Structural/Shape/CalendarEnvelope.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from mapped structural CalendarEnvelope; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from mapped structural CalendarEnvelope; do not edit. module Generated.CalendarDays.Structural.Shape.CalendarEnvelope (CalendarEnvelopeShape (..)) where  import Data.Map.Strict (Map)
test/conformance-calendar-days/Generated/CalendarDays/Structural/Shape/LocalDay.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from mapped structural LocalDay; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from mapped structural LocalDay; do not edit. module Generated.CalendarDays.Structural.Shape.LocalDay (LocalDayShape) where  import Data.Time.Calendar (Day)
test/conformance-calendar-days/Generated/CalendarDays/Structural/Shape/MaybeLocalDay.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from mapped structural MaybeLocalDay; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from mapped structural MaybeLocalDay; do not edit. module Generated.CalendarDays.Structural.Shape.MaybeLocalDay (MaybeLocalDayShape) where  import Data.Time.Calendar (Day)
test/conformance-calendar-days/Generated/CalendarDays/StructuralConformance.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context calendar-days structural conformance; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context calendar-days structural conformance; do not edit. module Generated.CalendarDays.StructuralConformance   ( structuralConformanceAssertions   ) where
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context checked-mapping-replay behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context checked-mapping-replay behavior source map; do not edit. module Generated.CheckedMappingReplay.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/Nominals.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context checked-mapping-replay generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context checked-mapping-replay generated nominal declarations; do not edit. module Generated.CheckedMappingReplay.Nominals   ( RetainedId   , parseRetainedId
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context checked-mapping-replay generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context checked-mapping-replay generated nominal ID internals; do not edit. module Generated.CheckedMappingReplay.Nominals.Internal   ( RetainedId   , parseRetainedId
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ProjectionCatalog.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from projection-catalog checked-mapping-replay; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from projection-catalog checked-mapping-replay; do not edit. {-# LANGUAGE OverloadedStrings #-} module Generated.CheckedMappingReplay.ProjectionCatalog   ( projectionCatalog
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context checked-mapping-replay replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context checked-mapping-replay replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayEvents/Contract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from contract replay_events; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from contract replay_events; do not edit. module Generated.CheckedMappingReplay.ReplayEvents.Contract   ( ReplayEventsPayload (..)   , ReplayLinkedData (..)
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayJobs/Queue.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from workqueue replay_jobs; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from workqueue replay_jobs; do not edit. module Generated.CheckedMappingReplay.ReplayJobs.Queue   ( ReplayJob (..)   , encodeReplayJob
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayJobs/QueueCodec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from workqueue replay_jobs; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from workqueue replay_jobs; do not edit. -- | Versioned job payload envelope: @{\"v\",\"t\",\"data\"}@. -- -- Deploy workers before producers when raising its schema version. Do not
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayJobs/QueuePolicy.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from workqueue replay_jobs; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from workqueue replay_jobs; do not edit. module Generated.CheckedMappingReplay.ReplayJobs.QueuePolicy   ( ReplayJobsOutcome (..)   , retryPolicy, jobOutcomeFor
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayLedger/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate ReplayLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate ReplayLedger; do not edit. module Generated.CheckedMappingReplay.ReplayLedger.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayLedger/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate ReplayLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate ReplayLedger; do not edit. module Generated.CheckedMappingReplay.ReplayLedger.Codec (     replayLedgerCodec,     parseReplayLedgerEvent,
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayLedger/Domain.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate ReplayLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate ReplayLedger; do not edit. module Generated.CheckedMappingReplay.ReplayLedger.Domain where  import Data.Aeson (FromJSON, ToJSON)
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayLedger/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate ReplayLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate ReplayLedger; do not edit. module Generated.CheckedMappingReplay.ReplayLedger.EventStream   ( replayLedgerCategory   , replayLedgerCommandCategory
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayLedger/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate ReplayLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate ReplayLedger; do not edit. module Generated.CheckedMappingReplay.ReplayLedger.Harness (harnessAssertions) where  import Generated.CheckedMappingReplay.ReplayLedger.Domain
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayLedger/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate ReplayLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate ReplayLedger; do not edit. module Generated.CheckedMappingReplay.ReplayLedger.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayLedger/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate ReplayLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate ReplayLedger; do not edit. module Generated.CheckedMappingReplay.ReplayLedger.Transducer   ( replayLedgerTransducer   , replayLedgerFoldFingerprint
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayLookup/QueryContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel replay_lookup; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from readmodel replay_lookup; do not edit. module Generated.CheckedMappingReplay.ReplayLookup.QueryContract   ( ReplayLookupQueryInput   , ReplayLookupQueryResult
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayLookup/ReadModel.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel replay_lookup; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from readmodel replay_lookup; do not edit. module Generated.CheckedMappingReplay.ReplayLookup.ReadModel   ( replayLookupReadModel   , replayLookupQualifiedTable
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayLookup/ReadModelHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel replay_lookup; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from readmodel replay_lookup; do not edit. module Generated.CheckedMappingReplay.ReplayLookup.ReadModelHarness (readModelFacts, readModelFactResults, runReadModelFacts, catalogFactsAgainst) where  import Generated.CheckedMappingReplay.ReplayLookup.ReadModel (replayLookupReadModel)
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayLookup/ReadModelTable.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel replay_lookup; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from readmodel replay_lookup; do not edit. module Generated.CheckedMappingReplay.ReplayLookup.ReadModelTable (replayLookupQualifiedTable) where  import Data.Text (Text)
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayReaction/Input.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE DeriveAnyClass #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process input ReplayReaction; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process input ReplayReaction; do not edit. module Generated.CheckedMappingReplay.ReplayReaction.Input (ReplayReactionInput (..)) where  import Data.Aeson (FromJSON, ToJSON)
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayReaction/Process.hs view
@@ -1,5 +1,5 @@ {-# OPTIONS_GHC -Wno-missing-signatures #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process reaction ReplayReaction; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process reaction ReplayReaction; do not edit. module Generated.CheckedMappingReplay.ReplayReaction.Process   ( ReplayReactionInput (..)   , replayReactionProcessName
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayReaction/ProcessHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process ReplayReaction; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process ReplayReaction; do not edit. module Generated.CheckedMappingReplay.ReplayReaction.ProcessHarness (processHarnessValues) where  -- | (label, value): the spec's deterministic process/timer decisions,
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayTarget/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate ReplayTarget; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate ReplayTarget; do not edit. module Generated.CheckedMappingReplay.ReplayTarget.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayTarget/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate ReplayTarget; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate ReplayTarget; do not edit. module Generated.CheckedMappingReplay.ReplayTarget.Codec (     replayTargetCodec,     parseReplayTargetEvent,
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayTarget/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate ReplayTarget; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate ReplayTarget; do not edit. module Generated.CheckedMappingReplay.ReplayTarget.Domain where  import Data.Proxy (Proxy (..))
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayTarget/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate ReplayTarget; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate ReplayTarget; do not edit. module Generated.CheckedMappingReplay.ReplayTarget.EventStream   ( replayTargetCategory   , replayTargetCommandCategory
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayTarget/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate ReplayTarget; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate ReplayTarget; do not edit. module Generated.CheckedMappingReplay.ReplayTarget.Harness (harnessAssertions) where  import Generated.CheckedMappingReplay.ReplayTarget.Domain
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayTarget/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate ReplayTarget; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate ReplayTarget; do not edit. module Generated.CheckedMappingReplay.ReplayTarget.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/ReplayTarget/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate ReplayTarget; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate ReplayTarget; do not edit. module Generated.CheckedMappingReplay.ReplayTarget.Transducer   ( replayTargetTransducer   , replayTargetFoldFingerprint
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/Structural/NominalLeaves.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context checked-mapping-replay structural nominal leaves; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context checked-mapping-replay structural nominal leaves; do not edit. module Generated.CheckedMappingReplay.Structural.NominalLeaves where  import Data.Aeson (Value (..), withText)
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/Structural/Shape/ContentHash.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from mapped structural ContentHash; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from mapped structural ContentHash; do not edit. module Generated.CheckedMappingReplay.Structural.Shape.ContentHash (ContentHashShape) where  import Data.ByteString (ByteString)
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/Structural/Shape/ImportantDays.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from mapped structural ImportantDays; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from mapped structural ImportantDays; do not edit. module Generated.CheckedMappingReplay.Structural.Shape.ImportantDays (ImportantDaysShape) where  import Data.Time.Calendar (Day)
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/Structural/Shape/MaybeContentHash.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from mapped structural MaybeContentHash; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from mapped structural MaybeContentHash; do not edit. module Generated.CheckedMappingReplay.Structural.Shape.MaybeContentHash (MaybeContentHashShape) where  import Generated.CheckedMappingReplay.Structural.Shape.ContentHash qualified as ContentHash
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/Structural/Shape/MaybeLabel.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from mapped structural MaybeLabel; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from mapped structural MaybeLabel; do not edit. module Generated.CheckedMappingReplay.Structural.Shape.MaybeLabel (MaybeLabelShape) where  import Data.Text (Text)
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/Structural/Shape/ReplayEnvelope.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from mapped structural ReplayEnvelope; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from mapped structural ReplayEnvelope; do not edit. module Generated.CheckedMappingReplay.Structural.Shape.ReplayEnvelope (ReplayEnvelopeShape (..)) where  import Data.Map.Strict (Map)
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/Structural/Shape/TextLabels.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from mapped structural TextLabels; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from mapped structural TextLabels; do not edit. module Generated.CheckedMappingReplay.Structural.Shape.TextLabels (TextLabelsShape) where  import Data.Set (Set)
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/StructuralConformance.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context checked-mapping-replay structural conformance; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context checked-mapping-replay structural conformance; do not edit. module Generated.CheckedMappingReplay.StructuralConformance   ( structuralConformanceAssertions   ) where
test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/StructuralProjections.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context checked-mapping-replay mapped structural facade; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context checked-mapping-replay mapped structural facade; do not edit. -- Equality witnesses are emitted for Text, Int, Bool, Natural, and UTCTime. -- Nominal ID and enum leaves carry exact canonical-text domains. -- Int, Natural, and UTCTime belong to Keiki's ordered subset.
test/conformance-coldstart/Generated/Billing/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context billing behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context billing behavior source map; do not edit. module Generated.Billing.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-coldstart/Generated/Billing/Nominals.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context billing generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context billing generated nominal declarations; do not edit. module Generated.Billing.Nominals   ( CustomerId   , parseCustomerId
test/conformance-coldstart/Generated/Billing/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context billing generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context billing generated nominal ID internals; do not edit. module Generated.Billing.Nominals.Internal   ( CustomerId   , parseCustomerId
test/conformance-coldstart/Generated/Billing/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context billing replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context billing replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-coldstart/Generated/Billing/Subscription/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit. module Generated.Billing.Subscription.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-coldstart/Generated/Billing/Subscription/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit. module Generated.Billing.Subscription.Codec (     subscriptionCodec,     parseSubscriptionEvent,
test/conformance-coldstart/Generated/Billing/Subscription/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit. module Generated.Billing.Subscription.Domain where  import Data.Proxy (Proxy (..))
test/conformance-coldstart/Generated/Billing/Subscription/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit. module Generated.Billing.Subscription.EventStream   ( subscriptionCategory   , subscriptionCommandCategory
test/conformance-coldstart/Generated/Billing/Subscription/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit. module Generated.Billing.Subscription.Harness (harnessAssertions) where  import Generated.Billing.Subscription.Domain
test/conformance-coldstart/Generated/Billing/Subscription/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit. module Generated.Billing.Subscription.Projection   ( subscriptionsProjection   , subscriptionsStatusFor
test/conformance-coldstart/Generated/Billing/Subscription/Transducer.hs view
@@ -1,7 +1,7 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE OverloadedLabels #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit. module Generated.Billing.Subscription.Transducer   ( subscriptionTransducer   , subscriptionFoldFingerprint
test/conformance-contract-declared-id/Generated/ContractDeclaredId/Nominals.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context contract-declared-id generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context contract-declared-id generated nominal declarations; do not edit. module Generated.ContractDeclaredId.Nominals   ( TemplateId   , parseTemplateId
test/conformance-contract-declared-id/Generated/ContractDeclaredId/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context contract-declared-id generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context contract-declared-id generated nominal ID internals; do not edit. module Generated.ContractDeclaredId.Nominals.Internal   ( TemplateId   , parseTemplateId
test/conformance-contract-declared-id/Generated/ContractDeclaredId/Structural/NominalLeaves.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context contract-declared-id structural nominal leaves; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context contract-declared-id structural nominal leaves; do not edit. module Generated.ContractDeclaredId.Structural.NominalLeaves where  import Data.Aeson (Value (..), withText)
test/conformance-contract-declared-id/Generated/ContractDeclaredId/StructuralConformance.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context contract-declared-id structural conformance; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context contract-declared-id structural conformance; do not edit. module Generated.ContractDeclaredId.StructuralConformance   ( structuralConformanceAssertions   ) where
test/conformance-contract-declared-id/Generated/ContractDeclaredId/Templates/Contract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from contract templates; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from contract templates; do not edit. module Generated.ContractDeclaredId.Templates.Contract   ( TemplatesPayload (..)   , TemplateClaimedData (..)
test/conformance-contract-v1-compat/Generated/HospitalCapacity/Emergency/Contract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 1) from contract emergency; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 1) from contract emergency; do not edit. module Generated.HospitalCapacity.Emergency.Contract   ( EmergencyPayload (..)   , IncidentTransferNeedDeclaredData (..)
test/conformance-contract/Generated/HospitalCapacity/Emergency/Contract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from contract emergency; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from contract emergency; do not edit. module Generated.HospitalCapacity.Emergency.Contract   ( EmergencyPayload (..)   , IncidentTransferNeedDeclaredData (..)
test/conformance-declarative-router/Generated/TransferRouting/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from context transfer-routing behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from context transfer-routing behavior source map; do not edit. module Generated.TransferRouting.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-declarative-router/Generated/TransferRouting/Hospital/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit. module Generated.TransferRouting.Hospital.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-declarative-router/Generated/TransferRouting/Hospital/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit. module Generated.TransferRouting.Hospital.Codec (     hospitalCodec,     parseHospitalEvent,
test/conformance-declarative-router/Generated/TransferRouting/Hospital/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit. module Generated.TransferRouting.Hospital.Domain where  import Data.Proxy (Proxy (..))
test/conformance-declarative-router/Generated/TransferRouting/Hospital/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit. module Generated.TransferRouting.Hospital.EventStream   ( hospitalCategory   , hospitalCommandCategory
test/conformance-declarative-router/Generated/TransferRouting/Hospital/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit. module Generated.TransferRouting.Hospital.Harness (harnessAssertions) where  import Generated.TransferRouting.Hospital.Domain
test/conformance-declarative-router/Generated/TransferRouting/Hospital/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit. module Generated.TransferRouting.Hospital.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-declarative-router/Generated/TransferRouting/Hospital/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit. module Generated.TransferRouting.Hospital.Transducer   ( hospitalTransducer   , hospitalFoldFingerprint
test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/QueryContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from readmodel hospital_load; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from readmodel hospital_load; do not edit. module Generated.TransferRouting.HospitalLoad.QueryContract   ( HospitalLoadQueryInput   , HospitalLoadQueryResult
test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/ReadModel.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from readmodel hospital_load; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from readmodel hospital_load; do not edit. module Generated.TransferRouting.HospitalLoad.ReadModel   ( hospitalLoadReadModel   , hospitalLoadQualifiedTable
test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/ReadModelHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from readmodel hospital_load; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from readmodel hospital_load; do not edit. module Generated.TransferRouting.HospitalLoad.ReadModelHarness (readModelFacts, readModelFactResults, runReadModelFacts, catalogFactsAgainst) where  import Generated.TransferRouting.HospitalLoad.ReadModel (hospitalLoadReadModel)
test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/ReadModelTable.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from readmodel hospital_load; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from readmodel hospital_load; do not edit. module Generated.TransferRouting.HospitalLoad.ReadModelTable (hospitalLoadQualifiedTable) where  import Data.Text (Text)
test/conformance-declarative-router/Generated/TransferRouting/HospitalTransferRouter/Router.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from router HospitalTransferRouter; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from router HospitalTransferRouter; do not edit. module Generated.TransferRouting.HospitalTransferRouter.Router   ( hospitalTransferRouterName   , hospitalTransferRouterWorkerOptions
test/conformance-declarative-router/Generated/TransferRouting/HospitalTransferRouter/RouterHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from router HospitalTransferRouter; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from router HospitalTransferRouter; do not edit. module Generated.TransferRouting.HospitalTransferRouter.RouterHarness (routerHarnessValues) where  routerHarnessValues :: [(String, String)]
test/conformance-declarative-router/Generated/TransferRouting/ProjectionCatalog.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from projection-catalog transfer-routing; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from projection-catalog transfer-routing; do not edit. {-# LANGUAGE OverloadedStrings #-} module Generated.TransferRouting.ProjectionCatalog   ( projectionCatalog
test/conformance-declarative-router/Generated/TransferRouting/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from context transfer-routing replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from context transfer-routing replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-declarative-router/Generated/TransferRouting/Structural/Shape/HospitalLoadRow.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from mapped structural HospitalLoadRow; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from mapped structural HospitalLoadRow; do not edit. module Generated.TransferRouting.Structural.Shape.HospitalLoadRow (HospitalLoadRowShape (..)) where  import Data.Text (Text)
test/conformance-declarative-router/Generated/TransferRouting/Structural/Shape/TransferRouteInput.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from mapped structural TransferRouteInput; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from mapped structural TransferRouteInput; do not edit. module Generated.TransferRouting.Structural.Shape.TransferRouteInput (TransferRouteInputShape (..)) where  import Data.Text (Text)
test/conformance-declarative-router/Generated/TransferRouting/StructuralConformance.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from context transfer-routing structural conformance; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from context transfer-routing structural conformance; do not edit. module Generated.TransferRouting.StructuralConformance   ( structuralConformanceAssertions   ) where
test/conformance-declarative-router/Generated/TransferRouting/StructuralProjections.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from context transfer-routing mapped structural facade; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from context transfer-routing mapped structural facade; do not edit. -- Equality witnesses are emitted for Text, Int, Bool, Natural, and UTCTime. -- Nominal ID and enum leaves carry exact canonical-text domains. -- Int, Natural, and UTCTime belong to Keiki's ordered subset.
test/conformance-dispatch-full/Generated/HospitalCapacity/AcceptedTransferNeeds/ReadModel.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from readmodel accepted_transfer_needs; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from readmodel accepted_transfer_needs; do not edit. module Generated.HospitalCapacity.AcceptedTransferNeeds.ReadModel   ( acceptedTransferNeedsReadModel   , acceptedTransferNeedsQualifiedTable
test/conformance-dispatch-full/Generated/HospitalCapacity/AcceptedTransferNeeds/ReadModelHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from readmodel accepted_transfer_needs; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from readmodel accepted_transfer_needs; do not edit. module Generated.HospitalCapacity.AcceptedTransferNeeds.ReadModelHarness (readModelFacts, readModelFactResults, runReadModelFacts) where  import Generated.HospitalCapacity.AcceptedTransferNeeds.ReadModel (acceptedTransferNeedsReadModel, acceptedTransferNeedsAsyncProjection)
test/conformance-dispatch-full/Generated/HospitalCapacity/AcceptedTransferNeeds/ReadModelTable.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from readmodel accepted_transfer_needs; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from readmodel accepted_transfer_needs; do not edit. module Generated.HospitalCapacity.AcceptedTransferNeeds.ReadModelTable (acceptedTransferNeedsQualifiedTable) where  import Data.Text (Text)
test/conformance-dispatch-full/Generated/HospitalCapacity/ReservationWork/Queue.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit. module Generated.HospitalCapacity.ReservationWork.Queue   ( ReservationWorkItem (..)   , encodeReservationWorkItem
test/conformance-dispatch-full/Generated/HospitalCapacity/ReservationWork/QueueCodec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit. -- | Versioned job payload envelope: @{\"v\",\"t\",\"data\"}@. -- -- Deploy workers before producers when raising its schema version. Do not
test/conformance-dispatch-full/Generated/HospitalCapacity/ReservationWork/QueuePolicy.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit. module Generated.HospitalCapacity.ReservationWork.QueuePolicy   ( ReservationWorkOutcome (..)   , retryPolicy, jobOutcomeFor
test/conformance-dispatch-full/Generated/HospitalCapacity/TransferDecisions/ReadModel.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from readmodel transfer_decisions; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from readmodel transfer_decisions; do not edit. module Generated.HospitalCapacity.TransferDecisions.ReadModel   ( transferDecisionsReadModel   , transferDecisionsQualifiedTable
test/conformance-dispatch-full/Generated/HospitalCapacity/TransferDecisions/ReadModelHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from readmodel transfer_decisions; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from readmodel transfer_decisions; do not edit. module Generated.HospitalCapacity.TransferDecisions.ReadModelHarness (readModelFacts, readModelFactResults, runReadModelFacts) where  import Generated.HospitalCapacity.TransferDecisions.ReadModel (transferDecisionsReadModel, transferDecisionsAsyncProjection)
test/conformance-dispatch-full/Generated/HospitalCapacity/TransferDecisions/ReadModelTable.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from readmodel transfer_decisions; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from readmodel transfer_decisions; do not edit. module Generated.HospitalCapacity.TransferDecisions.ReadModelTable (transferDecisionsQualifiedTable) where  import Data.Text (Text)
test/conformance-domain-outcomes/Generated/DomainOutcomes/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from context domain-outcomes behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from context domain-outcomes behavior source map; do not edit. module Generated.DomainOutcomes.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-domain-outcomes/Generated/DomainOutcomes/Nominals.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE DeriveAnyClass #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from context domain-outcomes generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from context domain-outcomes generated nominal declarations; do not edit. module Generated.DomainOutcomes.Nominals where  import Data.Aeson (FromJSON, ToJSON)
test/conformance-domain-outcomes/Generated/DomainOutcomes/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from context domain-outcomes replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from context domain-outcomes replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit. module Generated.DomainOutcomes.Reservation.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit. module Generated.DomainOutcomes.Reservation.Codec (     reservationCodec,     parseReservationEvent,
test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit. module Generated.DomainOutcomes.Reservation.Domain where  import Data.Proxy (Proxy (..))
test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit. module Generated.DomainOutcomes.Reservation.EventStream   ( reservationCategory   , reservationCommandCategory
test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit. module Generated.DomainOutcomes.Reservation.Harness (harnessAssertions) where  import Generated.DomainOutcomes.Reservation.Domain
test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit. module Generated.DomainOutcomes.Reservation.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit. module Generated.DomainOutcomes.Reservation.Transducer   ( reservationTransducer   , reservationFoldFingerprint
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context id-admission-domains behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context id-admission-domains behavior source map; do not edit. module Generated.IdAdmissionDomains.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/Identities/Contract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from contract identities; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from contract identities; do not edit. module Generated.IdAdmissionDomains.Identities.Contract   ( IdentitiesPayload (..)   , IdentityLinkedData (..)
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/IdentityLedger/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IdentityLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IdentityLedger; do not edit. module Generated.IdAdmissionDomains.IdentityLedger.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/IdentityLedger/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IdentityLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IdentityLedger; do not edit. module Generated.IdAdmissionDomains.IdentityLedger.Codec (     identityLedgerCodec,     parseIdentityLedgerEvent,
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/IdentityLedger/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IdentityLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IdentityLedger; do not edit. module Generated.IdAdmissionDomains.IdentityLedger.Domain where  import Data.Proxy (Proxy (..))
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/IdentityLedger/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IdentityLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IdentityLedger; do not edit. module Generated.IdAdmissionDomains.IdentityLedger.EventStream   ( identityLedgerCategory   , identityLedgerCommandCategory
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/IdentityLedger/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IdentityLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IdentityLedger; do not edit. module Generated.IdAdmissionDomains.IdentityLedger.Harness (harnessAssertions) where  import Generated.IdAdmissionDomains.IdentityLedger.Domain
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/IdentityLedger/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IdentityLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IdentityLedger; do not edit. module Generated.IdAdmissionDomains.IdentityLedger.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/IdentityLedger/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IdentityLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IdentityLedger; do not edit. module Generated.IdAdmissionDomains.IdentityLedger.Transducer   ( identityLedgerTransducer   , identityLedgerFoldFingerprint
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/IdentityWork/Queue.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from workqueue identity_work; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from workqueue identity_work; do not edit. module Generated.IdAdmissionDomains.IdentityWork.Queue   ( IdentityWork (..)   , encodeIdentityWork
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/IdentityWork/QueueCodec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from workqueue identity_work; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from workqueue identity_work; do not edit. -- | Versioned job payload envelope: @{\"v\",\"t\",\"data\"}@. -- -- Deploy workers before producers when raising its schema version. Do not
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/IdentityWork/QueuePolicy.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from workqueue identity_work; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from workqueue identity_work; do not edit. module Generated.IdAdmissionDomains.IdentityWork.QueuePolicy   ( IdentityWorkOutcome (..)   , retryPolicy, jobOutcomeFor
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/Nominals.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context id-admission-domains generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context id-admission-domains generated nominal declarations; do not edit. module Generated.IdAdmissionDomains.Nominals   ( LegacyId   , parseLegacyId
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context id-admission-domains generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context id-admission-domains generated nominal ID internals; do not edit. module Generated.IdAdmissionDomains.Nominals.Internal   ( LegacyId   , parseLegacyId
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context id-admission-domains replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context id-admission-domains replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/Structural/NominalLeaves.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context id-admission-domains structural nominal leaves; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context id-admission-domains structural nominal leaves; do not edit. module Generated.IdAdmissionDomains.Structural.NominalLeaves where  import Data.Aeson (Value (..), withText)
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/Structural/Shape/IdentityEnvelope.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from mapped structural IdentityEnvelope; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from mapped structural IdentityEnvelope; do not edit. module Generated.IdAdmissionDomains.Structural.Shape.IdentityEnvelope (IdentityEnvelopeShape (..)) where  import Data.Map.Strict (Map)
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/StructuralConformance.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context id-admission-domains structural conformance; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context id-admission-domains structural conformance; do not edit. module Generated.IdAdmissionDomains.StructuralConformance   ( structuralConformanceAssertions   ) where
test/conformance-id-admission-domains/Generated/IdAdmissionDomains/StructuralProjections.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context id-admission-domains mapped structural facade; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context id-admission-domains mapped structural facade; do not edit. -- Equality witnesses are emitted for Text, Int, Bool, Natural, and UTCTime. -- Nominal ID and enum leaves carry exact canonical-text domains. -- Int, Natural, and UTCTime belong to Keiki's ordered subset.
test/conformance-id-domain-migration/Generated/IdDomainMigration/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 3) from context id-domain-migration behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 3) from context id-domain-migration behavior source map; do not edit. module Generated.IdDomainMigration.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-id-domain-migration/Generated/IdDomainMigration/Nominals.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 3) from context id-domain-migration generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 3) from context id-domain-migration generated nominal declarations; do not edit. module Generated.IdDomainMigration.Nominals   ( OrderId   , parseOrderId
test/conformance-id-domain-migration/Generated/IdDomainMigration/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 3) from context id-domain-migration generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 3) from context id-domain-migration generated nominal ID internals; do not edit. module Generated.IdDomainMigration.Nominals.Internal   ( OrderId   , parseOrderId
test/conformance-id-domain-migration/Generated/IdDomainMigration/OrderBook/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 3) from aggregate OrderBook; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 3) from aggregate OrderBook; do not edit. module Generated.IdDomainMigration.OrderBook.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-id-domain-migration/Generated/IdDomainMigration/OrderBook/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 3) from aggregate OrderBook; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 3) from aggregate OrderBook; do not edit. module Generated.IdDomainMigration.OrderBook.Codec (     orderBookCodec,     parseOrderBookEvent,
test/conformance-id-domain-migration/Generated/IdDomainMigration/OrderBook/Domain.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 3) from aggregate OrderBook; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 3) from aggregate OrderBook; do not edit. module Generated.IdDomainMigration.OrderBook.Domain where  import Data.Aeson (FromJSON, ToJSON)
test/conformance-id-domain-migration/Generated/IdDomainMigration/OrderBook/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 3) from aggregate OrderBook; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 3) from aggregate OrderBook; do not edit. module Generated.IdDomainMigration.OrderBook.EventStream   ( orderBookCategory   , orderBookCommandCategory
test/conformance-id-domain-migration/Generated/IdDomainMigration/OrderBook/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 3) from aggregate OrderBook; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 3) from aggregate OrderBook; do not edit. module Generated.IdDomainMigration.OrderBook.Harness (harnessAssertions) where  import Generated.IdDomainMigration.OrderBook.Domain
test/conformance-id-domain-migration/Generated/IdDomainMigration/OrderBook/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 3) from aggregate OrderBook; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 3) from aggregate OrderBook; do not edit. module Generated.IdDomainMigration.OrderBook.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-id-domain-migration/Generated/IdDomainMigration/OrderBook/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 3) from aggregate OrderBook; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 3) from aggregate OrderBook; do not edit. module Generated.IdDomainMigration.OrderBook.Transducer   ( orderBookTransducer   , orderBookFoldFingerprint
test/conformance-id-domain-migration/Generated/IdDomainMigration/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 3) from context id-domain-migration replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 3) from context id-domain-migration replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-import-planning/Generated/ImportPlanningCollisions/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context import-planning-collisions behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context import-planning-collisions behavior source map; do not edit. module Generated.ImportPlanningCollisions.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/BehaviorContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit. module Generated.ImportPlanningCollisions.CollisionLedger.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit. module Generated.ImportPlanningCollisions.CollisionLedger.Codec (     collisionLedgerCodec,     parseCollisionLedgerEvent,
test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit. module Generated.ImportPlanningCollisions.CollisionLedger.Domain where  import GHC.Generics (Generic)
test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit. module Generated.ImportPlanningCollisions.CollisionLedger.EventStream   ( collisionLedgerCategory   , collisionLedgerCommandCategory
test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Harness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit. module Generated.ImportPlanningCollisions.CollisionLedger.Harness (harnessAssertions) where  import Generated.ImportPlanningCollisions.CollisionLedger.Domain
test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit. module Generated.ImportPlanningCollisions.CollisionLedger.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit. module Generated.ImportPlanningCollisions.CollisionLedger.Transducer   ( collisionLedgerTransducer   , collisionLedgerFoldFingerprint
test/conformance-import-planning/Generated/ImportPlanningCollisions/NominalProjections.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context import-planning-collisions nominal scalar projection facade; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context import-planning-collisions nominal scalar projection facade; do not edit. module Generated.ImportPlanningCollisions.NominalProjections where  import Data.Text (Text)
test/conformance-import-planning/Generated/ImportPlanningCollisions/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context import-planning-collisions replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context import-planning-collisions replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-import-planning/Generated/ImportPlanningCollisions/Structural/Shape/Details.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from mapped structural Details; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from mapped structural Details; do not edit. module Generated.ImportPlanningCollisions.Structural.Shape.Details (DetailsShape (..)) where  import Data.Text (Text)
test/conformance-import-planning/Generated/ImportPlanningCollisions/StructuralConformance.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context import-planning-collisions structural conformance; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context import-planning-collisions structural conformance; do not edit. module Generated.ImportPlanningCollisions.StructuralConformance   ( structuralConformanceAssertions   ) where
test/conformance-import-planning/Generated/ImportPlanningCollisions/StructuralProjections.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context import-planning-collisions mapped structural facade; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context import-planning-collisions mapped structural facade; do not edit. -- Equality witnesses are emitted for Text, Int, Bool, Natural, and UTCTime. -- Nominal ID and enum leaves carry exact canonical-text domains. -- Int, Natural, and UTCTime belong to Keiki's ordered subset.
test/conformance-intake-delegated/Generated/HospitalCapacity/Emergency/Contract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from contract emergency; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from contract emergency; do not edit. module Generated.HospitalCapacity.Emergency.Contract   ( EmergencyPayload (..)   , IncidentTransferNeedDeclaredData (..)
test/conformance-intake-delegated/Generated/HospitalCapacity/IncidentInbox/Inbox.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from intake incidentInbox; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from intake incidentInbox; do not edit. module Generated.HospitalCapacity.IncidentInbox.Inbox   ( InboxFailure (..)   , IncidentInboxOutcome (..)
test/conformance-intake-full/Generated/HospitalCapacity/Emergency/Contract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from contract emergency; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from contract emergency; do not edit. module Generated.HospitalCapacity.Emergency.Contract   ( EmergencyPayload (..)   , IncidentTransferNeedDeclaredData (..)
test/conformance-intake-full/Generated/HospitalCapacity/IncidentInbox/Inbox.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from intake incidentInbox; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from intake incidentInbox; do not edit. module Generated.HospitalCapacity.IncidentInbox.Inbox   ( InboxFailure (..)   , IncidentInboxOutcome (..)
test/conformance-intake-runtime/Generated/HospitalCapacity/Emergency/Contract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from contract emergency; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from contract emergency; do not edit. module Generated.HospitalCapacity.Emergency.Contract   ( EmergencyPayload (..)   , IncidentTransferNeedDeclaredData (..)
test/conformance-intake-runtime/Generated/HospitalCapacity/IncidentInbox/Inbox.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from intake incidentInbox; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from intake incidentInbox; do not edit. module Generated.HospitalCapacity.IncidentInbox.Inbox   ( InboxFailure (..)   , IncidentInboxOutcome (..)
test/conformance-mapped-queue/Generated/MappedQueue/MappedJobs/Queue.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from workqueue mapped_jobs; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from workqueue mapped_jobs; do not edit. module Generated.MappedQueue.MappedJobs.Queue   ( MappedJob (..)   , encodeMappedJob
test/conformance-mapped-queue/Generated/MappedQueue/MappedJobs/QueueCodec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from workqueue mapped_jobs; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from workqueue mapped_jobs; do not edit. -- | Versioned job payload envelope: @{\"v\",\"t\",\"data\"}@. -- -- Deploy workers before producers when raising its schema version. Do not
test/conformance-mapped-queue/Generated/MappedQueue/MappedJobs/QueuePolicy.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from workqueue mapped_jobs; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from workqueue mapped_jobs; do not edit. module Generated.MappedQueue.MappedJobs.QueuePolicy   ( MappedJobsOutcome (..)   , retryPolicy, jobOutcomeFor
test/conformance-mapped-queue/Generated/MappedQueue/Structural/Shape/JobMetadata.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from mapped structural JobMetadata; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from mapped structural JobMetadata; do not edit. module Generated.MappedQueue.Structural.Shape.JobMetadata (JobMetadataShape (..)) where  import Data.Text (Text)
test/conformance-mapped-queue/Generated/MappedQueue/Structural/Shape/JobPayload.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from mapped structural JobPayload; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from mapped structural JobPayload; do not edit. module Generated.MappedQueue.Structural.Shape.JobPayload (JobPayloadShape (..)) where  import Data.Text (Text)
test/conformance-mapped-queue/Generated/MappedQueue/StructuralConformance.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from context mapped-queue structural conformance; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from context mapped-queue structural conformance; do not edit. module Generated.MappedQueue.StructuralConformance   ( structuralConformanceAssertions   ) where
test/conformance-mapped-queue/Generated/MappedQueue/StructuralProjections.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from context mapped-queue mapped structural facade; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from context mapped-queue mapped structural facade; do not edit. -- Equality witnesses are emitted for Text, Int, Bool, Natural, and UTCTime. -- Nominal ID and enum leaves carry exact canonical-text domains. -- Int, Natural, and UTCTime belong to Keiki's ordered subset.
test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/QueryContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from readmodel account_summary; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from readmodel account_summary; do not edit. module Generated.MappedReadmodel.AccountSummary.QueryContract   ( AccountSummaryQueryInput   , AccountSummaryQueryResult
test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/ReadModel.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from readmodel account_summary; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from readmodel account_summary; do not edit. module Generated.MappedReadmodel.AccountSummary.ReadModel   ( accountSummaryReadModel   , accountSummaryQualifiedTable
test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/ReadModelHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from readmodel account_summary; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from readmodel account_summary; do not edit. module Generated.MappedReadmodel.AccountSummary.ReadModelHarness (readModelFacts, readModelFactResults, runReadModelFacts, catalogFactsAgainst) where  import Generated.MappedReadmodel.AccountSummary.ReadModel (accountSummaryReadModel)
test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/ReadModelTable.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from readmodel account_summary; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from readmodel account_summary; do not edit. module Generated.MappedReadmodel.AccountSummary.ReadModelTable (accountSummaryQualifiedTable) where  import Data.Text (Text)
test/conformance-mapped-readmodel/Generated/MappedReadmodel/ProjectionCatalog.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from projection-catalog mapped-readmodel; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from projection-catalog mapped-readmodel; do not edit. {-# LANGUAGE OverloadedStrings #-} module Generated.MappedReadmodel.ProjectionCatalog   ( projectionCatalog
test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/AccountLookup.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from mapped structural AccountLookup; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from mapped structural AccountLookup; do not edit. module Generated.MappedReadmodel.Structural.Shape.AccountLookup (AccountLookupShape (..)) where  import Data.Text (Text)
test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/AccountProfile.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from mapped structural AccountProfile; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from mapped structural AccountProfile; do not edit. module Generated.MappedReadmodel.Structural.Shape.AccountProfile (AccountProfileShape (..)) where  import Data.Text (Text)
test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/AccountSummary.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from mapped structural AccountSummary; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from mapped structural AccountSummary; do not edit. module Generated.MappedReadmodel.Structural.Shape.AccountSummary (AccountSummaryShape (..)) where  import Data.Text (Text)
test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/TenantKey.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from mapped structural TenantKey; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from mapped structural TenantKey; do not edit. module Generated.MappedReadmodel.Structural.Shape.TenantKey (TenantKeyShape (..)) where  import Data.Text (Text)
test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/UnusedFilter.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from mapped structural UnusedFilter; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from mapped structural UnusedFilter; do not edit. module Generated.MappedReadmodel.Structural.Shape.UnusedFilter (UnusedFilterShape (..)) where  import Data.Text (Text)
test/conformance-mapped-readmodel/Generated/MappedReadmodel/StructuralConformance.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from context mapped-readmodel structural conformance; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from context mapped-readmodel structural conformance; do not edit. module Generated.MappedReadmodel.StructuralConformance   ( structuralConformanceAssertions   ) where
test/conformance-mapped-readmodel/Generated/MappedReadmodel/StructuralProjections.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 5) from context mapped-readmodel mapped structural facade; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 5) from context mapped-readmodel mapped structural facade; do not edit. -- Equality witnesses are emitted for Text, Int, Bool, Natural, and UTCTime. -- Nominal ID and enum leaves carry exact canonical-text domains. -- Int, Natural, and UTCTime belong to Keiki's ordered subset.
test/conformance-newsurface/Generated/TransferRouting/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context transfer-routing behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context transfer-routing behavior source map; do not edit. module Generated.TransferRouting.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-newsurface/Generated/TransferRouting/Hospital/BehaviorContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.TransferRouting.Hospital.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-newsurface/Generated/TransferRouting/Hospital/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.TransferRouting.Hospital.Codec (     hospitalCodec,     parseHospitalEvent,
test/conformance-newsurface/Generated/TransferRouting/Hospital/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.TransferRouting.Hospital.Domain where  import Data.Text (Text)
test/conformance-newsurface/Generated/TransferRouting/Hospital/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.TransferRouting.Hospital.EventStream   ( hospitalCategory   , hospitalCommandCategory
test/conformance-newsurface/Generated/TransferRouting/Hospital/Harness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.TransferRouting.Hospital.Harness (harnessAssertions) where  import Generated.TransferRouting.Hospital.Domain
test/conformance-newsurface/Generated/TransferRouting/Hospital/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.TransferRouting.Hospital.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-newsurface/Generated/TransferRouting/Hospital/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.TransferRouting.Hospital.Transducer   ( hospitalTransducer   , hospitalFoldFingerprint
test/conformance-newsurface/Generated/TransferRouting/HospitalLoad/ReadModel.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from readmodel hospital_load; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from readmodel hospital_load; do not edit. module Generated.TransferRouting.HospitalLoad.ReadModel   ( hospitalLoadReadModel   , hospitalLoadQualifiedTable
test/conformance-newsurface/Generated/TransferRouting/HospitalLoad/ReadModelHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from readmodel hospital_load; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from readmodel hospital_load; do not edit. module Generated.TransferRouting.HospitalLoad.ReadModelHarness (readModelFacts, readModelFactResults, runReadModelFacts) where  import Generated.TransferRouting.HospitalLoad.ReadModel (hospitalLoadReadModel, hospitalLoadAsyncProjection)
test/conformance-newsurface/Generated/TransferRouting/HospitalLoad/ReadModelTable.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from readmodel hospital_load; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from readmodel hospital_load; do not edit. module Generated.TransferRouting.HospitalLoad.ReadModelTable (hospitalLoadQualifiedTable) where  import Data.Text (Text)
test/conformance-newsurface/Generated/TransferRouting/HospitalTransferRouter/Router.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from router HospitalTransferRouter; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from router HospitalTransferRouter; do not edit. module Generated.TransferRouting.HospitalTransferRouter.Router   ( hospitalTransferRouterName   , hospitalTransferRouterWorkerOptions
test/conformance-newsurface/Generated/TransferRouting/HospitalTransferRouter/RouterHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from router HospitalTransferRouter; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from router HospitalTransferRouter; do not edit. module Generated.TransferRouting.HospitalTransferRouter.RouterHarness (routerHarnessValues) where  routerHarnessValues :: [(String, String)]
test/conformance-newsurface/Generated/TransferRouting/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context transfer-routing replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context transfer-routing replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-nominal-query-only/Generated/MappedNominalQueryOnly/Nominals.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context mapped-nominal-query-only generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context mapped-nominal-query-only generated nominal declarations; do not edit. module Generated.MappedNominalQueryOnly.Nominals   ( TemplateId   , parseTemplateId
test/conformance-nominal-query-only/Generated/MappedNominalQueryOnly/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context mapped-nominal-query-only generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context mapped-nominal-query-only generated nominal ID internals; do not edit. module Generated.MappedNominalQueryOnly.Nominals.Internal   ( TemplateId   , parseTemplateId
test/conformance-nominal-query-only/Generated/MappedNominalQueryOnly/ProjectionCatalog.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from projection-catalog mapped-nominal-query-only; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from projection-catalog mapped-nominal-query-only; do not edit. {-# LANGUAGE OverloadedStrings #-} module Generated.MappedNominalQueryOnly.ProjectionCatalog   ( projectionCatalog
test/conformance-nominal-query-only/Generated/MappedNominalQueryOnly/StructuralConformance.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context mapped-nominal-query-only structural conformance; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context mapped-nominal-query-only structural conformance; do not edit. module Generated.MappedNominalQueryOnly.StructuralConformance   ( structuralConformanceAssertions   ) where
test/conformance-nominal-query-only/Generated/MappedNominalQueryOnly/TemplateLookup/QueryContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel template_lookup; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from readmodel template_lookup; do not edit. module Generated.MappedNominalQueryOnly.TemplateLookup.QueryContract   ( TemplateLookupQueryInput   , TemplateLookupQueryResult
test/conformance-nominal-query-only/Generated/MappedNominalQueryOnly/TemplateLookup/ReadModel.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel template_lookup; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from readmodel template_lookup; do not edit. module Generated.MappedNominalQueryOnly.TemplateLookup.ReadModel   ( templateLookupReadModel   , templateLookupQualifiedTable
test/conformance-nominal-query-only/Generated/MappedNominalQueryOnly/TemplateLookup/ReadModelHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel template_lookup; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from readmodel template_lookup; do not edit. module Generated.MappedNominalQueryOnly.TemplateLookup.ReadModelHarness (readModelFacts, readModelFactResults, runReadModelFacts, catalogFactsAgainst) where  import Generated.MappedNominalQueryOnly.TemplateLookup.ReadModel (templateLookupReadModel)
test/conformance-nominal-query-only/Generated/MappedNominalQueryOnly/TemplateLookup/ReadModelTable.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel template_lookup; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from readmodel template_lookup; do not edit. module Generated.MappedNominalQueryOnly.TemplateLookup.ReadModelTable (templateLookupQualifiedTable) where  import Data.Text (Text)
test/conformance-nominal-queue-only/Generated/MappedNominalQueueOnly/Nominals.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context mapped-nominal-queue-only generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context mapped-nominal-queue-only generated nominal declarations; do not edit. module Generated.MappedNominalQueueOnly.Nominals   ( TemplateId   , parseTemplateId
test/conformance-nominal-queue-only/Generated/MappedNominalQueueOnly/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context mapped-nominal-queue-only generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context mapped-nominal-queue-only generated nominal ID internals; do not edit. module Generated.MappedNominalQueueOnly.Nominals.Internal   ( TemplateId   , parseTemplateId
test/conformance-nominal-queue-only/Generated/MappedNominalQueueOnly/Structural/NominalLeaves.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context mapped-nominal-queue-only structural nominal leaves; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context mapped-nominal-queue-only structural nominal leaves; do not edit. module Generated.MappedNominalQueueOnly.Structural.NominalLeaves where  import Data.Aeson (Value (..), withText)
test/conformance-nominal-queue-only/Generated/MappedNominalQueueOnly/StructuralConformance.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context mapped-nominal-queue-only structural conformance; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context mapped-nominal-queue-only structural conformance; do not edit. module Generated.MappedNominalQueueOnly.StructuralConformance   ( structuralConformanceAssertions   ) where
test/conformance-nominal-queue-only/Generated/MappedNominalQueueOnly/TemplateWork/Queue.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from workqueue template_work; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from workqueue template_work; do not edit. module Generated.MappedNominalQueueOnly.TemplateWork.Queue   ( TemplateWork (..)   , encodeTemplateWork
test/conformance-nominal-queue-only/Generated/MappedNominalQueueOnly/TemplateWork/QueueCodec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from workqueue template_work; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from workqueue template_work; do not edit. -- | Versioned job payload envelope: @{\"v\",\"t\",\"data\"}@. -- -- Deploy workers before producers when raising its schema version. Do not
test/conformance-nominal-queue-only/Generated/MappedNominalQueueOnly/TemplateWork/QueuePolicy.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from workqueue template_work; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from workqueue template_work; do not edit. module Generated.MappedNominalQueueOnly.TemplateWork.QueuePolicy   ( TemplateWorkOutcome (..)   , retryPolicy, jobOutcomeFor
test/conformance-nominal-scalars/Generated/NominalScalars/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context nominal-scalars behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context nominal-scalars behavior source map; do not edit. module Generated.NominalScalars.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-nominal-scalars/Generated/NominalScalars/Nominal/Shape/OrderStatus.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from bound nominal enum representation OrderStatus; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from bound nominal enum representation OrderStatus; do not edit. module Generated.NominalScalars.Nominal.Shape.OrderStatus (OrderStatusRepresentation (..), orderStatusRepresentationText) where  import Data.Text (Text)
test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit. module Generated.NominalScalars.NominalLedger.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit. module Generated.NominalScalars.NominalLedger.Codec (     nominalLedgerCodec,     parseNominalLedgerEvent,
test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Domain.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit. module Generated.NominalScalars.NominalLedger.Domain where  import Data.Aeson (FromJSON, ToJSON)
test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit. module Generated.NominalScalars.NominalLedger.EventStream   ( nominalLedgerCategory   , nominalLedgerCommandCategory
test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit. module Generated.NominalScalars.NominalLedger.Harness (harnessAssertions) where  import Generated.NominalScalars.NominalLedger.Domain
test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit. module Generated.NominalScalars.NominalLedger.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Transducer.hs view
@@ -1,7 +1,7 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE OverloadedLabels #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit. module Generated.NominalScalars.NominalLedger.Transducer   ( nominalLedgerTransducer   , nominalLedgerFoldFingerprint
test/conformance-nominal-scalars/Generated/NominalScalars/NominalProjections.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context nominal-scalars nominal scalar projection facade; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context nominal-scalars nominal scalar projection facade; do not edit. module Generated.NominalScalars.NominalProjections where  import Data.KindID qualified as KindID
test/conformance-nominal-scalars/Generated/NominalScalars/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context nominal-scalars replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context nominal-scalars replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-process-full/Generated/SurgeDemo/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context surge-demo behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context surge-demo behavior source map; do not edit. module Generated.SurgeDemo.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-process-full/Generated/SurgeDemo/Hospital/BehaviorContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.SurgeDemo.Hospital.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-process-full/Generated/SurgeDemo/Hospital/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.SurgeDemo.Hospital.Codec (     hospitalCodec,     parseHospitalEvent,
test/conformance-process-full/Generated/SurgeDemo/Hospital/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.SurgeDemo.Hospital.Domain where  import GHC.Generics (Generic)
test/conformance-process-full/Generated/SurgeDemo/Hospital/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.SurgeDemo.Hospital.EventStream   ( hospitalCategory   , hospitalCommandCategory
test/conformance-process-full/Generated/SurgeDemo/Hospital/Harness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.SurgeDemo.Hospital.Harness (harnessAssertions) where  import Generated.SurgeDemo.Hospital.Domain
test/conformance-process-full/Generated/SurgeDemo/Hospital/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.SurgeDemo.Hospital.Projection   ( hospitalProjection   , hospitalStatusFor
test/conformance-process-full/Generated/SurgeDemo/Hospital/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.SurgeDemo.Hospital.Transducer   ( hospitalTransducer   , hospitalFoldFingerprint
test/conformance-process-full/Generated/SurgeDemo/Nominals.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context surge-demo generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context surge-demo generated nominal declarations; do not edit. module Generated.SurgeDemo.Nominals   ( HospitalId   , parseHospitalId
test/conformance-process-full/Generated/SurgeDemo/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context surge-demo generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context surge-demo generated nominal ID internals; do not edit. module Generated.SurgeDemo.Nominals.Internal   ( HospitalId   , parseHospitalId
test/conformance-process-full/Generated/SurgeDemo/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context surge-demo replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context surge-demo replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-process-full/Generated/SurgeDemo/Surge/BehaviorContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit. module Generated.SurgeDemo.Surge.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-process-full/Generated/SurgeDemo/Surge/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit. module Generated.SurgeDemo.Surge.Codec (     surgeCodec,     parseSurgeEvent,
test/conformance-process-full/Generated/SurgeDemo/Surge/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit. module Generated.SurgeDemo.Surge.Domain where  import GHC.Generics (Generic)
test/conformance-process-full/Generated/SurgeDemo/Surge/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit. module Generated.SurgeDemo.Surge.EventStream   ( surgeCategory   , surgeCommandCategory
test/conformance-process-full/Generated/SurgeDemo/Surge/Harness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit. module Generated.SurgeDemo.Surge.Harness (harnessAssertions) where  import Generated.SurgeDemo.Surge.Domain
test/conformance-process-full/Generated/SurgeDemo/Surge/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit. module Generated.SurgeDemo.Surge.Projection   ( surgeProjection   , surgeStatusFor
test/conformance-process-full/Generated/SurgeDemo/Surge/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit. module Generated.SurgeDemo.Surge.Transducer   ( surgeTransducer   , surgeFoldFingerprint
test/conformance-process-full/Generated/SurgeDemo/SurgeFlow/Process.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from process SurgeFlow; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from process SurgeFlow; do not edit. module Generated.SurgeDemo.SurgeFlow.Process   ( surgeFlowProcessName   , surgeFlowCategory
test/conformance-process-full/Generated/SurgeDemo/SurgeFlow/ProcessHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from process SurgeFlow; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from process SurgeFlow; do not edit. module Generated.SurgeDemo.SurgeFlow.ProcessHarness (processHarnessValues) where  -- | (label, value): the spec's deterministic process/timer decisions,
test/conformance-process-reactions/Generated/ProcessReactions/AuditOnly/Input.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE DeriveAnyClass #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process input AuditOnly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process input AuditOnly; do not edit. module Generated.ProcessReactions.AuditOnly.Input (AuditOnlyInput (..)) where  import Data.Aeson (FromJSON, ToJSON)
test/conformance-process-reactions/Generated/ProcessReactions/AuditOnly/Process.hs view
@@ -1,5 +1,5 @@ {-# OPTIONS_GHC -Wno-missing-signatures #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process reaction AuditOnly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process reaction AuditOnly; do not edit. module Generated.ProcessReactions.AuditOnly.Process   ( AuditOnlyInput (..)   , auditOnlyProcessName
test/conformance-process-reactions/Generated/ProcessReactions/AuditOnly/ProcessHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process AuditOnly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process AuditOnly; do not edit. module Generated.ProcessReactions.AuditOnly.ProcessHarness (processHarnessValues) where  -- | (label, value): the spec's deterministic process/timer decisions,
test/conformance-process-reactions/Generated/ProcessReactions/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context process-reactions behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context process-reactions behavior source map; do not edit. module Generated.ProcessReactions.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-process-reactions/Generated/ProcessReactions/Incident/BehaviorContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.ProcessReactions.Incident.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-process-reactions/Generated/ProcessReactions/Incident/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.ProcessReactions.Incident.Codec (     incidentCodec,     parseIncidentEvent,
test/conformance-process-reactions/Generated/ProcessReactions/Incident/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.ProcessReactions.Incident.Domain where  import GHC.Generics (Generic)
test/conformance-process-reactions/Generated/ProcessReactions/Incident/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.ProcessReactions.Incident.EventStream   ( incidentCategory   , incidentCommandCategory
test/conformance-process-reactions/Generated/ProcessReactions/Incident/Harness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.ProcessReactions.Incident.Harness (harnessAssertions) where  import Generated.ProcessReactions.Incident.Domain
test/conformance-process-reactions/Generated/ProcessReactions/Incident/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.ProcessReactions.Incident.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-process-reactions/Generated/ProcessReactions/Incident/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.ProcessReactions.Incident.Transducer   ( incidentTransducer   , incidentFoldFingerprint
test/conformance-process-reactions/Generated/ProcessReactions/IncidentReaction/Input.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE DeriveAnyClass #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process input IncidentReaction; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process input IncidentReaction; do not edit. module Generated.ProcessReactions.IncidentReaction.Input (IncidentReactionInput (..)) where  import Data.Aeson (FromJSON, ToJSON)
test/conformance-process-reactions/Generated/ProcessReactions/IncidentReaction/Process.hs view
@@ -1,5 +1,5 @@ {-# OPTIONS_GHC -Wno-missing-signatures #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process reaction IncidentReaction; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process reaction IncidentReaction; do not edit. module Generated.ProcessReactions.IncidentReaction.Process   ( IncidentReactionInput (..)   , incidentReactionProcessName
test/conformance-process-reactions/Generated/ProcessReactions/IncidentReaction/ProcessHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process IncidentReaction; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process IncidentReaction; do not edit. module Generated.ProcessReactions.IncidentReaction.ProcessHarness (processHarnessValues) where  -- | (label, value): the spec's deterministic process/timer decisions,
test/conformance-process-reactions/Generated/ProcessReactions/IncidentSaga/BehaviorContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit. module Generated.ProcessReactions.IncidentSaga.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-process-reactions/Generated/ProcessReactions/IncidentSaga/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit. module Generated.ProcessReactions.IncidentSaga.Codec (     incidentSagaCodec,     parseIncidentSagaEvent,
test/conformance-process-reactions/Generated/ProcessReactions/IncidentSaga/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit. module Generated.ProcessReactions.IncidentSaga.Domain where  import GHC.Generics (Generic)
test/conformance-process-reactions/Generated/ProcessReactions/IncidentSaga/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit. module Generated.ProcessReactions.IncidentSaga.EventStream   ( incidentSagaCategory   , incidentSagaCommandCategory
test/conformance-process-reactions/Generated/ProcessReactions/IncidentSaga/Harness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit. module Generated.ProcessReactions.IncidentSaga.Harness (harnessAssertions) where  import Generated.ProcessReactions.IncidentSaga.Domain
test/conformance-process-reactions/Generated/ProcessReactions/IncidentSaga/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit. module Generated.ProcessReactions.IncidentSaga.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-process-reactions/Generated/ProcessReactions/IncidentSaga/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit. module Generated.ProcessReactions.IncidentSaga.Transducer   ( incidentSagaTransducer   , incidentSagaFoldFingerprint
test/conformance-process-reactions/Generated/ProcessReactions/Nominals.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE DeriveAnyClass #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context process-reactions generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context process-reactions generated nominal declarations; do not edit. module Generated.ProcessReactions.Nominals   ( IncidentId   , parseIncidentId
test/conformance-process-reactions/Generated/ProcessReactions/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context process-reactions generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context process-reactions generated nominal ID internals; do not edit. module Generated.ProcessReactions.Nominals.Internal   ( IncidentId   , parseIncidentId
test/conformance-process-reactions/Generated/ProcessReactions/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context process-reactions replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context process-reactions replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-process-reactions/Generated/ProcessReactions/ScalingReaction/Input.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE DeriveAnyClass #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process input ScalingReaction; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process input ScalingReaction; do not edit. module Generated.ProcessReactions.ScalingReaction.Input (ScalingReactionInput (..)) where  import Data.Aeson (FromJSON, ToJSON)
test/conformance-process-reactions/Generated/ProcessReactions/ScalingReaction/Process.hs view
@@ -1,5 +1,5 @@ {-# OPTIONS_GHC -Wno-missing-signatures #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process reaction ScalingReaction; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process reaction ScalingReaction; do not edit. module Generated.ProcessReactions.ScalingReaction.Process   ( ScalingReactionInput (..)   , scalingReactionProcessName
test/conformance-process-reactions/Generated/ProcessReactions/ScalingReaction/ProcessHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process ScalingReaction; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process ScalingReaction; do not edit. module Generated.ProcessReactions.ScalingReaction.ProcessHarness (processHarnessValues) where  -- | (label, value): the spec's deterministic process/timer decisions,
test/conformance-process-runtime/Generated/HospitalCapacity/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context hospital-capacity behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context hospital-capacity behavior source map; do not edit. module Generated.HospitalCapacity.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-process-runtime/Generated/HospitalCapacity/Hospital/BehaviorContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.HospitalCapacity.Hospital.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-process-runtime/Generated/HospitalCapacity/Hospital/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.HospitalCapacity.Hospital.Codec (     hospitalCodec,     parseHospitalEvent,
test/conformance-process-runtime/Generated/HospitalCapacity/Hospital/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.HospitalCapacity.Hospital.Domain where  import GHC.Generics (Generic)
test/conformance-process-runtime/Generated/HospitalCapacity/Hospital/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.HospitalCapacity.Hospital.EventStream   ( hospitalCategory   , hospitalCommandCategory
test/conformance-process-runtime/Generated/HospitalCapacity/Hospital/Harness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.HospitalCapacity.Hospital.Harness (harnessAssertions) where  import Generated.HospitalCapacity.Hospital.Domain
test/conformance-process-runtime/Generated/HospitalCapacity/Hospital/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.HospitalCapacity.Hospital.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-process-runtime/Generated/HospitalCapacity/Hospital/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.HospitalCapacity.Hospital.Transducer   ( hospitalTransducer   , hospitalFoldFingerprint
test/conformance-process-runtime/Generated/HospitalCapacity/HospitalSurge/Process.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from process HospitalSurge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from process HospitalSurge; do not edit. module Generated.HospitalCapacity.HospitalSurge.Process   ( hospitalSurgeProcessName   , hospitalSurgeCategory
test/conformance-process-runtime/Generated/HospitalCapacity/HospitalSurge/ProcessHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from process HospitalSurge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from process HospitalSurge; do not edit. module Generated.HospitalCapacity.HospitalSurge.ProcessHarness (processHarnessValues) where  -- | (label, value): the spec's deterministic process/timer decisions,
test/conformance-process-runtime/Generated/HospitalCapacity/Nominals.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal declarations; do not edit. module Generated.HospitalCapacity.Nominals   ( CommandId   , parseCommandId
test/conformance-process-runtime/Generated/HospitalCapacity/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal ID internals; do not edit. module Generated.HospitalCapacity.Nominals.Internal   ( CommandId   , parseCommandId
test/conformance-process-runtime/Generated/HospitalCapacity/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context hospital-capacity replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context hospital-capacity replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-process-runtime/Generated/HospitalCapacity/Surge/BehaviorContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit. module Generated.HospitalCapacity.Surge.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-process-runtime/Generated/HospitalCapacity/Surge/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit. module Generated.HospitalCapacity.Surge.Codec (     surgeCodec,     parseSurgeEvent,
test/conformance-process-runtime/Generated/HospitalCapacity/Surge/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit. module Generated.HospitalCapacity.Surge.Domain where  import Data.Text (Text)
test/conformance-process-runtime/Generated/HospitalCapacity/Surge/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit. module Generated.HospitalCapacity.Surge.EventStream   ( surgeCategory   , surgeCommandCategory
test/conformance-process-runtime/Generated/HospitalCapacity/Surge/Harness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit. module Generated.HospitalCapacity.Surge.Harness (harnessAssertions) where  import Generated.HospitalCapacity.Surge.Domain
test/conformance-process-runtime/Generated/HospitalCapacity/Surge/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit. module Generated.HospitalCapacity.Surge.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-process-runtime/Generated/HospitalCapacity/Surge/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit. module Generated.HospitalCapacity.Surge.Transducer   ( surgeTransducer   , surgeFoldFingerprint
test/conformance-process-state-authority/Generated/IncidentResponse/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context incident-response behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context incident-response behavior source map; do not edit. module Generated.IncidentResponse.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-process-state-authority/Generated/IncidentResponse/Escalation/BehaviorContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Escalation; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Escalation; do not edit. module Generated.IncidentResponse.Escalation.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-process-state-authority/Generated/IncidentResponse/Escalation/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Escalation; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Escalation; do not edit. module Generated.IncidentResponse.Escalation.Codec (     escalationCodec,     parseEscalationEvent,
test/conformance-process-state-authority/Generated/IncidentResponse/Escalation/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Escalation; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Escalation; do not edit. module Generated.IncidentResponse.Escalation.Domain where  import GHC.Generics (Generic)
test/conformance-process-state-authority/Generated/IncidentResponse/Escalation/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Escalation; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Escalation; do not edit. module Generated.IncidentResponse.Escalation.EventStream   ( escalationCategory   , escalationCommandCategory
test/conformance-process-state-authority/Generated/IncidentResponse/Escalation/Harness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Escalation; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Escalation; do not edit. module Generated.IncidentResponse.Escalation.Harness (harnessAssertions) where  import Generated.IncidentResponse.Escalation.Domain
test/conformance-process-state-authority/Generated/IncidentResponse/Escalation/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Escalation; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Escalation; do not edit. module Generated.IncidentResponse.Escalation.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-process-state-authority/Generated/IncidentResponse/Escalation/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Escalation; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Escalation; do not edit. module Generated.IncidentResponse.Escalation.Transducer   ( escalationTransducer   , escalationFoldFingerprint
test/conformance-process-state-authority/Generated/IncidentResponse/Incident/BehaviorContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.IncidentResponse.Incident.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-process-state-authority/Generated/IncidentResponse/Incident/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.IncidentResponse.Incident.Codec (     incidentCodec,     parseIncidentEvent,
test/conformance-process-state-authority/Generated/IncidentResponse/Incident/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.IncidentResponse.Incident.Domain where  import GHC.Generics (Generic)
test/conformance-process-state-authority/Generated/IncidentResponse/Incident/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.IncidentResponse.Incident.EventStream   ( incidentCategory   , incidentCommandCategory
test/conformance-process-state-authority/Generated/IncidentResponse/Incident/Harness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.IncidentResponse.Incident.Harness (harnessAssertions) where  import Generated.IncidentResponse.Incident.Domain
test/conformance-process-state-authority/Generated/IncidentResponse/Incident/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.IncidentResponse.Incident.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-process-state-authority/Generated/IncidentResponse/Incident/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.IncidentResponse.Incident.Transducer   ( incidentTransducer   , incidentFoldFingerprint
test/conformance-process-state-authority/Generated/IncidentResponse/IncidentEscalation/Input.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE DeriveAnyClass #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process input IncidentEscalation; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process input IncidentEscalation; do not edit. module Generated.IncidentResponse.IncidentEscalation.Input (IncidentEscalationInput (..)) where  import Data.Aeson (FromJSON, ToJSON)
test/conformance-process-state-authority/Generated/IncidentResponse/IncidentEscalation/Process.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DeriveAnyClass #-} {-# OPTIONS_GHC -Wno-missing-signatures #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process reaction IncidentEscalation; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process reaction IncidentEscalation; do not edit. module Generated.IncidentResponse.IncidentEscalation.Process   ( IncidentEscalationInput (..)   , incidentEscalationProcessName
test/conformance-process-state-authority/Generated/IncidentResponse/IncidentEscalation/ProcessHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process IncidentEscalation; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process IncidentEscalation; do not edit. module Generated.IncidentResponse.IncidentEscalation.ProcessHarness (processHarnessValues) where  -- | (label, value): the spec's deterministic process/timer decisions,
test/conformance-process-state-authority/Generated/IncidentResponse/Nominals.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE DeriveAnyClass #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context incident-response generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context incident-response generated nominal declarations; do not edit. module Generated.IncidentResponse.Nominals   ( EscalationNoOp (..)   , escalationNoOpText
test/conformance-process-state-authority/Generated/IncidentResponse/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context incident-response generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context incident-response generated nominal ID internals; do not edit. module Generated.IncidentResponse.Nominals.Internal   ( IncidentId   , parseIncidentId
test/conformance-process-state-authority/Generated/IncidentResponse/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context incident-response replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context incident-response replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-process-timers/Generated/ProcessTimers/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context process-timers behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context process-timers behavior source map; do not edit. module Generated.ProcessTimers.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-process-timers/Generated/ProcessTimers/Incident/BehaviorContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.ProcessTimers.Incident.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-process-timers/Generated/ProcessTimers/Incident/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.ProcessTimers.Incident.Codec (     incidentCodec,     parseIncidentEvent,
test/conformance-process-timers/Generated/ProcessTimers/Incident/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.ProcessTimers.Incident.Domain where  import GHC.Generics (Generic)
test/conformance-process-timers/Generated/ProcessTimers/Incident/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.ProcessTimers.Incident.EventStream   ( incidentCategory   , incidentCommandCategory
test/conformance-process-timers/Generated/ProcessTimers/Incident/Harness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.ProcessTimers.Incident.Harness (harnessAssertions) where  import Generated.ProcessTimers.Incident.Domain
test/conformance-process-timers/Generated/ProcessTimers/Incident/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.ProcessTimers.Incident.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-process-timers/Generated/ProcessTimers/Incident/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate Incident; do not edit. module Generated.ProcessTimers.Incident.Transducer   ( incidentTransducer   , incidentFoldFingerprint
test/conformance-process-timers/Generated/ProcessTimers/IncidentSaga/BehaviorContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit. module Generated.ProcessTimers.IncidentSaga.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-process-timers/Generated/ProcessTimers/IncidentSaga/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit. module Generated.ProcessTimers.IncidentSaga.Codec (     incidentSagaCodec,     parseIncidentSagaEvent,
test/conformance-process-timers/Generated/ProcessTimers/IncidentSaga/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit. module Generated.ProcessTimers.IncidentSaga.Domain where  import GHC.Generics (Generic)
test/conformance-process-timers/Generated/ProcessTimers/IncidentSaga/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit. module Generated.ProcessTimers.IncidentSaga.EventStream   ( incidentSagaCategory   , incidentSagaCommandCategory
test/conformance-process-timers/Generated/ProcessTimers/IncidentSaga/Harness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit. module Generated.ProcessTimers.IncidentSaga.Harness (harnessAssertions) where  import Generated.ProcessTimers.IncidentSaga.Domain
test/conformance-process-timers/Generated/ProcessTimers/IncidentSaga/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit. module Generated.ProcessTimers.IncidentSaga.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-process-timers/Generated/ProcessTimers/IncidentSaga/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from aggregate IncidentSaga; do not edit. module Generated.ProcessTimers.IncidentSaga.Transducer   ( incidentSagaTransducer   , incidentSagaFoldFingerprint
test/conformance-process-timers/Generated/ProcessTimers/IncidentTimers/Input.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE DeriveAnyClass #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process input IncidentTimers; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process input IncidentTimers; do not edit. module Generated.ProcessTimers.IncidentTimers.Input (IncidentTimersInput (..)) where  import Data.Aeson (FromJSON, ToJSON)
test/conformance-process-timers/Generated/ProcessTimers/IncidentTimers/Process.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DeriveAnyClass #-} {-# OPTIONS_GHC -Wno-missing-signatures #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process reaction IncidentTimers; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process reaction IncidentTimers; do not edit. module Generated.ProcessTimers.IncidentTimers.Process   ( IncidentTimersInput (..)   , incidentTimersProcessName
test/conformance-process-timers/Generated/ProcessTimers/IncidentTimers/ProcessHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process IncidentTimers; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from process IncidentTimers; do not edit. module Generated.ProcessTimers.IncidentTimers.ProcessHarness (processHarnessValues) where  -- | (label, value): the spec's deterministic process/timer decisions,
test/conformance-process-timers/Generated/ProcessTimers/Nominals.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context process-timers generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context process-timers generated nominal declarations; do not edit. module Generated.ProcessTimers.Nominals   ( IncidentId   , parseIncidentId
test/conformance-process-timers/Generated/ProcessTimers/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context process-timers generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context process-timers generated nominal ID internals; do not edit. module Generated.ProcessTimers.Nominals.Internal   ( IncidentId   , parseIncidentId
test/conformance-process-timers/Generated/ProcessTimers/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context process-timers replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 6) from context process-timers replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-process/Generated/HospitalCapacity/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context hospital-capacity behavior source map; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context hospital-capacity behavior source map; do not edit. module Generated.HospitalCapacity.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-process/Generated/HospitalCapacity/Hospital/BehaviorContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.HospitalCapacity.Hospital.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-process/Generated/HospitalCapacity/Hospital/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.HospitalCapacity.Hospital.Codec (     hospitalCodec,     parseHospitalEvent,
test/conformance-process/Generated/HospitalCapacity/Hospital/Domain.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.HospitalCapacity.Hospital.Domain where  import GHC.Generics (Generic)
test/conformance-process/Generated/HospitalCapacity/Hospital/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.HospitalCapacity.Hospital.EventStream   ( hospitalCategory   , hospitalCommandCategory
test/conformance-process/Generated/HospitalCapacity/Hospital/Harness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.HospitalCapacity.Hospital.Harness (harnessAssertions) where  import Generated.HospitalCapacity.Hospital.Domain
test/conformance-process/Generated/HospitalCapacity/Hospital/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.HospitalCapacity.Hospital.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-process/Generated/HospitalCapacity/Hospital/Transducer.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit. module Generated.HospitalCapacity.Hospital.Transducer   ( hospitalTransducer   , hospitalFoldFingerprint
test/conformance-process/Generated/HospitalCapacity/HospitalSurge/Process.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from process HospitalSurge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from process HospitalSurge; do not edit. module Generated.HospitalCapacity.HospitalSurge.Process   ( hospitalSurgeProcessName   , hospitalSurgeCategory
test/conformance-process/Generated/HospitalCapacity/HospitalSurge/ProcessHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from process HospitalSurge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from process HospitalSurge; do not edit. module Generated.HospitalCapacity.HospitalSurge.ProcessHarness (processHarnessValues) where  -- | (label, value): the spec's deterministic process/timer decisions,
test/conformance-process/Generated/HospitalCapacity/Nominals.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal declarations; do not edit. module Generated.HospitalCapacity.Nominals   ( CommandId   , parseCommandId
test/conformance-process/Generated/HospitalCapacity/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal ID internals; do not edit. module Generated.HospitalCapacity.Nominals.Internal   ( CommandId   , parseCommandId
test/conformance-process/Generated/HospitalCapacity/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from context hospital-capacity replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from context hospital-capacity replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-process/Generated/HospitalCapacity/Surge/BehaviorContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit. module Generated.HospitalCapacity.Surge.BehaviorContract   ( BehaviorKey (..)   , unBehaviorKey
test/conformance-process/Generated/HospitalCapacity/Surge/Codec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.19.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit. module Generated.HospitalCapacity.Surge.Codec (     surgeCodec,     parseSurgeEvent,
test/conformance-process/Generated/HospitalCapacity/Surge/Domain.hs view

file too large to diff

test/conformance-process/Generated/HospitalCapacity/Surge/EventStream.hs view

file too large to diff

test/conformance-process/Generated/HospitalCapacity/Surge/Harness.hs view

file too large to diff

test/conformance-process/Generated/HospitalCapacity/Surge/Projection.hs view

file too large to diff

test/conformance-process/Generated/HospitalCapacity/Surge/Transducer.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/BehaviorSourceMap.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModel.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModelHarness.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModelTable.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/QueryContract.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModel.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModelHarness.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModelTable.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModel.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModelHarness.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModelTable.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/Orders/BehaviorContract.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Codec.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Domain.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/Orders/EventStream.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Harness.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Projection.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Transducer.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/ProjectionCatalog.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/Queue.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/QueueCodec.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/QueuePolicy.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/ReplayAudit.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModel.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModelHarness.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModelTable.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/BehaviorContract.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Codec.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Domain.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/EventStream.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Harness.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Projection.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Transducer.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/Structural/Shape/QualificationPayload.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/StructuralConformance.hs view

file too large to diff

test/conformance-projection-catalog/Generated/CatalogDemo/StructuralProjections.hs view

file too large to diff

test/conformance-publisher-runtime/Generated/HospitalCapacity/Emergency/Contract.hs view

file too large to diff

test/conformance-publisher-runtime/Generated/HospitalCapacity/HospitalPublisher/Publisher.hs view

file too large to diff

test/conformance-queue-runtime/Generated/HospitalCapacity/AcceptedTransferNeeds/ReadModel.hs view

file too large to diff

test/conformance-queue-runtime/Generated/HospitalCapacity/AcceptedTransferNeeds/ReadModelHarness.hs view

file too large to diff

test/conformance-queue-runtime/Generated/HospitalCapacity/AcceptedTransferNeeds/ReadModelTable.hs view

file too large to diff

test/conformance-queue-runtime/Generated/HospitalCapacity/ReservationWork/Queue.hs view

file too large to diff

test/conformance-queue-runtime/Generated/HospitalCapacity/ReservationWork/QueueCodec.hs view

file too large to diff

test/conformance-queue-runtime/Generated/HospitalCapacity/ReservationWork/QueuePolicy.hs view

file too large to diff

test/conformance-queue-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModel.hs view

file too large to diff

test/conformance-queue-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModelHarness.hs view

file too large to diff

test/conformance-queue-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModelTable.hs view

file too large to diff

test/conformance-queue/Generated/HospitalCapacity/AcceptedTransferNeeds/ReadModel.hs view

file too large to diff

test/conformance-queue/Generated/HospitalCapacity/AcceptedTransferNeeds/ReadModelHarness.hs view

file too large to diff

test/conformance-queue/Generated/HospitalCapacity/AcceptedTransferNeeds/ReadModelTable.hs view

file too large to diff

test/conformance-queue/Generated/HospitalCapacity/ReservationWork/Queue.hs view

file too large to diff

test/conformance-queue/Generated/HospitalCapacity/ReservationWork/QueueCodec.hs view

file too large to diff

test/conformance-queue/Generated/HospitalCapacity/ReservationWork/QueuePolicy.hs view

file too large to diff

test/conformance-queue/Generated/HospitalCapacity/TransferDecisions/ReadModel.hs view

file too large to diff

test/conformance-queue/Generated/HospitalCapacity/TransferDecisions/ReadModelHarness.hs view

file too large to diff

test/conformance-queue/Generated/HospitalCapacity/TransferDecisions/ReadModelTable.hs view

file too large to diff

test/conformance-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModel.hs view

file too large to diff

test/conformance-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModelHarness.hs view

file too large to diff

test/conformance-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModelTable.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/BehaviorSourceMap.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/HashJobs/Queue.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/HashJobs/QueueCodec.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/HashJobs/QueuePolicy.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/HashLookup/QueryContract.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/HashLookup/ReadModel.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/HashLookup/ReadModelHarness.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/HashLookup/ReadModelTable.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/HashStore/BehaviorContract.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/HashStore/Codec.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/HashStore/Domain.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/HashStore/EventStream.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/HashStore/Harness.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/HashStore/Projection.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/HashStore/Transducer.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/ProjectionCatalog.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/ReplayAudit.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/Structural/Shape/ContentHash.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/Structural/Shape/HashEnvelope.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/Structural/Shape/MaybeContentHash.hs view

file too large to diff

test/conformance-refined-base16/Generated/RefinedBase16/StructuralConformance.hs view

file too large to diff

test/conformance-replay/Generated/ReplayDivergence/BehaviorSourceMap.hs view

file too large to diff

test/conformance-replay/Generated/ReplayDivergence/Note/BehaviorContract.hs view

file too large to diff

test/conformance-replay/Generated/ReplayDivergence/Note/Codec.hs view

file too large to diff

test/conformance-replay/Generated/ReplayDivergence/Note/Domain.hs view

file too large to diff

test/conformance-replay/Generated/ReplayDivergence/Note/EventStream.hs view

file too large to diff

test/conformance-replay/Generated/ReplayDivergence/Note/Harness.hs view

file too large to diff

test/conformance-replay/Generated/ReplayDivergence/Note/Projection.hs view

file too large to diff

test/conformance-replay/Generated/ReplayDivergence/Note/Transducer.hs view

file too large to diff

test/conformance-replay/Generated/ReplayDivergence/ReplayAudit.hs view

file too large to diff

test/conformance-router-full/Generated/IncidentPaging/BehaviorSourceMap.hs view

file too large to diff

test/conformance-router-full/Generated/IncidentPaging/Page/BehaviorContract.hs view

file too large to diff

test/conformance-router-full/Generated/IncidentPaging/Page/Codec.hs view

file too large to diff

test/conformance-router-full/Generated/IncidentPaging/Page/Domain.hs view

file too large to diff

test/conformance-router-full/Generated/IncidentPaging/Page/EventStream.hs view

file too large to diff

test/conformance-router-full/Generated/IncidentPaging/Page/Harness.hs view

file too large to diff

test/conformance-router-full/Generated/IncidentPaging/Page/Projection.hs view

file too large to diff

test/conformance-router-full/Generated/IncidentPaging/Page/Transducer.hs view

file too large to diff

test/conformance-router-full/Generated/IncidentPaging/PagingRouter/Router.hs view

file too large to diff

test/conformance-router-full/Generated/IncidentPaging/PagingRouter/RouterHarness.hs view

file too large to diff

test/conformance-router-full/Generated/IncidentPaging/ReplayAudit.hs view

file too large to diff

test/conformance-router-full/Generated/IncidentPaging/ServiceOncall/ReadModel.hs view

file too large to diff

test/conformance-router-full/Generated/IncidentPaging/ServiceOncall/ReadModelHarness.hs view

file too large to diff

test/conformance-router-full/Generated/IncidentPaging/ServiceOncall/ReadModelTable.hs view

file too large to diff

test/conformance-router-runtime/Generated/IncidentPaging/BehaviorSourceMap.hs view

file too large to diff

test/conformance-router-runtime/Generated/IncidentPaging/Page/BehaviorContract.hs view

file too large to diff

test/conformance-router-runtime/Generated/IncidentPaging/Page/Codec.hs view

file too large to diff

test/conformance-router-runtime/Generated/IncidentPaging/Page/Domain.hs view

file too large to diff

test/conformance-router-runtime/Generated/IncidentPaging/Page/EventStream.hs view

file too large to diff

test/conformance-router-runtime/Generated/IncidentPaging/Page/Harness.hs view

file too large to diff

test/conformance-router-runtime/Generated/IncidentPaging/Page/Projection.hs view

file too large to diff

test/conformance-router-runtime/Generated/IncidentPaging/Page/Transducer.hs view

file too large to diff

test/conformance-router-runtime/Generated/IncidentPaging/PagingRouter/Router.hs view

file too large to diff

test/conformance-router-runtime/Generated/IncidentPaging/PagingRouter/RouterHarness.hs view

file too large to diff

test/conformance-router-runtime/Generated/IncidentPaging/ReplayAudit.hs view

file too large to diff

test/conformance-router-runtime/Generated/IncidentPaging/ServiceOncall/ReadModel.hs view

file too large to diff

test/conformance-router-runtime/Generated/IncidentPaging/ServiceOncall/ReadModelHarness.hs view

file too large to diff

test/conformance-router-runtime/Generated/IncidentPaging/ServiceOncall/ReadModelTable.hs view

file too large to diff

test/conformance-router/Generated/IncidentPaging/BehaviorSourceMap.hs view

file too large to diff

test/conformance-router/Generated/IncidentPaging/Page/BehaviorContract.hs view

file too large to diff

test/conformance-router/Generated/IncidentPaging/Page/Codec.hs view

file too large to diff

test/conformance-router/Generated/IncidentPaging/Page/Domain.hs view

file too large to diff

test/conformance-router/Generated/IncidentPaging/Page/EventStream.hs view

file too large to diff

test/conformance-router/Generated/IncidentPaging/Page/Harness.hs view

file too large to diff

test/conformance-router/Generated/IncidentPaging/Page/Projection.hs view

file too large to diff

test/conformance-router/Generated/IncidentPaging/Page/Transducer.hs view

file too large to diff

test/conformance-router/Generated/IncidentPaging/PagingRouter/Router.hs view

file too large to diff

test/conformance-router/Generated/IncidentPaging/PagingRouter/RouterHarness.hs view

file too large to diff

test/conformance-router/Generated/IncidentPaging/ReplayAudit.hs view

file too large to diff

test/conformance-router/Generated/IncidentPaging/ServiceOncall/ReadModel.hs view

file too large to diff

test/conformance-router/Generated/IncidentPaging/ServiceOncall/ReadModelHarness.hs view

file too large to diff

test/conformance-router/Generated/IncidentPaging/ServiceOncall/ReadModelTable.hs view

file too large to diff

test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/BehaviorSourceMap.hs view

file too large to diff

test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Nominals.hs view

file too large to diff

test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Nominals/Internal.hs view

file too large to diff

test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ReplayAudit.hs view

file too large to diff

test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/BehaviorContract.hs view

file too large to diff

test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Codec.hs view

file too large to diff

test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Domain.hs view

file too large to diff

test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/EventStream.hs view

file too large to diff

test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Harness.hs view

file too large to diff

test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Projection.hs view

file too large to diff

test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Transducer.hs view

file too large to diff

test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Structural/Shape/Limits.hs view

file too large to diff

test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/StructuralConformance.hs view

file too large to diff

test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/StructuralProjections.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Alpha/Generated/BehaviorContract.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Alpha/Generated/Codec.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Alpha/Generated/Domain.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Alpha/Generated/EventStream.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Alpha/Generated/Harness.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Alpha/Generated/Projection.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Alpha/Generated/Transducer.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/AlphaView/Generated/ReadModel.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/AlphaView/Generated/ReadModelHarness.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/AlphaView/Generated/ReadModelTable.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Beta/Generated/BehaviorContract.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Beta/Generated/Codec.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Beta/Generated/Domain.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Beta/Generated/EventStream.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Beta/Generated/Harness.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Beta/Generated/Projection.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Beta/Generated/Transducer.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/BetaView/Generated/ReadModel.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/BetaView/Generated/ReadModelHarness.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/BetaView/Generated/ReadModelTable.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Generated/BehaviorSourceMap.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Generated/Conformance.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Generated/Nominals.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Generated/Nominals/Internal.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Generated/ReplayAudit.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/WorkspaceProofWorkflow/Generated/WorkflowFacts.hs view

file too large to diff

test/conformance-service-package/runtime/src/Proof/WorkspaceProof/WorkspaceProofWorkflow/Generated/WorkflowRuntime.hs view

file too large to diff

test/conformance-service-package/runtime/src/keiro-dsl-conformance.workspace.workspace-proof/keiro-dsl-conformance-ledger.txt view

file too large to diff

test/conformance-service-package/runtime/src/keiro-dsl-conformance.workspace.workspace-proof/keiro-workspace-proof-conformance.cabal view

file too large to diff

test/conformance-service-package/runtime/src/keiro-dsl-conformance.workspace.workspace-proof/src/Main.hs view

file too large to diff

test/conformance-snapshot/Generated/HospitalCapacity/BehaviorSourceMap.hs view

file too large to diff

test/conformance-snapshot/Generated/HospitalCapacity/Nominals.hs view

file too large to diff

test/conformance-snapshot/Generated/HospitalCapacity/Nominals/Internal.hs view

file too large to diff

test/conformance-snapshot/Generated/HospitalCapacity/ReplayAudit.hs view

file too large to diff

test/conformance-snapshot/Generated/HospitalCapacity/Reservation/BehaviorContract.hs view

file too large to diff

test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Codec.hs view

file too large to diff

test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Domain.hs view

file too large to diff

test/conformance-snapshot/Generated/HospitalCapacity/Reservation/EventStream.hs view

file too large to diff

test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Harness.hs view

file too large to diff

test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Projection.hs view

file too large to diff

test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Transducer.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/BehaviorSourceMap.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/Nominal/Shape/Channel.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/NominalProjections.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/Nominals.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/Nominals/Internal.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/ProjectionCatalog.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/ReplayAudit.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/Structural/NominalLeaves.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/Structural/Shape/TemplateBook.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/Structural/Shape/TemplateLookupInput.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/Structural/Shape/TemplateLookupRow.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/Structural/Shape/TemplateRef.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/Structural/Shape/TemplateState.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/StructuralConformance.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/StructuralProjections.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/TemplateCatalog/BehaviorContract.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/TemplateCatalog/Codec.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/TemplateCatalog/Domain.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/TemplateCatalog/EventStream.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/TemplateCatalog/Harness.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/TemplateCatalog/Projection.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/TemplateCatalog/Transducer.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/TemplateDeliveryRouter/Router.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/TemplateDeliveryRouter/RouterHarness.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/TemplateLookup/QueryContract.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/TemplateLookup/ReadModel.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/TemplateLookup/ReadModelHarness.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/TemplateLookup/ReadModelTable.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/TemplateWork/Queue.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/TemplateWork/QueueCodec.hs view

file too large to diff

test/conformance-structural-nominals/Generated/StructuralNominalLeaves/TemplateWork/QueuePolicy.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/BehaviorSourceMap.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/LabelJobs/Queue.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/LabelJobs/QueueCodec.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/LabelJobs/QueuePolicy.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/LabelLookup/QueryContract.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/LabelLookup/ReadModel.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/LabelLookup/ReadModelHarness.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/LabelLookup/ReadModelTable.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/LabelStore/BehaviorContract.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/LabelStore/Codec.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/LabelStore/Domain.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/LabelStore/EventStream.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/LabelStore/Harness.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/LabelStore/Projection.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/LabelStore/Transducer.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/ProjectionCatalog.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/ReplayAudit.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/Structural/Shape/LabelEnvelope.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/Structural/Shape/MaybeTextLabels.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/Structural/Shape/TextLabels.hs view

file too large to diff

test/conformance-structural-text-sets/Generated/StructuralTextSets/StructuralConformance.hs view

file too large to diff

test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/BehaviorContract.hs view

file too large to diff

test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Codec.hs view

file too large to diff

test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Domain.hs view

file too large to diff

test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/EventStream.hs view

file too large to diff

test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Harness.hs view

file too large to diff

test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Projection.hs view

file too large to diff

test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Transducer.hs view

file too large to diff

test/conformance-structural/Generated/StructuralConformance/BehaviorSourceMap.hs view

file too large to diff

test/conformance-structural/Generated/StructuralConformance/ReplayAudit.hs view

file too large to diff

test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactInfo.hs view

file too large to diff

test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactKind.hs view

file too large to diff

test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactLocation.hs view

file too large to diff

test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactMetadata.hs view

file too large to diff

test/conformance-structural/Generated/StructuralConformance/StructuralConformance.hs view

file too large to diff

test/conformance-structural/Generated/StructuralConformance/StructuralProjections.hs view

file too large to diff

test/conformance-v2/Generated/HospitalCapacity/BehaviorSourceMap.hs view

file too large to diff

test/conformance-v2/Generated/HospitalCapacity/Nominals.hs view

file too large to diff

test/conformance-v2/Generated/HospitalCapacity/Nominals/Internal.hs view

file too large to diff

test/conformance-v2/Generated/HospitalCapacity/ReplayAudit.hs view

file too large to diff

test/conformance-v2/Generated/HospitalCapacity/Reservation/BehaviorContract.hs view

file too large to diff

test/conformance-v2/Generated/HospitalCapacity/Reservation/Codec.hs view

file too large to diff

test/conformance-v2/Generated/HospitalCapacity/Reservation/Domain.hs view

file too large to diff

test/conformance-v2/Generated/HospitalCapacity/Reservation/EventStream.hs view

file too large to diff

test/conformance-v2/Generated/HospitalCapacity/Reservation/Harness.hs view

file too large to diff

test/conformance-v2/Generated/HospitalCapacity/Reservation/Projection.hs view

file too large to diff

test/conformance-v2/Generated/HospitalCapacity/Reservation/Transducer.hs view

file too large to diff

test/conformance-workflow-full/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowFacts.hs view

file too large to diff

test/conformance-workflow-full/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowRuntime.hs view

file too large to diff

test/conformance-workflow-runtime/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowFacts.hs view

file too large to diff

test/conformance-workflow-runtime/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowRuntime.hs view

file too large to diff

test/conformance-workflow/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowFacts.hs view

file too large to diff

test/conformance-workflow/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowRuntime.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/BehaviorSourceMap.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Nominals.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Nominals/Internal.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/BehaviorContract.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Codec.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Domain.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/EventStream.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Harness.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Projection.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Transducer.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/BehaviorContract.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Codec.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Domain.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/EventStream.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Harness.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Projection.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Transducer.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ReplayAudit.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Structural/NominalLeaves.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Structural/Shape/ArtifactClaim.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Structural/Shape/ProjectClaim.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/StructuralConformance.hs view

file too large to diff

test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/StructuralProjections.hs view

file too large to diff

test/conformance/Generated/HospitalCapacity/BehaviorSourceMap.hs view

file too large to diff

test/conformance/Generated/HospitalCapacity/Nominals.hs view

file too large to diff

test/conformance/Generated/HospitalCapacity/Nominals/Internal.hs view

file too large to diff

test/conformance/Generated/HospitalCapacity/ReplayAudit.hs view

file too large to diff

test/conformance/Generated/HospitalCapacity/Reservation/BehaviorContract.hs view

file too large to diff

test/conformance/Generated/HospitalCapacity/Reservation/Codec.hs view

file too large to diff

test/conformance/Generated/HospitalCapacity/Reservation/Domain.hs view

file too large to diff

test/conformance/Generated/HospitalCapacity/Reservation/EventStream.hs view

file too large to diff

test/conformance/Generated/HospitalCapacity/Reservation/Harness.hs view

file too large to diff

test/conformance/Generated/HospitalCapacity/Reservation/Projection.hs view

file too large to diff

test/conformance/Generated/HospitalCapacity/Reservation/Transducer.hs view

file too large to diff