packages feed

keiro-dsl 0.12.0.0 → 0.13.0.0

raw patch · 301 files changed

+312/−303 lines, 301 filesdep ~keiro-coredep ~kiroku-storePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: keiro-core, kiroku-store

API changes (from Hackage documentation)

Files

CHANGELOG.md view
@@ -6,6 +6,15 @@  ## Unreleased +## 0.13.0.0 — 2026-08-17++### Breaking Changes++- Requires `kiroku-store >=0.8 && <0.9`, replacing the previous `>=0.7 && <0.8`+  bound, so that generated service runtimes resolve against the same Kiroku+  release as the rest of the package set.+- Requires the lockstep `keiro-core ^>=0.13.0.0`.+ ## 0.12.0.0 — 2026-08-14  ### Breaking Changes
keiro-dsl.cabal view
@@ -1,6 +1,6 @@ cabal-version:   3.0 name:            keiro-dsl-version:         0.12.0.0+version:         0.13.0.0 synopsis:        Typed specification toolchain for keiro services description:   keiro-dsl is the toolchain over a typed `.keiro` specification of a keiro@@ -152,7 +152,7 @@     , directory           >=1.3       && <1.4     , filepath            >=1.4       && <1.6     , keiki               >=0.9       && <0.10-    , keiro-core          ^>=0.12.0.0+    , keiro-core          ^>=0.13.0.0     , megaparsec          >=9.6       && <9.9     , mmzk-typeid         >=0.7       && <0.8     , parser-combinators  >=1.3       && <1.4@@ -928,7 +928,7 @@     , effectful-core     , hasql-transaction     , keiro-    , kiroku-store       >=0.7  && <0.8+    , kiroku-store       >=0.8  && <0.9     , text               >=2.1  && <2.2  -- EP-4 publisher runtime conformance: the scaffolded Publisher config compiled@@ -1288,7 +1288,7 @@     , keiro     , keiro-dsl     , keiro-test-support-    , kiroku-store        >=0.7      && <0.8+    , kiroku-store        >=0.8      && <0.9     , shibuya-core        ^>=0.9.0.0     , text                >=2.1      && <2.2     , time                >=1.12     && <1.15
test/conformance-aggregate-scalars/Generated/AggregateScalars/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context aggregate-scalars behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context aggregate-scalars replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.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/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit.+-- @generated by keiro-dsl 0.13.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,7 +1,7 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit.+-- @generated by keiro-dsl 0.13.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,7 +1,7 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ScalarLedger; do not edit. module Generated.AggregateScalars.ScalarLedger.Transducer   ( scalarLedgerTransducer   , scalarLedgerFoldFingerprint
test/conformance-behavior-complete/Generated/BehaviorComplete/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context behavior-complete behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit. module Generated.BehaviorComplete.Journey.BehaviorContract   ( BehaviorKey (..)   , ObligationKind (..)
test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit.+-- @generated by keiro-dsl 0.13.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,7 +1,7 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit.+-- @generated by keiro-dsl 0.13.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,7 +1,7 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Journey; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context behavior-complete generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context behavior-complete generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context behavior-complete replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from mapped structural StartPayload; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context behavior-complete structural conformance; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context behavior-complete mapped structural facade; do not edit.+-- @generated by keiro-dsl 0.13.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. -- Int, Natural, and UTCTime belong to Keiki's ordered subset. module Generated.BehaviorComplete.StructuralProjections
test/conformance-coldstart/Generated/Billing/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context billing behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context billing generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context billing generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context billing replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.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/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit.+-- @generated by keiro-dsl 0.13.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,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit.+-- @generated by keiro-dsl 0.13.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
@@ -2,7 +2,7 @@ {-# LANGUAGE OverloadedLabels #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Subscription; do not edit. module Generated.Billing.Subscription.Transducer   ( subscriptionTransducer   , subscriptionFoldFingerprint
test/conformance-contract-v1-compat/Generated/HospitalCapacity/Emergency/Contract.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 1) from contract emergency; do not edit.+-- @generated by keiro-dsl 0.13.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,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from contract emergency; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from context transfer-routing behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit. module Generated.TransferRouting.Hospital.BehaviorContract   ( BehaviorKey (..)   , ObligationKind (..)
test/conformance-declarative-router/Generated/TransferRouting/Hospital/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.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,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.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,7 +1,7 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from readmodel hospital_load; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from readmodel hospital_load; do not edit.+-- @generated by keiro-dsl 0.13.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,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel hospital_load; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from readmodel hospital_load; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from router HospitalTransferRouter; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from router HospitalTransferRouter; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from projection-catalog transfer-routing; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from context transfer-routing replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from mapped structural HospitalLoadRow; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from mapped structural TransferRouteInput; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from context transfer-routing structural conformance; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from context transfer-routing mapped structural facade; do not edit.+-- @generated by keiro-dsl 0.13.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. -- Int, Natural, and UTCTime belong to Keiki's ordered subset. module Generated.TransferRouting.StructuralProjections
test/conformance-dispatch-full/Generated/HospitalCapacity/ReservationWork/Queue.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit. module Generated.HospitalCapacity.ReservationWork.QueuePolicy   ( ReservationWorkOutcome (..)   , retryPolicy, jobOutcomeFor
test/conformance-domain-outcomes/Generated/DomainOutcomes/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from context domain-outcomes behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from context domain-outcomes generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from context domain-outcomes replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit. module Generated.DomainOutcomes.Reservation.BehaviorContract   ( BehaviorKey (..)   , ObligationKind (..)
test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.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,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.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,7 +1,7 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from aggregate Reservation; do not edit. module Generated.DomainOutcomes.Reservation.Transducer   ( reservationTransducer   , reservationFoldFingerprint
test/conformance-id-domain-migration/Generated/IdDomainMigration/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 3) from context id-domain-migration behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 3) from context id-domain-migration generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 3) from context id-domain-migration generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.13.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/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 3) from aggregate OrderBook; do not edit.+-- @generated by keiro-dsl 0.13.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,7 +1,7 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 3) from aggregate OrderBook; do not edit.+-- @generated by keiro-dsl 0.13.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-import-planning/Generated/ImportPlanningCollisions/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context import-planning-collisions behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit. module Generated.ImportPlanningCollisions.CollisionLedger.BehaviorContract   ( BehaviorKey (..)   , ObligationKind (..)
test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit.+-- @generated by keiro-dsl 0.13.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,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit.+-- @generated by keiro-dsl 0.13.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,7 +1,7 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate CollisionLedger; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context import-planning-collisions nominal scalar projection facade; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context import-planning-collisions replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from mapped structural Details; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context import-planning-collisions structural conformance; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context import-planning-collisions mapped structural facade; do not edit.+-- @generated by keiro-dsl 0.13.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. -- Int, Natural, and UTCTime belong to Keiki's ordered subset. module Generated.ImportPlanningCollisions.StructuralProjections
test/conformance-intake-full/Generated/HospitalCapacity/IncidentInbox/Inbox.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from intake incidentInbox; do not edit.+-- @generated by keiro-dsl 0.13.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/IncidentInbox/Inbox.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from intake incidentInbox; do not edit.+-- @generated by keiro-dsl 0.13.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,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from workqueue mapped_jobs; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from workqueue mapped_jobs; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from workqueue mapped_jobs; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from mapped structural JobMetadata; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from mapped structural JobPayload; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from context mapped-queue structural conformance; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from context mapped-queue mapped structural facade; do not edit.+-- @generated by keiro-dsl 0.13.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. -- Int, Natural, and UTCTime belong to Keiki's ordered subset. module Generated.MappedQueue.StructuralProjections
test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/QueryContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel account_summary; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from readmodel account_summary; do not edit.+-- @generated by keiro-dsl 0.13.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,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel account_summary; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from readmodel account_summary; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from projection-catalog mapped-readmodel; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from mapped structural AccountLookup; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from mapped structural AccountProfile; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from mapped structural AccountSummary; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from mapped structural TenantKey; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from mapped structural UnusedFilter; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from context mapped-readmodel structural conformance; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 5) from context mapped-readmodel mapped structural facade; do not edit.+-- @generated by keiro-dsl 0.13.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. -- Int, Natural, and UTCTime belong to Keiki's ordered subset. module Generated.MappedReadmodel.StructuralProjections
test/conformance-newsurface/Generated/TransferRouting/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context transfer-routing behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.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/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.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,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.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,7 +1,7 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.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,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from readmodel hospital_load; do not edit.+-- @generated by keiro-dsl 0.13.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,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from readmodel hospital_load; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from readmodel hospital_load; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from router HospitalTransferRouter; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from router HospitalTransferRouter; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context transfer-routing replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.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-scalars/Generated/NominalScalars/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context nominal-scalars behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from bound nominal enum representation OrderStatus; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit. module Generated.NominalScalars.NominalLedger.BehaviorContract   ( BehaviorKey (..)   , ObligationKind (..)
test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit.+-- @generated by keiro-dsl 0.13.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,7 +1,7 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit.+-- @generated by keiro-dsl 0.13.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
@@ -2,7 +2,7 @@ {-# LANGUAGE OverloadedLabels #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate NominalLedger; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context nominal-scalars nominal scalar projection facade; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context nominal-scalars replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context surge-demo behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.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/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.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,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.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/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.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,7 +1,7 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context surge-demo generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context surge-demo generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context surge-demo replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.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/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.13.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,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.13.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/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.13.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,7 +1,7 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from process SurgeFlow; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from process SurgeFlow; do not edit. module Generated.SurgeDemo.SurgeFlow.Process   ( surgeFlowProcessName   , surgeFlowCategory
test/conformance-process-runtime/Generated/HospitalCapacity/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context hospital-capacity behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.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/HospitalSurge/Process.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from process HospitalSurge; do not edit.+-- @generated by keiro-dsl 0.13.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/Nominals.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.13.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/Surge/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.13.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,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.13.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.12.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.13.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/Transducer.hs view
@@ -1,7 +1,7 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Surge; do not edit. module Generated.HospitalCapacity.Surge.Transducer   ( surgeTransducer   , surgeFoldFingerprint
test/conformance-process/Generated/HospitalCapacity/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context hospital-capacity behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.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/HospitalSurge/ProcessHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from process HospitalSurge; do not edit.+-- @generated by keiro-dsl 0.13.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-projection-catalog/Generated/CatalogDemo/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from context catalog-demo behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from context catalog-demo behavior source map; do not edit. module Generated.CatalogDemo.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModel.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel catalogAudit; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from readmodel catalogAudit; do not edit. module Generated.CatalogDemo.CatalogAudit.ReadModel   ( catalogAuditReadModel   , catalogAuditQualifiedTable
test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModelHarness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel catalogAudit; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from readmodel catalogAudit; do not edit. module Generated.CatalogDemo.CatalogAudit.ReadModelHarness (readModelFacts, readModelFactResults, runReadModelFacts, catalogFactsAgainst) where  import Generated.CatalogDemo.CatalogAudit.ReadModel (catalogAuditReadModel)
test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModelTable.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel catalogAudit; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from readmodel catalogAudit; do not edit. module Generated.CatalogDemo.CatalogAudit.ReadModelTable (catalogAuditQualifiedTable) where  import Data.Text (Text)
test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/QueryContract.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel order_inline; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from readmodel order_inline; do not edit. module Generated.CatalogDemo.OrderInline.QueryContract   ( OrderInlineQueryInput   , OrderInlineQueryResult
test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModel.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel order_inline; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from readmodel order_inline; do not edit. module Generated.CatalogDemo.OrderInline.ReadModel   ( orderInlineReadModel   , orderInlineQualifiedTable
test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModelHarness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel order_inline; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from readmodel order_inline; do not edit. module Generated.CatalogDemo.OrderInline.ReadModelHarness (readModelFacts, readModelFactResults, runReadModelFacts, catalogFactsAgainst) where  import Generated.CatalogDemo.OrderInline.ReadModel (orderInlineReadModel)
test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModelTable.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel order_inline; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from readmodel order_inline; do not edit. module Generated.CatalogDemo.OrderInline.ReadModelTable (orderInlineQualifiedTable) where  import Data.Text (Text)
test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModel.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel order_totals_lookup; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from readmodel order_totals_lookup; do not edit. module Generated.CatalogDemo.OrderTotalsLookup.ReadModel   ( orderTotalsLookupReadModel   , orderTotalsLookupQualifiedTable
test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModelHarness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel order_totals_lookup; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from readmodel order_totals_lookup; do not edit. module Generated.CatalogDemo.OrderTotalsLookup.ReadModelHarness (readModelFacts, readModelFactResults, runReadModelFacts, catalogFactsAgainst) where  import Generated.CatalogDemo.OrderTotalsLookup.ReadModel (orderTotalsLookupReadModel)
test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModelTable.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel order_totals_lookup; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from readmodel order_totals_lookup; do not edit. module Generated.CatalogDemo.OrderTotalsLookup.ReadModelTable (orderTotalsLookupQualifiedTable) where  import Data.Text (Text)
test/conformance-projection-catalog/Generated/CatalogDemo/Orders/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Orders; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from aggregate Orders; do not edit. module Generated.CatalogDemo.Orders.BehaviorContract   ( BehaviorKey (..)   , ObligationKind (..)
test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Orders; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from aggregate Orders; do not edit. module Generated.CatalogDemo.Orders.Codec (     ordersCodec,     parseOrdersEvent,
test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Domain.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Orders; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from aggregate Orders; do not edit. module Generated.CatalogDemo.Orders.Domain where  import Data.Proxy (Proxy (..))
test/conformance-projection-catalog/Generated/CatalogDemo/Orders/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Orders; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from aggregate Orders; do not edit. module Generated.CatalogDemo.Orders.EventStream   ( ordersCategory   , ordersCommandCategory
test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Orders; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from aggregate Orders; do not edit. module Generated.CatalogDemo.Orders.Harness (harnessAssertions) where  import Generated.CatalogDemo.Orders.Domain
test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Orders; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from aggregate Orders; do not edit. module Generated.CatalogDemo.Orders.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Transducer.hs view
@@ -1,7 +1,7 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Orders; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from aggregate Orders; do not edit. module Generated.CatalogDemo.Orders.Transducer   ( ordersTransducer   , ordersFoldFingerprint
test/conformance-projection-catalog/Generated/CatalogDemo/ProjectionCatalog.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from projection-catalog catalog-demo; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from projection-catalog catalog-demo; do not edit. {-# LANGUAGE OverloadedStrings #-} module Generated.CatalogDemo.ProjectionCatalog   ( projectionCatalog
test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/Queue.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from workqueue qualification_jobs; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from workqueue qualification_jobs; do not edit. module Generated.CatalogDemo.QualificationJobs.Queue   ( QualificationJob (..)   , encodeQualificationJob
test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/QueueCodec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from workqueue qualification_jobs; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from workqueue qualification_jobs; do not edit. -- | Versioned job payload envelope: @{\"v\",\"t\",\"data\"}@. -- -- Deploy workers before producers when raising its schema version. Do not
test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/QueuePolicy.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from workqueue qualification_jobs; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from workqueue qualification_jobs; do not edit. module Generated.CatalogDemo.QualificationJobs.QueuePolicy   ( QualificationJobsOutcome (..)   , retryPolicy, jobOutcomeFor
test/conformance-projection-catalog/Generated/CatalogDemo/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from context catalog-demo replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from context catalog-demo replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModel.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel shipmentLookup; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from readmodel shipmentLookup; do not edit. module Generated.CatalogDemo.ShipmentLookup.ReadModel   ( shipmentLookupReadModel   , shipmentLookupQualifiedTable
test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModelHarness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel shipmentLookup; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from readmodel shipmentLookup; do not edit. module Generated.CatalogDemo.ShipmentLookup.ReadModelHarness (readModelFacts, readModelFactResults, runReadModelFacts, catalogFactsAgainst) where  import Generated.CatalogDemo.ShipmentLookup.ReadModel (shipmentLookupReadModel)
test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModelTable.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel shipmentLookup; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from readmodel shipmentLookup; do not edit. module Generated.CatalogDemo.ShipmentLookup.ReadModelTable (shipmentLookupQualifiedTable) where  import Data.Text (Text)
test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Shipments; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from aggregate Shipments; do not edit. module Generated.CatalogDemo.Shipments.BehaviorContract   ( BehaviorKey (..)   , ObligationKind (..)
test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Shipments; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from aggregate Shipments; do not edit. module Generated.CatalogDemo.Shipments.Codec (     shipmentsCodec,     parseShipmentsEvent,
test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Domain.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Shipments; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from aggregate Shipments; do not edit. module Generated.CatalogDemo.Shipments.Domain where  import Data.Proxy (Proxy (..))
test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Shipments; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from aggregate Shipments; do not edit. module Generated.CatalogDemo.Shipments.EventStream   ( shipmentsCategory   , shipmentsCommandCategory
test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Shipments; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from aggregate Shipments; do not edit. module Generated.CatalogDemo.Shipments.Harness (harnessAssertions) where  import Generated.CatalogDemo.Shipments.Domain
test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Shipments; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from aggregate Shipments; do not edit. module Generated.CatalogDemo.Shipments.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Transducer.hs view
@@ -1,7 +1,7 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from aggregate Shipments; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from aggregate Shipments; do not edit. module Generated.CatalogDemo.Shipments.Transducer   ( shipmentsTransducer   , shipmentsFoldFingerprint
test/conformance-projection-catalog/Generated/CatalogDemo/Structural/Shape/QualificationPayload.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from mapped structural QualificationPayload; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from mapped structural QualificationPayload; do not edit. module Generated.CatalogDemo.Structural.Shape.QualificationPayload (QualificationPayloadShape (..)) where  import Data.Text (Text)
test/conformance-projection-catalog/Generated/CatalogDemo/StructuralConformance.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from context catalog-demo structural conformance; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from context catalog-demo structural conformance; do not edit. module Generated.CatalogDemo.StructuralConformance   ( structuralConformanceAssertions   ) where
test/conformance-projection-catalog/Generated/CatalogDemo/StructuralProjections.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from context catalog-demo mapped structural facade; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from context catalog-demo mapped structural facade; do not edit. -- Equality witnesses are emitted for Text, Int, Bool, Natural, and UTCTime. -- Int, Natural, and UTCTime belong to Keiki's ordered subset. module Generated.CatalogDemo.StructuralProjections
test/conformance-publisher-runtime/Generated/HospitalCapacity/HospitalPublisher/Publisher.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from publisher hospitalPublisher; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from publisher hospitalPublisher; do not edit. module Generated.HospitalCapacity.HospitalPublisher.Publisher   ( publisherOrdering   , publisherBackoff
test/conformance-queue-runtime/Generated/HospitalCapacity/ReservationWork/Queue.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit. module Generated.HospitalCapacity.ReservationWork.Queue   ( ReservationWorkItem (..)   , encodeReservationWorkItem
test/conformance-queue-runtime/Generated/HospitalCapacity/ReservationWork/QueueCodec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit.+-- @generated by keiro-dsl 0.13.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-queue-runtime/Generated/HospitalCapacity/ReservationWork/QueuePolicy.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit. module Generated.HospitalCapacity.ReservationWork.QueuePolicy   ( ReservationWorkOutcome (..)   , retryPolicy, jobOutcomeFor
test/conformance-queue/Generated/HospitalCapacity/ReservationWork/Queue.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit. module Generated.HospitalCapacity.ReservationWork.Queue   ( ReservationWorkItem (..)   , encodeReservationWorkItem
test/conformance-queue/Generated/HospitalCapacity/ReservationWork/QueueCodec.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from workqueue reservation_work; do not edit.+-- @generated by keiro-dsl 0.13.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-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModel.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from readmodel transfer_decisions; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from readmodel transfer_decisions; do not edit. module Generated.HospitalCapacity.TransferDecisions.ReadModel   ( transferDecisionsReadModel   , transferDecisionsQualifiedTable
test/conformance-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModelHarness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from readmodel transfer_decisions; do not edit.+-- @generated by keiro-dsl 0.13.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-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModelTable.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from readmodel transfer_decisions; do not edit.+-- @generated by keiro-dsl 0.13.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-replay/Generated/ReplayDivergence/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context replay-divergence behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context replay-divergence behavior source map; do not edit. module Generated.ReplayDivergence.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-replay/Generated/ReplayDivergence/Note/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Note; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Note; do not edit. module Generated.ReplayDivergence.Note.Codec (     noteCodec,     parseNoteEvent,
test/conformance-replay/Generated/ReplayDivergence/Note/Domain.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Note; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Note; do not edit. module Generated.ReplayDivergence.Note.Domain where  import Data.Proxy (Proxy (..))
test/conformance-replay/Generated/ReplayDivergence/Note/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Note; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Note; do not edit. module Generated.ReplayDivergence.Note.EventStream   ( noteCategory   , noteCommandCategory
test/conformance-replay/Generated/ReplayDivergence/Note/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Note; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Note; do not edit. module Generated.ReplayDivergence.Note.Harness (harnessAssertions) where  import Generated.ReplayDivergence.Note.Domain
test/conformance-replay/Generated/ReplayDivergence/Note/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Note; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Note; do not edit. module Generated.ReplayDivergence.Note.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-replay/Generated/ReplayDivergence/Note/Transducer.hs view
@@ -1,7 +1,7 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Note; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Note; do not edit. module Generated.ReplayDivergence.Note.Transducer   ( noteTransducer   , noteFoldFingerprint
test/conformance-replay/Generated/ReplayDivergence/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context replay-divergence replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context replay-divergence replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-router-full/Generated/IncidentPaging/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context incident-paging behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context incident-paging behavior source map; do not edit. module Generated.IncidentPaging.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-router-full/Generated/IncidentPaging/Page/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Page; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Page; do not edit. module Generated.IncidentPaging.Page.Codec (     pageCodec,     parsePageEvent,
test/conformance-router-full/Generated/IncidentPaging/Page/Domain.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Page; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Page; do not edit. module Generated.IncidentPaging.Page.Domain where  import Data.Text (Text)
test/conformance-router-full/Generated/IncidentPaging/Page/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Page; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Page; do not edit. module Generated.IncidentPaging.Page.EventStream   ( pageCategory   , pageCommandCategory
test/conformance-router-full/Generated/IncidentPaging/Page/Transducer.hs view
@@ -1,7 +1,7 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Page; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Page; do not edit. module Generated.IncidentPaging.Page.Transducer   ( pageTransducer   , pageFoldFingerprint
test/conformance-router-full/Generated/IncidentPaging/PagingRouter/Router.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from router PagingRouter; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from router PagingRouter; do not edit. module Generated.IncidentPaging.PagingRouter.Router   ( pagingRouterName   , pagingRouterWorkerOptions
test/conformance-router-full/Generated/IncidentPaging/PagingRouter/RouterHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from router PagingRouter; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from router PagingRouter; do not edit. module Generated.IncidentPaging.PagingRouter.RouterHarness (routerHarnessValues) where  routerHarnessValues :: [(String, String)]
test/conformance-router-full/Generated/IncidentPaging/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context incident-paging replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context incident-paging replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-router-runtime/Generated/IncidentPaging/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context incident-paging behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context incident-paging behavior source map; do not edit. module Generated.IncidentPaging.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-router-runtime/Generated/IncidentPaging/PagingRouter/Router.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from router PagingRouter; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from router PagingRouter; do not edit. module Generated.IncidentPaging.PagingRouter.Router   ( pagingRouterName   , pagingRouterWorkerOptions
test/conformance-router-runtime/Generated/IncidentPaging/PagingRouter/RouterHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from router PagingRouter; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from router PagingRouter; do not edit. module Generated.IncidentPaging.PagingRouter.RouterHarness (routerHarnessValues) where  routerHarnessValues :: [(String, String)]
test/conformance-router/Generated/IncidentPaging/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context incident-paging behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context incident-paging behavior source map; do not edit. module Generated.IncidentPaging.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-router/Generated/IncidentPaging/PagingRouter/RouterHarness.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from router PagingRouter; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from router PagingRouter; do not edit. module Generated.IncidentPaging.PagingRouter.RouterHarness (routerHarnessValues) where  routerHarnessValues :: [(String, String)]
test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context aggregate-scalar-expressions behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context aggregate-scalar-expressions behavior source map; do not edit. module Generated.AggregateScalarExpressions.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Nominals.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context aggregate-scalar-expressions generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context aggregate-scalar-expressions generated nominal declarations; do not edit. module Generated.AggregateScalarExpressions.Nominals   ( AccountMode (..)   , accountModeText
test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context aggregate-scalar-expressions generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context aggregate-scalar-expressions generated nominal ID internals; do not edit. module Generated.AggregateScalarExpressions.Nominals.Internal   ( RequestId   , parseRequestId
test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context aggregate-scalar-expressions replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context aggregate-scalar-expressions replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ScalarAccount; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ScalarAccount; do not edit. module Generated.AggregateScalarExpressions.ScalarAccount.BehaviorContract   ( BehaviorKey (..)   , ObligationKind (..)
test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ScalarAccount; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ScalarAccount; do not edit. module Generated.AggregateScalarExpressions.ScalarAccount.Codec (     scalarAccountCodec,     parseScalarAccountEvent,
test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Domain.hs view
@@ -1,7 +1,7 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ScalarAccount; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ScalarAccount; do not edit. module Generated.AggregateScalarExpressions.ScalarAccount.Domain where  import Data.Aeson (FromJSON, ToJSON)
test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ScalarAccount; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ScalarAccount; do not edit. module Generated.AggregateScalarExpressions.ScalarAccount.EventStream   ( scalarAccountCategory   , scalarAccountCommandCategory
test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ScalarAccount; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ScalarAccount; do not edit. module Generated.AggregateScalarExpressions.ScalarAccount.Harness (harnessAssertions) where  import Generated.AggregateScalarExpressions.ScalarAccount.Domain
test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ScalarAccount; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ScalarAccount; do not edit. module Generated.AggregateScalarExpressions.ScalarAccount.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Transducer.hs view
@@ -2,7 +2,7 @@ {-# LANGUAGE OverloadedLabels #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ScalarAccount; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ScalarAccount; do not edit. module Generated.AggregateScalarExpressions.ScalarAccount.Transducer   ( scalarAccountTransducer   , scalarAccountFoldFingerprint
test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Structural/Shape/Limits.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from mapped structural Limits; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from mapped structural Limits; do not edit. module Generated.AggregateScalarExpressions.Structural.Shape.Limits (LimitsShape (..)) where  import GHC.Generics (Generic)
test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/StructuralConformance.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context aggregate-scalar-expressions structural conformance; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context aggregate-scalar-expressions structural conformance; do not edit. module Generated.AggregateScalarExpressions.StructuralConformance   ( structuralConformanceAssertions   ) where
test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/StructuralProjections.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context aggregate-scalar-expressions mapped structural facade; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context aggregate-scalar-expressions mapped structural facade; do not edit. -- Equality witnesses are emitted for Text, Int, Bool, Natural, and UTCTime. -- Int, Natural, and UTCTime belong to Keiki's ordered subset. module Generated.AggregateScalarExpressions.StructuralProjections
test/conformance-snapshot/Generated/HospitalCapacity/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context hospital-capacity behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context hospital-capacity behavior source map; do not edit. module Generated.HospitalCapacity.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-snapshot/Generated/HospitalCapacity/Nominals.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal declarations; do not edit. module Generated.HospitalCapacity.Nominals   ( BedType (..)   , bedTypeText
test/conformance-snapshot/Generated/HospitalCapacity/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.13.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-snapshot/Generated/HospitalCapacity/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context hospital-capacity replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.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-snapshot/Generated/HospitalCapacity/Reservation/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit. module Generated.HospitalCapacity.Reservation.Codec (     reservationCodec,     parseReservationEvent,
test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Domain.hs view
@@ -1,7 +1,7 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit. module Generated.HospitalCapacity.Reservation.Domain where  import Data.Aeson (FromJSON, ToJSON)
test/conformance-snapshot/Generated/HospitalCapacity/Reservation/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit. module Generated.HospitalCapacity.Reservation.EventStream   ( reservationCategory   , reservationCommandCategory
test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Transducer.hs view
@@ -2,7 +2,7 @@ {-# LANGUAGE OverloadedLabels #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit. module Generated.HospitalCapacity.Reservation.Transducer   ( reservationTransducer   , reservationFoldFingerprint
test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ArtifactCatalog; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ArtifactCatalog; do not edit. module Generated.StructuralConformance.ArtifactCatalog.BehaviorContract   ( BehaviorKey (..)   , ObligationKind (..)
test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ArtifactCatalog; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ArtifactCatalog; do not edit. module Generated.StructuralConformance.ArtifactCatalog.Codec (     artifactCatalogCodec,     parseArtifactCatalogEvent,
test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Domain.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ArtifactCatalog; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ArtifactCatalog; do not edit. module Generated.StructuralConformance.ArtifactCatalog.Domain where  import Data.Proxy (Proxy (..))
test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ArtifactCatalog; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ArtifactCatalog; do not edit. module Generated.StructuralConformance.ArtifactCatalog.EventStream   ( artifactCatalogCategory   , artifactCatalogCommandCategory
test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ArtifactCatalog; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ArtifactCatalog; do not edit. module Generated.StructuralConformance.ArtifactCatalog.Harness (harnessAssertions) where  import Generated.StructuralConformance.ArtifactCatalog.Domain
test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ArtifactCatalog; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ArtifactCatalog; do not edit. module Generated.StructuralConformance.ArtifactCatalog.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Transducer.hs view
@@ -1,7 +1,7 @@ {-# LANGUAGE BlockArguments #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ArtifactCatalog; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ArtifactCatalog; do not edit. module Generated.StructuralConformance.ArtifactCatalog.Transducer   ( artifactCatalogTransducer   , artifactCatalogFoldFingerprint
test/conformance-structural/Generated/StructuralConformance/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context structural-conformance behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context structural-conformance behavior source map; do not edit. module Generated.StructuralConformance.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-structural/Generated/StructuralConformance/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context structural-conformance replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context structural-conformance replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactInfo.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from mapped structural ArtifactInfo; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from mapped structural ArtifactInfo; do not edit. module Generated.StructuralConformance.Structural.Shape.ArtifactInfo (ArtifactInfoShape (..)) where  import Data.Text (Text)
test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactKind.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from mapped structural ArtifactKind; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from mapped structural ArtifactKind; do not edit. module Generated.StructuralConformance.Structural.Shape.ArtifactKind (ArtifactKindShape (..)) where  import GHC.Generics (Generic)
test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactLocation.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from mapped structural ArtifactLocation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from mapped structural ArtifactLocation; do not edit. module Generated.StructuralConformance.Structural.Shape.ArtifactLocation (ArtifactLocationShape (..)) where  import Data.Text (Text)
test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactMetadata.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from mapped structural ArtifactMetadata; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from mapped structural ArtifactMetadata; do not edit. module Generated.StructuralConformance.Structural.Shape.ArtifactMetadata (ArtifactMetadataShape (..)) where  import Data.Text (Text)
test/conformance-structural/Generated/StructuralConformance/StructuralConformance.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context structural-conformance structural conformance; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context structural-conformance structural conformance; do not edit. module Generated.StructuralConformance.StructuralConformance   ( structuralConformanceAssertions   ) where
test/conformance-structural/Generated/StructuralConformance/StructuralProjections.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context structural-conformance mapped structural facade; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context structural-conformance mapped structural facade; do not edit. -- Equality witnesses are emitted for Text, Int, Bool, Natural, and UTCTime. -- Int, Natural, and UTCTime belong to Keiki's ordered subset. module Generated.StructuralConformance.StructuralProjections
test/conformance-v2/Generated/HospitalCapacity/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context hospital-capacity behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context hospital-capacity behavior source map; do not edit. module Generated.HospitalCapacity.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-v2/Generated/HospitalCapacity/Nominals.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal declarations; do not edit. module Generated.HospitalCapacity.Nominals   ( BedType (..)   , bedTypeText
test/conformance-v2/Generated/HospitalCapacity/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.13.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-v2/Generated/HospitalCapacity/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context hospital-capacity replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.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-v2/Generated/HospitalCapacity/Reservation/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit. module Generated.HospitalCapacity.Reservation.Codec (     reservationCodec,     parseReservationEvent,
test/conformance-v2/Generated/HospitalCapacity/Reservation/Domain.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit. module Generated.HospitalCapacity.Reservation.Domain where  import Data.Proxy (Proxy (..))
test/conformance-v2/Generated/HospitalCapacity/Reservation/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit. module Generated.HospitalCapacity.Reservation.EventStream   ( reservationCategory   , reservationCommandCategory
test/conformance-v2/Generated/HospitalCapacity/Reservation/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit. module Generated.HospitalCapacity.Reservation.Harness (harnessAssertions) where  import Generated.HospitalCapacity.Reservation.Domain
test/conformance-v2/Generated/HospitalCapacity/Reservation/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit. module Generated.HospitalCapacity.Reservation.Projection   ( transferDecisionsProjection   , transferDecisionsStatusFor
test/conformance-v2/Generated/HospitalCapacity/Reservation/Transducer.hs view
@@ -2,7 +2,7 @@ {-# LANGUAGE OverloadedLabels #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit. module Generated.HospitalCapacity.Reservation.Transducer   ( reservationTransducer   , reservationFoldFingerprint
test/conformance-workflow-full/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowRuntime.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from workflow HospitalTransferReservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from workflow HospitalTransferReservation; do not edit. module Generated.HospitalCapacity.HospitalTransferReservation.WorkflowRuntime   ( workflowName   , AwaitBinding
test/conformance-workflow-runtime/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowRuntime.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from workflow HospitalTransferReservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from workflow HospitalTransferReservation; do not edit. module Generated.HospitalCapacity.HospitalTransferReservation.WorkflowRuntime   ( workflowName   , AwaitBinding
test/conformance-workflow/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowFacts.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from workflow HospitalTransferReservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 5) from workflow HospitalTransferReservation; do not edit. module Generated.HospitalCapacity.HospitalTransferReservation.WorkflowFacts (WorkflowFacts (..), workflowFacts, workflowFactValues) where  -- | The workflow's deterministic decisions, pinned as typed pure facts.
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context workspace-nominal-proof behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context workspace-nominal-proof behavior source map; do not edit. module Generated.WorkspaceNominalProof.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Nominals.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context workspace-nominal-proof generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context workspace-nominal-proof generated nominal declarations; do not edit. module Generated.WorkspaceNominalProof.Nominals   ( ProjectId   , parseProjectId
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context workspace-nominal-proof generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context workspace-nominal-proof generated nominal ID internals; do not edit. module Generated.WorkspaceNominalProof.Nominals.Internal   ( ProjectId   , parseProjectId
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Project; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Project; do not edit. module Generated.WorkspaceNominalProof.Project.BehaviorContract   ( BehaviorKey (..)   , ObligationKind (..)
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Project; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Project; do not edit. module Generated.WorkspaceNominalProof.Project.Codec (     projectCodec,     parseProjectEvent,
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Domain.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Project; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Project; do not edit. module Generated.WorkspaceNominalProof.Project.Domain where  import Data.Proxy (Proxy (..))
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Project; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Project; do not edit. module Generated.WorkspaceNominalProof.Project.EventStream   ( projectCategory   , projectCommandCategory
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Project; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Project; do not edit. module Generated.WorkspaceNominalProof.Project.Harness (harnessAssertions) where  import Generated.WorkspaceNominalProof.Project.Domain
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Project; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Project; do not edit. module Generated.WorkspaceNominalProof.Project.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Transducer.hs view
@@ -2,7 +2,7 @@ {-# LANGUAGE OverloadedLabels #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Project; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Project; do not edit. module Generated.WorkspaceNominalProof.Project.Transducer   ( projectTransducer   , projectFoldFingerprint
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/BehaviorContract.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ProjectArtifact; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ProjectArtifact; do not edit. module Generated.WorkspaceNominalProof.ProjectArtifact.BehaviorContract   ( BehaviorKey (..)   , ObligationKind (..)
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ProjectArtifact; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ProjectArtifact; do not edit. module Generated.WorkspaceNominalProof.ProjectArtifact.Codec (     projectArtifactCodec,     parseProjectArtifactEvent,
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Domain.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ProjectArtifact; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ProjectArtifact; do not edit. module Generated.WorkspaceNominalProof.ProjectArtifact.Domain where  import Data.Proxy (Proxy (..))
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ProjectArtifact; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ProjectArtifact; do not edit. module Generated.WorkspaceNominalProof.ProjectArtifact.EventStream   ( projectArtifactCategory   , projectArtifactCommandCategory
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ProjectArtifact; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ProjectArtifact; do not edit. module Generated.WorkspaceNominalProof.ProjectArtifact.Harness (harnessAssertions) where  import Generated.WorkspaceNominalProof.ProjectArtifact.Domain
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ProjectArtifact; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ProjectArtifact; do not edit. module Generated.WorkspaceNominalProof.ProjectArtifact.Projection () where  -- No projection declarations are present; this module keeps the generated manifest inventory total.
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Transducer.hs view
@@ -2,7 +2,7 @@ {-# LANGUAGE OverloadedLabels #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate ProjectArtifact; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate ProjectArtifact; do not edit. module Generated.WorkspaceNominalProof.ProjectArtifact.Transducer   ( projectArtifactTransducer   , projectArtifactFoldFingerprint
test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context workspace-nominal-proof replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context workspace-nominal-proof replay-audit assembly; do not edit. -- -- Deployment contract: --   * replay-neutral diff: no data audit is required;
test/conformance/Generated/HospitalCapacity/BehaviorSourceMap.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context hospital-capacity behavior source map; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context hospital-capacity behavior source map; do not edit. module Generated.HospitalCapacity.BehaviorSourceMap   ( BehaviorSourceLocation (..)   , behaviorSourceLocation
test/conformance/Generated/HospitalCapacity/Nominals.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE TypeFamilies #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal declarations; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal declarations; do not edit. module Generated.HospitalCapacity.Nominals   ( BedType (..)   , bedTypeText
test/conformance/Generated/HospitalCapacity/Nominals/Internal.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context hospital-capacity generated nominal ID internals; do not edit.+-- @generated by keiro-dsl 0.13.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/Generated/HospitalCapacity/ReplayAudit.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from context hospital-capacity replay-audit assembly; do not edit.+-- @generated by keiro-dsl 0.13.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/Generated/HospitalCapacity/Reservation/Codec.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedRecordDot #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit. module Generated.HospitalCapacity.Reservation.Codec (     reservationCodec,     parseReservationEvent,
test/conformance/Generated/HospitalCapacity/Reservation/Domain.hs view
@@ -1,6 +1,6 @@ {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE TemplateHaskell #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit. module Generated.HospitalCapacity.Reservation.Domain where  import Data.Proxy (Proxy (..))
test/conformance/Generated/HospitalCapacity/Reservation/EventStream.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit. module Generated.HospitalCapacity.Reservation.EventStream   ( reservationCategory   , reservationCommandCategory
test/conformance/Generated/HospitalCapacity/Reservation/Harness.hs view
@@ -1,5 +1,5 @@ {-# LANGUAGE OverloadedLabels #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit. module Generated.HospitalCapacity.Reservation.Harness (harnessAssertions) where  import Generated.HospitalCapacity.Reservation.Domain
test/conformance/Generated/HospitalCapacity/Reservation/Projection.hs view
@@ -1,4 +1,4 @@--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit. module Generated.HospitalCapacity.Reservation.Projection   ( transferDecisionsProjection   , transferDecisionsStatusFor
test/conformance/Generated/HospitalCapacity/Reservation/Transducer.hs view
@@ -2,7 +2,7 @@ {-# LANGUAGE OverloadedLabels #-} {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE QualifiedDo #-}--- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit.+-- @generated by keiro-dsl 0.13.0.0 (language keiro-dsl 4) from aggregate Reservation; do not edit. module Generated.HospitalCapacity.Reservation.Transducer   ( reservationTransducer   , reservationFoldFingerprint