diff --git a/CHANGELOG.md b/CHANGELOG.md --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -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 diff --git a/keiro-dsl.cabal b/keiro-dsl.cabal --- a/keiro-dsl.cabal +++ b/keiro-dsl.cabal @@ -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 diff --git a/test/conformance-aggregate-scalars/Generated/AggregateScalars/BehaviorSourceMap.hs b/test/conformance-aggregate-scalars/Generated/AggregateScalars/BehaviorSourceMap.hs --- a/test/conformance-aggregate-scalars/Generated/AggregateScalars/BehaviorSourceMap.hs +++ b/test/conformance-aggregate-scalars/Generated/AggregateScalars/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-aggregate-scalars/Generated/AggregateScalars/ReplayAudit.hs b/test/conformance-aggregate-scalars/Generated/AggregateScalars/ReplayAudit.hs --- a/test/conformance-aggregate-scalars/Generated/AggregateScalars/ReplayAudit.hs +++ b/test/conformance-aggregate-scalars/Generated/AggregateScalars/ReplayAudit.hs @@ -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; diff --git a/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Codec.hs b/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Codec.hs --- a/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Codec.hs +++ b/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Codec.hs @@ -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, diff --git a/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Domain.hs b/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Domain.hs --- a/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Domain.hs +++ b/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Domain.hs @@ -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) diff --git a/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/EventStream.hs b/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/EventStream.hs --- a/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/EventStream.hs +++ b/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/EventStream.hs @@ -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 diff --git a/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Harness.hs b/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Harness.hs --- a/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Harness.hs +++ b/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Harness.hs @@ -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 diff --git a/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Projection.hs b/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Projection.hs --- a/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Projection.hs +++ b/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Projection.hs @@ -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. diff --git a/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Transducer.hs b/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Transducer.hs --- a/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Transducer.hs +++ b/test/conformance-aggregate-scalars/Generated/AggregateScalars/ScalarLedger/Transducer.hs @@ -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 diff --git a/test/conformance-behavior-complete/Generated/BehaviorComplete/BehaviorSourceMap.hs b/test/conformance-behavior-complete/Generated/BehaviorComplete/BehaviorSourceMap.hs --- a/test/conformance-behavior-complete/Generated/BehaviorComplete/BehaviorSourceMap.hs +++ b/test/conformance-behavior-complete/Generated/BehaviorComplete/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/BehaviorContract.hs b/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/BehaviorContract.hs --- a/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/BehaviorContract.hs +++ b/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/BehaviorContract.hs @@ -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 (..) diff --git a/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Codec.hs b/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Codec.hs --- a/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Codec.hs +++ b/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Codec.hs @@ -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, diff --git a/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Domain.hs b/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Domain.hs --- a/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Domain.hs +++ b/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Domain.hs @@ -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) diff --git a/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/EventStream.hs b/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/EventStream.hs --- a/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/EventStream.hs +++ b/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/EventStream.hs @@ -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 diff --git a/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Harness.hs b/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Harness.hs --- a/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Harness.hs +++ b/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Harness.hs @@ -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 diff --git a/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Projection.hs b/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Projection.hs --- a/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Projection.hs +++ b/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Projection.hs @@ -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. diff --git a/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Transducer.hs b/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Transducer.hs --- a/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Transducer.hs +++ b/test/conformance-behavior-complete/Generated/BehaviorComplete/Journey/Transducer.hs @@ -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 diff --git a/test/conformance-behavior-complete/Generated/BehaviorComplete/Nominals.hs b/test/conformance-behavior-complete/Generated/BehaviorComplete/Nominals.hs --- a/test/conformance-behavior-complete/Generated/BehaviorComplete/Nominals.hs +++ b/test/conformance-behavior-complete/Generated/BehaviorComplete/Nominals.hs @@ -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 diff --git a/test/conformance-behavior-complete/Generated/BehaviorComplete/Nominals/Internal.hs b/test/conformance-behavior-complete/Generated/BehaviorComplete/Nominals/Internal.hs --- a/test/conformance-behavior-complete/Generated/BehaviorComplete/Nominals/Internal.hs +++ b/test/conformance-behavior-complete/Generated/BehaviorComplete/Nominals/Internal.hs @@ -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 diff --git a/test/conformance-behavior-complete/Generated/BehaviorComplete/ReplayAudit.hs b/test/conformance-behavior-complete/Generated/BehaviorComplete/ReplayAudit.hs --- a/test/conformance-behavior-complete/Generated/BehaviorComplete/ReplayAudit.hs +++ b/test/conformance-behavior-complete/Generated/BehaviorComplete/ReplayAudit.hs @@ -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; diff --git a/test/conformance-behavior-complete/Generated/BehaviorComplete/Structural/Shape/StartPayload.hs b/test/conformance-behavior-complete/Generated/BehaviorComplete/Structural/Shape/StartPayload.hs --- a/test/conformance-behavior-complete/Generated/BehaviorComplete/Structural/Shape/StartPayload.hs +++ b/test/conformance-behavior-complete/Generated/BehaviorComplete/Structural/Shape/StartPayload.hs @@ -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) diff --git a/test/conformance-behavior-complete/Generated/BehaviorComplete/StructuralConformance.hs b/test/conformance-behavior-complete/Generated/BehaviorComplete/StructuralConformance.hs --- a/test/conformance-behavior-complete/Generated/BehaviorComplete/StructuralConformance.hs +++ b/test/conformance-behavior-complete/Generated/BehaviorComplete/StructuralConformance.hs @@ -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 diff --git a/test/conformance-behavior-complete/Generated/BehaviorComplete/StructuralProjections.hs b/test/conformance-behavior-complete/Generated/BehaviorComplete/StructuralProjections.hs --- a/test/conformance-behavior-complete/Generated/BehaviorComplete/StructuralProjections.hs +++ b/test/conformance-behavior-complete/Generated/BehaviorComplete/StructuralProjections.hs @@ -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 diff --git a/test/conformance-coldstart/Generated/Billing/BehaviorSourceMap.hs b/test/conformance-coldstart/Generated/Billing/BehaviorSourceMap.hs --- a/test/conformance-coldstart/Generated/Billing/BehaviorSourceMap.hs +++ b/test/conformance-coldstart/Generated/Billing/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-coldstart/Generated/Billing/Nominals.hs b/test/conformance-coldstart/Generated/Billing/Nominals.hs --- a/test/conformance-coldstart/Generated/Billing/Nominals.hs +++ b/test/conformance-coldstart/Generated/Billing/Nominals.hs @@ -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 diff --git a/test/conformance-coldstart/Generated/Billing/Nominals/Internal.hs b/test/conformance-coldstart/Generated/Billing/Nominals/Internal.hs --- a/test/conformance-coldstart/Generated/Billing/Nominals/Internal.hs +++ b/test/conformance-coldstart/Generated/Billing/Nominals/Internal.hs @@ -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 diff --git a/test/conformance-coldstart/Generated/Billing/ReplayAudit.hs b/test/conformance-coldstart/Generated/Billing/ReplayAudit.hs --- a/test/conformance-coldstart/Generated/Billing/ReplayAudit.hs +++ b/test/conformance-coldstart/Generated/Billing/ReplayAudit.hs @@ -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; diff --git a/test/conformance-coldstart/Generated/Billing/Subscription/Codec.hs b/test/conformance-coldstart/Generated/Billing/Subscription/Codec.hs --- a/test/conformance-coldstart/Generated/Billing/Subscription/Codec.hs +++ b/test/conformance-coldstart/Generated/Billing/Subscription/Codec.hs @@ -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, diff --git a/test/conformance-coldstart/Generated/Billing/Subscription/Domain.hs b/test/conformance-coldstart/Generated/Billing/Subscription/Domain.hs --- a/test/conformance-coldstart/Generated/Billing/Subscription/Domain.hs +++ b/test/conformance-coldstart/Generated/Billing/Subscription/Domain.hs @@ -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 (..)) diff --git a/test/conformance-coldstart/Generated/Billing/Subscription/EventStream.hs b/test/conformance-coldstart/Generated/Billing/Subscription/EventStream.hs --- a/test/conformance-coldstart/Generated/Billing/Subscription/EventStream.hs +++ b/test/conformance-coldstart/Generated/Billing/Subscription/EventStream.hs @@ -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 diff --git a/test/conformance-coldstart/Generated/Billing/Subscription/Harness.hs b/test/conformance-coldstart/Generated/Billing/Subscription/Harness.hs --- a/test/conformance-coldstart/Generated/Billing/Subscription/Harness.hs +++ b/test/conformance-coldstart/Generated/Billing/Subscription/Harness.hs @@ -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 diff --git a/test/conformance-coldstart/Generated/Billing/Subscription/Projection.hs b/test/conformance-coldstart/Generated/Billing/Subscription/Projection.hs --- a/test/conformance-coldstart/Generated/Billing/Subscription/Projection.hs +++ b/test/conformance-coldstart/Generated/Billing/Subscription/Projection.hs @@ -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 diff --git a/test/conformance-coldstart/Generated/Billing/Subscription/Transducer.hs b/test/conformance-coldstart/Generated/Billing/Subscription/Transducer.hs --- a/test/conformance-coldstart/Generated/Billing/Subscription/Transducer.hs +++ b/test/conformance-coldstart/Generated/Billing/Subscription/Transducer.hs @@ -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 diff --git a/test/conformance-contract-v1-compat/Generated/HospitalCapacity/Emergency/Contract.hs b/test/conformance-contract-v1-compat/Generated/HospitalCapacity/Emergency/Contract.hs --- a/test/conformance-contract-v1-compat/Generated/HospitalCapacity/Emergency/Contract.hs +++ b/test/conformance-contract-v1-compat/Generated/HospitalCapacity/Emergency/Contract.hs @@ -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 (..) diff --git a/test/conformance-contract/Generated/HospitalCapacity/Emergency/Contract.hs b/test/conformance-contract/Generated/HospitalCapacity/Emergency/Contract.hs --- a/test/conformance-contract/Generated/HospitalCapacity/Emergency/Contract.hs +++ b/test/conformance-contract/Generated/HospitalCapacity/Emergency/Contract.hs @@ -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 (..) diff --git a/test/conformance-declarative-router/Generated/TransferRouting/BehaviorSourceMap.hs b/test/conformance-declarative-router/Generated/TransferRouting/BehaviorSourceMap.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/BehaviorSourceMap.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-declarative-router/Generated/TransferRouting/Hospital/BehaviorContract.hs b/test/conformance-declarative-router/Generated/TransferRouting/Hospital/BehaviorContract.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/Hospital/BehaviorContract.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/Hospital/BehaviorContract.hs @@ -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 (..) diff --git a/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Codec.hs b/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Codec.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Codec.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Codec.hs @@ -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, diff --git a/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Domain.hs b/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Domain.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Domain.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Domain.hs @@ -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 (..)) diff --git a/test/conformance-declarative-router/Generated/TransferRouting/Hospital/EventStream.hs b/test/conformance-declarative-router/Generated/TransferRouting/Hospital/EventStream.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/Hospital/EventStream.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/Hospital/EventStream.hs @@ -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 diff --git a/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Harness.hs b/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Harness.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Harness.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Harness.hs @@ -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 diff --git a/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Projection.hs b/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Projection.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Projection.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Projection.hs @@ -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. diff --git a/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Transducer.hs b/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Transducer.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Transducer.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/Hospital/Transducer.hs @@ -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 diff --git a/test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/QueryContract.hs b/test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/QueryContract.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/QueryContract.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/QueryContract.hs @@ -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 diff --git a/test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/ReadModel.hs b/test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/ReadModel.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/ReadModel.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/ReadModel.hs @@ -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 diff --git a/test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/ReadModelHarness.hs b/test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/ReadModelHarness.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/ReadModelHarness.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/ReadModelHarness.hs @@ -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) diff --git a/test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/ReadModelTable.hs b/test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/ReadModelTable.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/ReadModelTable.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/HospitalLoad/ReadModelTable.hs @@ -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) diff --git a/test/conformance-declarative-router/Generated/TransferRouting/HospitalTransferRouter/Router.hs b/test/conformance-declarative-router/Generated/TransferRouting/HospitalTransferRouter/Router.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/HospitalTransferRouter/Router.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/HospitalTransferRouter/Router.hs @@ -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 diff --git a/test/conformance-declarative-router/Generated/TransferRouting/HospitalTransferRouter/RouterHarness.hs b/test/conformance-declarative-router/Generated/TransferRouting/HospitalTransferRouter/RouterHarness.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/HospitalTransferRouter/RouterHarness.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/HospitalTransferRouter/RouterHarness.hs @@ -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)] diff --git a/test/conformance-declarative-router/Generated/TransferRouting/ProjectionCatalog.hs b/test/conformance-declarative-router/Generated/TransferRouting/ProjectionCatalog.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/ProjectionCatalog.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/ProjectionCatalog.hs @@ -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 diff --git a/test/conformance-declarative-router/Generated/TransferRouting/ReplayAudit.hs b/test/conformance-declarative-router/Generated/TransferRouting/ReplayAudit.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/ReplayAudit.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/ReplayAudit.hs @@ -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; diff --git a/test/conformance-declarative-router/Generated/TransferRouting/Structural/Shape/HospitalLoadRow.hs b/test/conformance-declarative-router/Generated/TransferRouting/Structural/Shape/HospitalLoadRow.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/Structural/Shape/HospitalLoadRow.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/Structural/Shape/HospitalLoadRow.hs @@ -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) diff --git a/test/conformance-declarative-router/Generated/TransferRouting/Structural/Shape/TransferRouteInput.hs b/test/conformance-declarative-router/Generated/TransferRouting/Structural/Shape/TransferRouteInput.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/Structural/Shape/TransferRouteInput.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/Structural/Shape/TransferRouteInput.hs @@ -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) diff --git a/test/conformance-declarative-router/Generated/TransferRouting/StructuralConformance.hs b/test/conformance-declarative-router/Generated/TransferRouting/StructuralConformance.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/StructuralConformance.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/StructuralConformance.hs @@ -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 diff --git a/test/conformance-declarative-router/Generated/TransferRouting/StructuralProjections.hs b/test/conformance-declarative-router/Generated/TransferRouting/StructuralProjections.hs --- a/test/conformance-declarative-router/Generated/TransferRouting/StructuralProjections.hs +++ b/test/conformance-declarative-router/Generated/TransferRouting/StructuralProjections.hs @@ -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 diff --git a/test/conformance-dispatch-full/Generated/HospitalCapacity/ReservationWork/Queue.hs b/test/conformance-dispatch-full/Generated/HospitalCapacity/ReservationWork/Queue.hs --- a/test/conformance-dispatch-full/Generated/HospitalCapacity/ReservationWork/Queue.hs +++ b/test/conformance-dispatch-full/Generated/HospitalCapacity/ReservationWork/Queue.hs @@ -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 diff --git a/test/conformance-dispatch-full/Generated/HospitalCapacity/ReservationWork/QueueCodec.hs b/test/conformance-dispatch-full/Generated/HospitalCapacity/ReservationWork/QueueCodec.hs --- a/test/conformance-dispatch-full/Generated/HospitalCapacity/ReservationWork/QueueCodec.hs +++ b/test/conformance-dispatch-full/Generated/HospitalCapacity/ReservationWork/QueueCodec.hs @@ -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 diff --git a/test/conformance-dispatch-full/Generated/HospitalCapacity/ReservationWork/QueuePolicy.hs b/test/conformance-dispatch-full/Generated/HospitalCapacity/ReservationWork/QueuePolicy.hs --- a/test/conformance-dispatch-full/Generated/HospitalCapacity/ReservationWork/QueuePolicy.hs +++ b/test/conformance-dispatch-full/Generated/HospitalCapacity/ReservationWork/QueuePolicy.hs @@ -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 diff --git a/test/conformance-domain-outcomes/Generated/DomainOutcomes/BehaviorSourceMap.hs b/test/conformance-domain-outcomes/Generated/DomainOutcomes/BehaviorSourceMap.hs --- a/test/conformance-domain-outcomes/Generated/DomainOutcomes/BehaviorSourceMap.hs +++ b/test/conformance-domain-outcomes/Generated/DomainOutcomes/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-domain-outcomes/Generated/DomainOutcomes/Nominals.hs b/test/conformance-domain-outcomes/Generated/DomainOutcomes/Nominals.hs --- a/test/conformance-domain-outcomes/Generated/DomainOutcomes/Nominals.hs +++ b/test/conformance-domain-outcomes/Generated/DomainOutcomes/Nominals.hs @@ -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) diff --git a/test/conformance-domain-outcomes/Generated/DomainOutcomes/ReplayAudit.hs b/test/conformance-domain-outcomes/Generated/DomainOutcomes/ReplayAudit.hs --- a/test/conformance-domain-outcomes/Generated/DomainOutcomes/ReplayAudit.hs +++ b/test/conformance-domain-outcomes/Generated/DomainOutcomes/ReplayAudit.hs @@ -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; diff --git a/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/BehaviorContract.hs b/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/BehaviorContract.hs --- a/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/BehaviorContract.hs +++ b/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/BehaviorContract.hs @@ -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 (..) diff --git a/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Codec.hs b/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Codec.hs --- a/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Codec.hs +++ b/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Codec.hs @@ -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, diff --git a/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Domain.hs b/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Domain.hs --- a/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Domain.hs +++ b/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Domain.hs @@ -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 (..)) diff --git a/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/EventStream.hs b/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/EventStream.hs --- a/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/EventStream.hs +++ b/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/EventStream.hs @@ -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 diff --git a/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Harness.hs b/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Harness.hs --- a/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Harness.hs +++ b/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Harness.hs @@ -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 diff --git a/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Projection.hs b/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Projection.hs --- a/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Projection.hs +++ b/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Projection.hs @@ -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. diff --git a/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Transducer.hs b/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Transducer.hs --- a/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Transducer.hs +++ b/test/conformance-domain-outcomes/Generated/DomainOutcomes/Reservation/Transducer.hs @@ -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 diff --git a/test/conformance-id-domain-migration/Generated/IdDomainMigration/BehaviorSourceMap.hs b/test/conformance-id-domain-migration/Generated/IdDomainMigration/BehaviorSourceMap.hs --- a/test/conformance-id-domain-migration/Generated/IdDomainMigration/BehaviorSourceMap.hs +++ b/test/conformance-id-domain-migration/Generated/IdDomainMigration/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-id-domain-migration/Generated/IdDomainMigration/Nominals.hs b/test/conformance-id-domain-migration/Generated/IdDomainMigration/Nominals.hs --- a/test/conformance-id-domain-migration/Generated/IdDomainMigration/Nominals.hs +++ b/test/conformance-id-domain-migration/Generated/IdDomainMigration/Nominals.hs @@ -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 diff --git a/test/conformance-id-domain-migration/Generated/IdDomainMigration/Nominals/Internal.hs b/test/conformance-id-domain-migration/Generated/IdDomainMigration/Nominals/Internal.hs --- a/test/conformance-id-domain-migration/Generated/IdDomainMigration/Nominals/Internal.hs +++ b/test/conformance-id-domain-migration/Generated/IdDomainMigration/Nominals/Internal.hs @@ -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 diff --git a/test/conformance-id-domain-migration/Generated/IdDomainMigration/OrderBook/Codec.hs b/test/conformance-id-domain-migration/Generated/IdDomainMigration/OrderBook/Codec.hs --- a/test/conformance-id-domain-migration/Generated/IdDomainMigration/OrderBook/Codec.hs +++ b/test/conformance-id-domain-migration/Generated/IdDomainMigration/OrderBook/Codec.hs @@ -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, diff --git a/test/conformance-id-domain-migration/Generated/IdDomainMigration/OrderBook/Domain.hs b/test/conformance-id-domain-migration/Generated/IdDomainMigration/OrderBook/Domain.hs --- a/test/conformance-id-domain-migration/Generated/IdDomainMigration/OrderBook/Domain.hs +++ b/test/conformance-id-domain-migration/Generated/IdDomainMigration/OrderBook/Domain.hs @@ -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) diff --git a/test/conformance-import-planning/Generated/ImportPlanningCollisions/BehaviorSourceMap.hs b/test/conformance-import-planning/Generated/ImportPlanningCollisions/BehaviorSourceMap.hs --- a/test/conformance-import-planning/Generated/ImportPlanningCollisions/BehaviorSourceMap.hs +++ b/test/conformance-import-planning/Generated/ImportPlanningCollisions/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/BehaviorContract.hs b/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/BehaviorContract.hs --- a/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/BehaviorContract.hs +++ b/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/BehaviorContract.hs @@ -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 (..) diff --git a/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Codec.hs b/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Codec.hs --- a/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Codec.hs +++ b/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Codec.hs @@ -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, diff --git a/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Domain.hs b/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Domain.hs --- a/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Domain.hs +++ b/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Domain.hs @@ -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) diff --git a/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/EventStream.hs b/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/EventStream.hs --- a/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/EventStream.hs +++ b/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/EventStream.hs @@ -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 diff --git a/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Harness.hs b/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Harness.hs --- a/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Harness.hs +++ b/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Harness.hs @@ -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 diff --git a/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Projection.hs b/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Projection.hs --- a/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Projection.hs +++ b/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Projection.hs @@ -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. diff --git a/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Transducer.hs b/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Transducer.hs --- a/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Transducer.hs +++ b/test/conformance-import-planning/Generated/ImportPlanningCollisions/CollisionLedger/Transducer.hs @@ -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 diff --git a/test/conformance-import-planning/Generated/ImportPlanningCollisions/NominalProjections.hs b/test/conformance-import-planning/Generated/ImportPlanningCollisions/NominalProjections.hs --- a/test/conformance-import-planning/Generated/ImportPlanningCollisions/NominalProjections.hs +++ b/test/conformance-import-planning/Generated/ImportPlanningCollisions/NominalProjections.hs @@ -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) diff --git a/test/conformance-import-planning/Generated/ImportPlanningCollisions/ReplayAudit.hs b/test/conformance-import-planning/Generated/ImportPlanningCollisions/ReplayAudit.hs --- a/test/conformance-import-planning/Generated/ImportPlanningCollisions/ReplayAudit.hs +++ b/test/conformance-import-planning/Generated/ImportPlanningCollisions/ReplayAudit.hs @@ -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; diff --git a/test/conformance-import-planning/Generated/ImportPlanningCollisions/Structural/Shape/Details.hs b/test/conformance-import-planning/Generated/ImportPlanningCollisions/Structural/Shape/Details.hs --- a/test/conformance-import-planning/Generated/ImportPlanningCollisions/Structural/Shape/Details.hs +++ b/test/conformance-import-planning/Generated/ImportPlanningCollisions/Structural/Shape/Details.hs @@ -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) diff --git a/test/conformance-import-planning/Generated/ImportPlanningCollisions/StructuralConformance.hs b/test/conformance-import-planning/Generated/ImportPlanningCollisions/StructuralConformance.hs --- a/test/conformance-import-planning/Generated/ImportPlanningCollisions/StructuralConformance.hs +++ b/test/conformance-import-planning/Generated/ImportPlanningCollisions/StructuralConformance.hs @@ -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 diff --git a/test/conformance-import-planning/Generated/ImportPlanningCollisions/StructuralProjections.hs b/test/conformance-import-planning/Generated/ImportPlanningCollisions/StructuralProjections.hs --- a/test/conformance-import-planning/Generated/ImportPlanningCollisions/StructuralProjections.hs +++ b/test/conformance-import-planning/Generated/ImportPlanningCollisions/StructuralProjections.hs @@ -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 diff --git a/test/conformance-intake-full/Generated/HospitalCapacity/IncidentInbox/Inbox.hs b/test/conformance-intake-full/Generated/HospitalCapacity/IncidentInbox/Inbox.hs --- a/test/conformance-intake-full/Generated/HospitalCapacity/IncidentInbox/Inbox.hs +++ b/test/conformance-intake-full/Generated/HospitalCapacity/IncidentInbox/Inbox.hs @@ -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 (..) diff --git a/test/conformance-intake-runtime/Generated/HospitalCapacity/IncidentInbox/Inbox.hs b/test/conformance-intake-runtime/Generated/HospitalCapacity/IncidentInbox/Inbox.hs --- a/test/conformance-intake-runtime/Generated/HospitalCapacity/IncidentInbox/Inbox.hs +++ b/test/conformance-intake-runtime/Generated/HospitalCapacity/IncidentInbox/Inbox.hs @@ -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 (..) diff --git a/test/conformance-mapped-queue/Generated/MappedQueue/MappedJobs/Queue.hs b/test/conformance-mapped-queue/Generated/MappedQueue/MappedJobs/Queue.hs --- a/test/conformance-mapped-queue/Generated/MappedQueue/MappedJobs/Queue.hs +++ b/test/conformance-mapped-queue/Generated/MappedQueue/MappedJobs/Queue.hs @@ -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 diff --git a/test/conformance-mapped-queue/Generated/MappedQueue/MappedJobs/QueueCodec.hs b/test/conformance-mapped-queue/Generated/MappedQueue/MappedJobs/QueueCodec.hs --- a/test/conformance-mapped-queue/Generated/MappedQueue/MappedJobs/QueueCodec.hs +++ b/test/conformance-mapped-queue/Generated/MappedQueue/MappedJobs/QueueCodec.hs @@ -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 diff --git a/test/conformance-mapped-queue/Generated/MappedQueue/MappedJobs/QueuePolicy.hs b/test/conformance-mapped-queue/Generated/MappedQueue/MappedJobs/QueuePolicy.hs --- a/test/conformance-mapped-queue/Generated/MappedQueue/MappedJobs/QueuePolicy.hs +++ b/test/conformance-mapped-queue/Generated/MappedQueue/MappedJobs/QueuePolicy.hs @@ -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 diff --git a/test/conformance-mapped-queue/Generated/MappedQueue/Structural/Shape/JobMetadata.hs b/test/conformance-mapped-queue/Generated/MappedQueue/Structural/Shape/JobMetadata.hs --- a/test/conformance-mapped-queue/Generated/MappedQueue/Structural/Shape/JobMetadata.hs +++ b/test/conformance-mapped-queue/Generated/MappedQueue/Structural/Shape/JobMetadata.hs @@ -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) diff --git a/test/conformance-mapped-queue/Generated/MappedQueue/Structural/Shape/JobPayload.hs b/test/conformance-mapped-queue/Generated/MappedQueue/Structural/Shape/JobPayload.hs --- a/test/conformance-mapped-queue/Generated/MappedQueue/Structural/Shape/JobPayload.hs +++ b/test/conformance-mapped-queue/Generated/MappedQueue/Structural/Shape/JobPayload.hs @@ -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) diff --git a/test/conformance-mapped-queue/Generated/MappedQueue/StructuralConformance.hs b/test/conformance-mapped-queue/Generated/MappedQueue/StructuralConformance.hs --- a/test/conformance-mapped-queue/Generated/MappedQueue/StructuralConformance.hs +++ b/test/conformance-mapped-queue/Generated/MappedQueue/StructuralConformance.hs @@ -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 diff --git a/test/conformance-mapped-queue/Generated/MappedQueue/StructuralProjections.hs b/test/conformance-mapped-queue/Generated/MappedQueue/StructuralProjections.hs --- a/test/conformance-mapped-queue/Generated/MappedQueue/StructuralProjections.hs +++ b/test/conformance-mapped-queue/Generated/MappedQueue/StructuralProjections.hs @@ -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 diff --git a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/QueryContract.hs b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/QueryContract.hs --- a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/QueryContract.hs +++ b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/QueryContract.hs @@ -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 diff --git a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/ReadModel.hs b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/ReadModel.hs --- a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/ReadModel.hs +++ b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/ReadModel.hs @@ -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 diff --git a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/ReadModelHarness.hs b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/ReadModelHarness.hs --- a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/ReadModelHarness.hs +++ b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/ReadModelHarness.hs @@ -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) diff --git a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/ReadModelTable.hs b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/ReadModelTable.hs --- a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/ReadModelTable.hs +++ b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/AccountSummary/ReadModelTable.hs @@ -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) diff --git a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/ProjectionCatalog.hs b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/ProjectionCatalog.hs --- a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/ProjectionCatalog.hs +++ b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/ProjectionCatalog.hs @@ -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 diff --git a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/AccountLookup.hs b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/AccountLookup.hs --- a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/AccountLookup.hs +++ b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/AccountLookup.hs @@ -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) diff --git a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/AccountProfile.hs b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/AccountProfile.hs --- a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/AccountProfile.hs +++ b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/AccountProfile.hs @@ -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) diff --git a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/AccountSummary.hs b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/AccountSummary.hs --- a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/AccountSummary.hs +++ b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/AccountSummary.hs @@ -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) diff --git a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/TenantKey.hs b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/TenantKey.hs --- a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/TenantKey.hs +++ b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/TenantKey.hs @@ -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) diff --git a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/UnusedFilter.hs b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/UnusedFilter.hs --- a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/UnusedFilter.hs +++ b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/Structural/Shape/UnusedFilter.hs @@ -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) diff --git a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/StructuralConformance.hs b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/StructuralConformance.hs --- a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/StructuralConformance.hs +++ b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/StructuralConformance.hs @@ -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 diff --git a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/StructuralProjections.hs b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/StructuralProjections.hs --- a/test/conformance-mapped-readmodel/Generated/MappedReadmodel/StructuralProjections.hs +++ b/test/conformance-mapped-readmodel/Generated/MappedReadmodel/StructuralProjections.hs @@ -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 diff --git a/test/conformance-newsurface/Generated/TransferRouting/BehaviorSourceMap.hs b/test/conformance-newsurface/Generated/TransferRouting/BehaviorSourceMap.hs --- a/test/conformance-newsurface/Generated/TransferRouting/BehaviorSourceMap.hs +++ b/test/conformance-newsurface/Generated/TransferRouting/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-newsurface/Generated/TransferRouting/Hospital/Codec.hs b/test/conformance-newsurface/Generated/TransferRouting/Hospital/Codec.hs --- a/test/conformance-newsurface/Generated/TransferRouting/Hospital/Codec.hs +++ b/test/conformance-newsurface/Generated/TransferRouting/Hospital/Codec.hs @@ -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, diff --git a/test/conformance-newsurface/Generated/TransferRouting/Hospital/Domain.hs b/test/conformance-newsurface/Generated/TransferRouting/Hospital/Domain.hs --- a/test/conformance-newsurface/Generated/TransferRouting/Hospital/Domain.hs +++ b/test/conformance-newsurface/Generated/TransferRouting/Hospital/Domain.hs @@ -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) diff --git a/test/conformance-newsurface/Generated/TransferRouting/Hospital/EventStream.hs b/test/conformance-newsurface/Generated/TransferRouting/Hospital/EventStream.hs --- a/test/conformance-newsurface/Generated/TransferRouting/Hospital/EventStream.hs +++ b/test/conformance-newsurface/Generated/TransferRouting/Hospital/EventStream.hs @@ -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 diff --git a/test/conformance-newsurface/Generated/TransferRouting/Hospital/Harness.hs b/test/conformance-newsurface/Generated/TransferRouting/Hospital/Harness.hs --- a/test/conformance-newsurface/Generated/TransferRouting/Hospital/Harness.hs +++ b/test/conformance-newsurface/Generated/TransferRouting/Hospital/Harness.hs @@ -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 diff --git a/test/conformance-newsurface/Generated/TransferRouting/Hospital/Projection.hs b/test/conformance-newsurface/Generated/TransferRouting/Hospital/Projection.hs --- a/test/conformance-newsurface/Generated/TransferRouting/Hospital/Projection.hs +++ b/test/conformance-newsurface/Generated/TransferRouting/Hospital/Projection.hs @@ -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. diff --git a/test/conformance-newsurface/Generated/TransferRouting/Hospital/Transducer.hs b/test/conformance-newsurface/Generated/TransferRouting/Hospital/Transducer.hs --- a/test/conformance-newsurface/Generated/TransferRouting/Hospital/Transducer.hs +++ b/test/conformance-newsurface/Generated/TransferRouting/Hospital/Transducer.hs @@ -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 diff --git a/test/conformance-newsurface/Generated/TransferRouting/HospitalLoad/ReadModel.hs b/test/conformance-newsurface/Generated/TransferRouting/HospitalLoad/ReadModel.hs --- a/test/conformance-newsurface/Generated/TransferRouting/HospitalLoad/ReadModel.hs +++ b/test/conformance-newsurface/Generated/TransferRouting/HospitalLoad/ReadModel.hs @@ -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 diff --git a/test/conformance-newsurface/Generated/TransferRouting/HospitalLoad/ReadModelHarness.hs b/test/conformance-newsurface/Generated/TransferRouting/HospitalLoad/ReadModelHarness.hs --- a/test/conformance-newsurface/Generated/TransferRouting/HospitalLoad/ReadModelHarness.hs +++ b/test/conformance-newsurface/Generated/TransferRouting/HospitalLoad/ReadModelHarness.hs @@ -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) diff --git a/test/conformance-newsurface/Generated/TransferRouting/HospitalLoad/ReadModelTable.hs b/test/conformance-newsurface/Generated/TransferRouting/HospitalLoad/ReadModelTable.hs --- a/test/conformance-newsurface/Generated/TransferRouting/HospitalLoad/ReadModelTable.hs +++ b/test/conformance-newsurface/Generated/TransferRouting/HospitalLoad/ReadModelTable.hs @@ -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) diff --git a/test/conformance-newsurface/Generated/TransferRouting/HospitalTransferRouter/Router.hs b/test/conformance-newsurface/Generated/TransferRouting/HospitalTransferRouter/Router.hs --- a/test/conformance-newsurface/Generated/TransferRouting/HospitalTransferRouter/Router.hs +++ b/test/conformance-newsurface/Generated/TransferRouting/HospitalTransferRouter/Router.hs @@ -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 diff --git a/test/conformance-newsurface/Generated/TransferRouting/HospitalTransferRouter/RouterHarness.hs b/test/conformance-newsurface/Generated/TransferRouting/HospitalTransferRouter/RouterHarness.hs --- a/test/conformance-newsurface/Generated/TransferRouting/HospitalTransferRouter/RouterHarness.hs +++ b/test/conformance-newsurface/Generated/TransferRouting/HospitalTransferRouter/RouterHarness.hs @@ -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)] diff --git a/test/conformance-newsurface/Generated/TransferRouting/ReplayAudit.hs b/test/conformance-newsurface/Generated/TransferRouting/ReplayAudit.hs --- a/test/conformance-newsurface/Generated/TransferRouting/ReplayAudit.hs +++ b/test/conformance-newsurface/Generated/TransferRouting/ReplayAudit.hs @@ -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; diff --git a/test/conformance-nominal-scalars/Generated/NominalScalars/BehaviorSourceMap.hs b/test/conformance-nominal-scalars/Generated/NominalScalars/BehaviorSourceMap.hs --- a/test/conformance-nominal-scalars/Generated/NominalScalars/BehaviorSourceMap.hs +++ b/test/conformance-nominal-scalars/Generated/NominalScalars/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-nominal-scalars/Generated/NominalScalars/Nominal/Shape/OrderStatus.hs b/test/conformance-nominal-scalars/Generated/NominalScalars/Nominal/Shape/OrderStatus.hs --- a/test/conformance-nominal-scalars/Generated/NominalScalars/Nominal/Shape/OrderStatus.hs +++ b/test/conformance-nominal-scalars/Generated/NominalScalars/Nominal/Shape/OrderStatus.hs @@ -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) diff --git a/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/BehaviorContract.hs b/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/BehaviorContract.hs --- a/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/BehaviorContract.hs +++ b/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/BehaviorContract.hs @@ -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 (..) diff --git a/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Codec.hs b/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Codec.hs --- a/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Codec.hs +++ b/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Codec.hs @@ -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, diff --git a/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Domain.hs b/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Domain.hs --- a/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Domain.hs +++ b/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Domain.hs @@ -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) diff --git a/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/EventStream.hs b/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/EventStream.hs --- a/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/EventStream.hs +++ b/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/EventStream.hs @@ -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 diff --git a/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Harness.hs b/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Harness.hs --- a/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Harness.hs +++ b/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Harness.hs @@ -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 diff --git a/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Projection.hs b/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Projection.hs --- a/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Projection.hs +++ b/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Projection.hs @@ -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. diff --git a/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Transducer.hs b/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Transducer.hs --- a/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Transducer.hs +++ b/test/conformance-nominal-scalars/Generated/NominalScalars/NominalLedger/Transducer.hs @@ -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 diff --git a/test/conformance-nominal-scalars/Generated/NominalScalars/NominalProjections.hs b/test/conformance-nominal-scalars/Generated/NominalScalars/NominalProjections.hs --- a/test/conformance-nominal-scalars/Generated/NominalScalars/NominalProjections.hs +++ b/test/conformance-nominal-scalars/Generated/NominalScalars/NominalProjections.hs @@ -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 diff --git a/test/conformance-nominal-scalars/Generated/NominalScalars/ReplayAudit.hs b/test/conformance-nominal-scalars/Generated/NominalScalars/ReplayAudit.hs --- a/test/conformance-nominal-scalars/Generated/NominalScalars/ReplayAudit.hs +++ b/test/conformance-nominal-scalars/Generated/NominalScalars/ReplayAudit.hs @@ -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; diff --git a/test/conformance-process-full/Generated/SurgeDemo/BehaviorSourceMap.hs b/test/conformance-process-full/Generated/SurgeDemo/BehaviorSourceMap.hs --- a/test/conformance-process-full/Generated/SurgeDemo/BehaviorSourceMap.hs +++ b/test/conformance-process-full/Generated/SurgeDemo/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-process-full/Generated/SurgeDemo/Hospital/Codec.hs b/test/conformance-process-full/Generated/SurgeDemo/Hospital/Codec.hs --- a/test/conformance-process-full/Generated/SurgeDemo/Hospital/Codec.hs +++ b/test/conformance-process-full/Generated/SurgeDemo/Hospital/Codec.hs @@ -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, diff --git a/test/conformance-process-full/Generated/SurgeDemo/Hospital/Domain.hs b/test/conformance-process-full/Generated/SurgeDemo/Hospital/Domain.hs --- a/test/conformance-process-full/Generated/SurgeDemo/Hospital/Domain.hs +++ b/test/conformance-process-full/Generated/SurgeDemo/Hospital/Domain.hs @@ -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) diff --git a/test/conformance-process-full/Generated/SurgeDemo/Hospital/EventStream.hs b/test/conformance-process-full/Generated/SurgeDemo/Hospital/EventStream.hs --- a/test/conformance-process-full/Generated/SurgeDemo/Hospital/EventStream.hs +++ b/test/conformance-process-full/Generated/SurgeDemo/Hospital/EventStream.hs @@ -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 diff --git a/test/conformance-process-full/Generated/SurgeDemo/Hospital/Projection.hs b/test/conformance-process-full/Generated/SurgeDemo/Hospital/Projection.hs --- a/test/conformance-process-full/Generated/SurgeDemo/Hospital/Projection.hs +++ b/test/conformance-process-full/Generated/SurgeDemo/Hospital/Projection.hs @@ -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 diff --git a/test/conformance-process-full/Generated/SurgeDemo/Hospital/Transducer.hs b/test/conformance-process-full/Generated/SurgeDemo/Hospital/Transducer.hs --- a/test/conformance-process-full/Generated/SurgeDemo/Hospital/Transducer.hs +++ b/test/conformance-process-full/Generated/SurgeDemo/Hospital/Transducer.hs @@ -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 diff --git a/test/conformance-process-full/Generated/SurgeDemo/Nominals.hs b/test/conformance-process-full/Generated/SurgeDemo/Nominals.hs --- a/test/conformance-process-full/Generated/SurgeDemo/Nominals.hs +++ b/test/conformance-process-full/Generated/SurgeDemo/Nominals.hs @@ -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 diff --git a/test/conformance-process-full/Generated/SurgeDemo/Nominals/Internal.hs b/test/conformance-process-full/Generated/SurgeDemo/Nominals/Internal.hs --- a/test/conformance-process-full/Generated/SurgeDemo/Nominals/Internal.hs +++ b/test/conformance-process-full/Generated/SurgeDemo/Nominals/Internal.hs @@ -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 diff --git a/test/conformance-process-full/Generated/SurgeDemo/ReplayAudit.hs b/test/conformance-process-full/Generated/SurgeDemo/ReplayAudit.hs --- a/test/conformance-process-full/Generated/SurgeDemo/ReplayAudit.hs +++ b/test/conformance-process-full/Generated/SurgeDemo/ReplayAudit.hs @@ -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; diff --git a/test/conformance-process-full/Generated/SurgeDemo/Surge/Codec.hs b/test/conformance-process-full/Generated/SurgeDemo/Surge/Codec.hs --- a/test/conformance-process-full/Generated/SurgeDemo/Surge/Codec.hs +++ b/test/conformance-process-full/Generated/SurgeDemo/Surge/Codec.hs @@ -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, diff --git a/test/conformance-process-full/Generated/SurgeDemo/Surge/Domain.hs b/test/conformance-process-full/Generated/SurgeDemo/Surge/Domain.hs --- a/test/conformance-process-full/Generated/SurgeDemo/Surge/Domain.hs +++ b/test/conformance-process-full/Generated/SurgeDemo/Surge/Domain.hs @@ -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) diff --git a/test/conformance-process-full/Generated/SurgeDemo/Surge/EventStream.hs b/test/conformance-process-full/Generated/SurgeDemo/Surge/EventStream.hs --- a/test/conformance-process-full/Generated/SurgeDemo/Surge/EventStream.hs +++ b/test/conformance-process-full/Generated/SurgeDemo/Surge/EventStream.hs @@ -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 diff --git a/test/conformance-process-full/Generated/SurgeDemo/Surge/Projection.hs b/test/conformance-process-full/Generated/SurgeDemo/Surge/Projection.hs --- a/test/conformance-process-full/Generated/SurgeDemo/Surge/Projection.hs +++ b/test/conformance-process-full/Generated/SurgeDemo/Surge/Projection.hs @@ -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 diff --git a/test/conformance-process-full/Generated/SurgeDemo/Surge/Transducer.hs b/test/conformance-process-full/Generated/SurgeDemo/Surge/Transducer.hs --- a/test/conformance-process-full/Generated/SurgeDemo/Surge/Transducer.hs +++ b/test/conformance-process-full/Generated/SurgeDemo/Surge/Transducer.hs @@ -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 diff --git a/test/conformance-process-full/Generated/SurgeDemo/SurgeFlow/Process.hs b/test/conformance-process-full/Generated/SurgeDemo/SurgeFlow/Process.hs --- a/test/conformance-process-full/Generated/SurgeDemo/SurgeFlow/Process.hs +++ b/test/conformance-process-full/Generated/SurgeDemo/SurgeFlow/Process.hs @@ -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 diff --git a/test/conformance-process-runtime/Generated/HospitalCapacity/BehaviorSourceMap.hs b/test/conformance-process-runtime/Generated/HospitalCapacity/BehaviorSourceMap.hs --- a/test/conformance-process-runtime/Generated/HospitalCapacity/BehaviorSourceMap.hs +++ b/test/conformance-process-runtime/Generated/HospitalCapacity/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-process-runtime/Generated/HospitalCapacity/HospitalSurge/Process.hs b/test/conformance-process-runtime/Generated/HospitalCapacity/HospitalSurge/Process.hs --- a/test/conformance-process-runtime/Generated/HospitalCapacity/HospitalSurge/Process.hs +++ b/test/conformance-process-runtime/Generated/HospitalCapacity/HospitalSurge/Process.hs @@ -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 diff --git a/test/conformance-process-runtime/Generated/HospitalCapacity/Nominals.hs b/test/conformance-process-runtime/Generated/HospitalCapacity/Nominals.hs --- a/test/conformance-process-runtime/Generated/HospitalCapacity/Nominals.hs +++ b/test/conformance-process-runtime/Generated/HospitalCapacity/Nominals.hs @@ -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 diff --git a/test/conformance-process-runtime/Generated/HospitalCapacity/Nominals/Internal.hs b/test/conformance-process-runtime/Generated/HospitalCapacity/Nominals/Internal.hs --- a/test/conformance-process-runtime/Generated/HospitalCapacity/Nominals/Internal.hs +++ b/test/conformance-process-runtime/Generated/HospitalCapacity/Nominals/Internal.hs @@ -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 diff --git a/test/conformance-process-runtime/Generated/HospitalCapacity/Surge/Codec.hs b/test/conformance-process-runtime/Generated/HospitalCapacity/Surge/Codec.hs --- a/test/conformance-process-runtime/Generated/HospitalCapacity/Surge/Codec.hs +++ b/test/conformance-process-runtime/Generated/HospitalCapacity/Surge/Codec.hs @@ -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, diff --git a/test/conformance-process-runtime/Generated/HospitalCapacity/Surge/Domain.hs b/test/conformance-process-runtime/Generated/HospitalCapacity/Surge/Domain.hs --- a/test/conformance-process-runtime/Generated/HospitalCapacity/Surge/Domain.hs +++ b/test/conformance-process-runtime/Generated/HospitalCapacity/Surge/Domain.hs @@ -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) diff --git a/test/conformance-process-runtime/Generated/HospitalCapacity/Surge/EventStream.hs b/test/conformance-process-runtime/Generated/HospitalCapacity/Surge/EventStream.hs --- a/test/conformance-process-runtime/Generated/HospitalCapacity/Surge/EventStream.hs +++ b/test/conformance-process-runtime/Generated/HospitalCapacity/Surge/EventStream.hs @@ -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 diff --git a/test/conformance-process-runtime/Generated/HospitalCapacity/Surge/Transducer.hs b/test/conformance-process-runtime/Generated/HospitalCapacity/Surge/Transducer.hs --- a/test/conformance-process-runtime/Generated/HospitalCapacity/Surge/Transducer.hs +++ b/test/conformance-process-runtime/Generated/HospitalCapacity/Surge/Transducer.hs @@ -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 diff --git a/test/conformance-process/Generated/HospitalCapacity/BehaviorSourceMap.hs b/test/conformance-process/Generated/HospitalCapacity/BehaviorSourceMap.hs --- a/test/conformance-process/Generated/HospitalCapacity/BehaviorSourceMap.hs +++ b/test/conformance-process/Generated/HospitalCapacity/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-process/Generated/HospitalCapacity/HospitalSurge/ProcessHarness.hs b/test/conformance-process/Generated/HospitalCapacity/HospitalSurge/ProcessHarness.hs --- a/test/conformance-process/Generated/HospitalCapacity/HospitalSurge/ProcessHarness.hs +++ b/test/conformance-process/Generated/HospitalCapacity/HospitalSurge/ProcessHarness.hs @@ -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, diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/BehaviorSourceMap.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/BehaviorSourceMap.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/BehaviorSourceMap.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModel.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModel.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModel.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModel.hs @@ -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 diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModelHarness.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModelHarness.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModelHarness.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModelHarness.hs @@ -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) diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModelTable.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModelTable.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModelTable.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/CatalogAudit/ReadModelTable.hs @@ -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) diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/QueryContract.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/QueryContract.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/QueryContract.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/QueryContract.hs @@ -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 diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModel.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModel.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModel.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModel.hs @@ -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 diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModelHarness.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModelHarness.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModelHarness.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModelHarness.hs @@ -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) diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModelTable.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModelTable.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModelTable.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/OrderInline/ReadModelTable.hs @@ -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) diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModel.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModel.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModel.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModel.hs @@ -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 diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModelHarness.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModelHarness.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModelHarness.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModelHarness.hs @@ -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) diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModelTable.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModelTable.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModelTable.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/OrderTotalsLookup/ReadModelTable.hs @@ -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) diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/BehaviorContract.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/BehaviorContract.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/BehaviorContract.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/BehaviorContract.hs @@ -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 (..) diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Codec.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Codec.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Codec.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Codec.hs @@ -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, diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Domain.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Domain.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Domain.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Domain.hs @@ -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 (..)) diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/EventStream.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/EventStream.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/EventStream.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/EventStream.hs @@ -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 diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Harness.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Harness.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Harness.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Harness.hs @@ -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 diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Projection.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Projection.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Projection.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Projection.hs @@ -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. diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Transducer.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Transducer.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Transducer.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/Orders/Transducer.hs @@ -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 diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/ProjectionCatalog.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/ProjectionCatalog.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/ProjectionCatalog.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/ProjectionCatalog.hs @@ -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 diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/Queue.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/Queue.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/Queue.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/Queue.hs @@ -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 diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/QueueCodec.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/QueueCodec.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/QueueCodec.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/QueueCodec.hs @@ -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 diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/QueuePolicy.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/QueuePolicy.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/QueuePolicy.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/QualificationJobs/QueuePolicy.hs @@ -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 diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/ReplayAudit.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/ReplayAudit.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/ReplayAudit.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/ReplayAudit.hs @@ -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; diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModel.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModel.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModel.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModel.hs @@ -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 diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModelHarness.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModelHarness.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModelHarness.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModelHarness.hs @@ -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) diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModelTable.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModelTable.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModelTable.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/ShipmentLookup/ReadModelTable.hs @@ -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) diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/BehaviorContract.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/BehaviorContract.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/BehaviorContract.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/BehaviorContract.hs @@ -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 (..) diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Codec.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Codec.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Codec.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Codec.hs @@ -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, diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Domain.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Domain.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Domain.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Domain.hs @@ -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 (..)) diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/EventStream.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/EventStream.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/EventStream.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/EventStream.hs @@ -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 diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Harness.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Harness.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Harness.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Harness.hs @@ -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 diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Projection.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Projection.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Projection.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Projection.hs @@ -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. diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Transducer.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Transducer.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Transducer.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/Shipments/Transducer.hs @@ -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 diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/Structural/Shape/QualificationPayload.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/Structural/Shape/QualificationPayload.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/Structural/Shape/QualificationPayload.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/Structural/Shape/QualificationPayload.hs @@ -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) diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/StructuralConformance.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/StructuralConformance.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/StructuralConformance.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/StructuralConformance.hs @@ -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 diff --git a/test/conformance-projection-catalog/Generated/CatalogDemo/StructuralProjections.hs b/test/conformance-projection-catalog/Generated/CatalogDemo/StructuralProjections.hs --- a/test/conformance-projection-catalog/Generated/CatalogDemo/StructuralProjections.hs +++ b/test/conformance-projection-catalog/Generated/CatalogDemo/StructuralProjections.hs @@ -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 diff --git a/test/conformance-publisher-runtime/Generated/HospitalCapacity/HospitalPublisher/Publisher.hs b/test/conformance-publisher-runtime/Generated/HospitalCapacity/HospitalPublisher/Publisher.hs --- a/test/conformance-publisher-runtime/Generated/HospitalCapacity/HospitalPublisher/Publisher.hs +++ b/test/conformance-publisher-runtime/Generated/HospitalCapacity/HospitalPublisher/Publisher.hs @@ -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 diff --git a/test/conformance-queue-runtime/Generated/HospitalCapacity/ReservationWork/Queue.hs b/test/conformance-queue-runtime/Generated/HospitalCapacity/ReservationWork/Queue.hs --- a/test/conformance-queue-runtime/Generated/HospitalCapacity/ReservationWork/Queue.hs +++ b/test/conformance-queue-runtime/Generated/HospitalCapacity/ReservationWork/Queue.hs @@ -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 diff --git a/test/conformance-queue-runtime/Generated/HospitalCapacity/ReservationWork/QueueCodec.hs b/test/conformance-queue-runtime/Generated/HospitalCapacity/ReservationWork/QueueCodec.hs --- a/test/conformance-queue-runtime/Generated/HospitalCapacity/ReservationWork/QueueCodec.hs +++ b/test/conformance-queue-runtime/Generated/HospitalCapacity/ReservationWork/QueueCodec.hs @@ -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 diff --git a/test/conformance-queue-runtime/Generated/HospitalCapacity/ReservationWork/QueuePolicy.hs b/test/conformance-queue-runtime/Generated/HospitalCapacity/ReservationWork/QueuePolicy.hs --- a/test/conformance-queue-runtime/Generated/HospitalCapacity/ReservationWork/QueuePolicy.hs +++ b/test/conformance-queue-runtime/Generated/HospitalCapacity/ReservationWork/QueuePolicy.hs @@ -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 diff --git a/test/conformance-queue/Generated/HospitalCapacity/ReservationWork/Queue.hs b/test/conformance-queue/Generated/HospitalCapacity/ReservationWork/Queue.hs --- a/test/conformance-queue/Generated/HospitalCapacity/ReservationWork/Queue.hs +++ b/test/conformance-queue/Generated/HospitalCapacity/ReservationWork/Queue.hs @@ -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 diff --git a/test/conformance-queue/Generated/HospitalCapacity/ReservationWork/QueueCodec.hs b/test/conformance-queue/Generated/HospitalCapacity/ReservationWork/QueueCodec.hs --- a/test/conformance-queue/Generated/HospitalCapacity/ReservationWork/QueueCodec.hs +++ b/test/conformance-queue/Generated/HospitalCapacity/ReservationWork/QueueCodec.hs @@ -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 diff --git a/test/conformance-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModel.hs b/test/conformance-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModel.hs --- a/test/conformance-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModel.hs +++ b/test/conformance-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModel.hs @@ -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 diff --git a/test/conformance-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModelHarness.hs b/test/conformance-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModelHarness.hs --- a/test/conformance-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModelHarness.hs +++ b/test/conformance-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModelHarness.hs @@ -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) diff --git a/test/conformance-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModelTable.hs b/test/conformance-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModelTable.hs --- a/test/conformance-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModelTable.hs +++ b/test/conformance-readmodel-runtime/Generated/HospitalCapacity/TransferDecisions/ReadModelTable.hs @@ -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) diff --git a/test/conformance-replay/Generated/ReplayDivergence/BehaviorSourceMap.hs b/test/conformance-replay/Generated/ReplayDivergence/BehaviorSourceMap.hs --- a/test/conformance-replay/Generated/ReplayDivergence/BehaviorSourceMap.hs +++ b/test/conformance-replay/Generated/ReplayDivergence/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-replay/Generated/ReplayDivergence/Note/Codec.hs b/test/conformance-replay/Generated/ReplayDivergence/Note/Codec.hs --- a/test/conformance-replay/Generated/ReplayDivergence/Note/Codec.hs +++ b/test/conformance-replay/Generated/ReplayDivergence/Note/Codec.hs @@ -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, diff --git a/test/conformance-replay/Generated/ReplayDivergence/Note/Domain.hs b/test/conformance-replay/Generated/ReplayDivergence/Note/Domain.hs --- a/test/conformance-replay/Generated/ReplayDivergence/Note/Domain.hs +++ b/test/conformance-replay/Generated/ReplayDivergence/Note/Domain.hs @@ -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 (..)) diff --git a/test/conformance-replay/Generated/ReplayDivergence/Note/EventStream.hs b/test/conformance-replay/Generated/ReplayDivergence/Note/EventStream.hs --- a/test/conformance-replay/Generated/ReplayDivergence/Note/EventStream.hs +++ b/test/conformance-replay/Generated/ReplayDivergence/Note/EventStream.hs @@ -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 diff --git a/test/conformance-replay/Generated/ReplayDivergence/Note/Harness.hs b/test/conformance-replay/Generated/ReplayDivergence/Note/Harness.hs --- a/test/conformance-replay/Generated/ReplayDivergence/Note/Harness.hs +++ b/test/conformance-replay/Generated/ReplayDivergence/Note/Harness.hs @@ -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 diff --git a/test/conformance-replay/Generated/ReplayDivergence/Note/Projection.hs b/test/conformance-replay/Generated/ReplayDivergence/Note/Projection.hs --- a/test/conformance-replay/Generated/ReplayDivergence/Note/Projection.hs +++ b/test/conformance-replay/Generated/ReplayDivergence/Note/Projection.hs @@ -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. diff --git a/test/conformance-replay/Generated/ReplayDivergence/Note/Transducer.hs b/test/conformance-replay/Generated/ReplayDivergence/Note/Transducer.hs --- a/test/conformance-replay/Generated/ReplayDivergence/Note/Transducer.hs +++ b/test/conformance-replay/Generated/ReplayDivergence/Note/Transducer.hs @@ -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 diff --git a/test/conformance-replay/Generated/ReplayDivergence/ReplayAudit.hs b/test/conformance-replay/Generated/ReplayDivergence/ReplayAudit.hs --- a/test/conformance-replay/Generated/ReplayDivergence/ReplayAudit.hs +++ b/test/conformance-replay/Generated/ReplayDivergence/ReplayAudit.hs @@ -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; diff --git a/test/conformance-router-full/Generated/IncidentPaging/BehaviorSourceMap.hs b/test/conformance-router-full/Generated/IncidentPaging/BehaviorSourceMap.hs --- a/test/conformance-router-full/Generated/IncidentPaging/BehaviorSourceMap.hs +++ b/test/conformance-router-full/Generated/IncidentPaging/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-router-full/Generated/IncidentPaging/Page/Codec.hs b/test/conformance-router-full/Generated/IncidentPaging/Page/Codec.hs --- a/test/conformance-router-full/Generated/IncidentPaging/Page/Codec.hs +++ b/test/conformance-router-full/Generated/IncidentPaging/Page/Codec.hs @@ -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, diff --git a/test/conformance-router-full/Generated/IncidentPaging/Page/Domain.hs b/test/conformance-router-full/Generated/IncidentPaging/Page/Domain.hs --- a/test/conformance-router-full/Generated/IncidentPaging/Page/Domain.hs +++ b/test/conformance-router-full/Generated/IncidentPaging/Page/Domain.hs @@ -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) diff --git a/test/conformance-router-full/Generated/IncidentPaging/Page/EventStream.hs b/test/conformance-router-full/Generated/IncidentPaging/Page/EventStream.hs --- a/test/conformance-router-full/Generated/IncidentPaging/Page/EventStream.hs +++ b/test/conformance-router-full/Generated/IncidentPaging/Page/EventStream.hs @@ -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 diff --git a/test/conformance-router-full/Generated/IncidentPaging/Page/Transducer.hs b/test/conformance-router-full/Generated/IncidentPaging/Page/Transducer.hs --- a/test/conformance-router-full/Generated/IncidentPaging/Page/Transducer.hs +++ b/test/conformance-router-full/Generated/IncidentPaging/Page/Transducer.hs @@ -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 diff --git a/test/conformance-router-full/Generated/IncidentPaging/PagingRouter/Router.hs b/test/conformance-router-full/Generated/IncidentPaging/PagingRouter/Router.hs --- a/test/conformance-router-full/Generated/IncidentPaging/PagingRouter/Router.hs +++ b/test/conformance-router-full/Generated/IncidentPaging/PagingRouter/Router.hs @@ -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 diff --git a/test/conformance-router-full/Generated/IncidentPaging/PagingRouter/RouterHarness.hs b/test/conformance-router-full/Generated/IncidentPaging/PagingRouter/RouterHarness.hs --- a/test/conformance-router-full/Generated/IncidentPaging/PagingRouter/RouterHarness.hs +++ b/test/conformance-router-full/Generated/IncidentPaging/PagingRouter/RouterHarness.hs @@ -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)] diff --git a/test/conformance-router-full/Generated/IncidentPaging/ReplayAudit.hs b/test/conformance-router-full/Generated/IncidentPaging/ReplayAudit.hs --- a/test/conformance-router-full/Generated/IncidentPaging/ReplayAudit.hs +++ b/test/conformance-router-full/Generated/IncidentPaging/ReplayAudit.hs @@ -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; diff --git a/test/conformance-router-runtime/Generated/IncidentPaging/BehaviorSourceMap.hs b/test/conformance-router-runtime/Generated/IncidentPaging/BehaviorSourceMap.hs --- a/test/conformance-router-runtime/Generated/IncidentPaging/BehaviorSourceMap.hs +++ b/test/conformance-router-runtime/Generated/IncidentPaging/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-router-runtime/Generated/IncidentPaging/PagingRouter/Router.hs b/test/conformance-router-runtime/Generated/IncidentPaging/PagingRouter/Router.hs --- a/test/conformance-router-runtime/Generated/IncidentPaging/PagingRouter/Router.hs +++ b/test/conformance-router-runtime/Generated/IncidentPaging/PagingRouter/Router.hs @@ -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 diff --git a/test/conformance-router-runtime/Generated/IncidentPaging/PagingRouter/RouterHarness.hs b/test/conformance-router-runtime/Generated/IncidentPaging/PagingRouter/RouterHarness.hs --- a/test/conformance-router-runtime/Generated/IncidentPaging/PagingRouter/RouterHarness.hs +++ b/test/conformance-router-runtime/Generated/IncidentPaging/PagingRouter/RouterHarness.hs @@ -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)] diff --git a/test/conformance-router/Generated/IncidentPaging/BehaviorSourceMap.hs b/test/conformance-router/Generated/IncidentPaging/BehaviorSourceMap.hs --- a/test/conformance-router/Generated/IncidentPaging/BehaviorSourceMap.hs +++ b/test/conformance-router/Generated/IncidentPaging/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-router/Generated/IncidentPaging/PagingRouter/RouterHarness.hs b/test/conformance-router/Generated/IncidentPaging/PagingRouter/RouterHarness.hs --- a/test/conformance-router/Generated/IncidentPaging/PagingRouter/RouterHarness.hs +++ b/test/conformance-router/Generated/IncidentPaging/PagingRouter/RouterHarness.hs @@ -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)] diff --git a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/BehaviorSourceMap.hs b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/BehaviorSourceMap.hs --- a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/BehaviorSourceMap.hs +++ b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Nominals.hs b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Nominals.hs --- a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Nominals.hs +++ b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Nominals.hs @@ -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 diff --git a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Nominals/Internal.hs b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Nominals/Internal.hs --- a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Nominals/Internal.hs +++ b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Nominals/Internal.hs @@ -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 diff --git a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ReplayAudit.hs b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ReplayAudit.hs --- a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ReplayAudit.hs +++ b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ReplayAudit.hs @@ -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; diff --git a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/BehaviorContract.hs b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/BehaviorContract.hs --- a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/BehaviorContract.hs +++ b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/BehaviorContract.hs @@ -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 (..) diff --git a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Codec.hs b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Codec.hs --- a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Codec.hs +++ b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Codec.hs @@ -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, diff --git a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Domain.hs b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Domain.hs --- a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Domain.hs +++ b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Domain.hs @@ -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) diff --git a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/EventStream.hs b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/EventStream.hs --- a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/EventStream.hs +++ b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/EventStream.hs @@ -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 diff --git a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Harness.hs b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Harness.hs --- a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Harness.hs +++ b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Harness.hs @@ -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 diff --git a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Projection.hs b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Projection.hs --- a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Projection.hs +++ b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Projection.hs @@ -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. diff --git a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Transducer.hs b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Transducer.hs --- a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Transducer.hs +++ b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/ScalarAccount/Transducer.hs @@ -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 diff --git a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Structural/Shape/Limits.hs b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Structural/Shape/Limits.hs --- a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Structural/Shape/Limits.hs +++ b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/Structural/Shape/Limits.hs @@ -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) diff --git a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/StructuralConformance.hs b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/StructuralConformance.hs --- a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/StructuralConformance.hs +++ b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/StructuralConformance.hs @@ -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 diff --git a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/StructuralProjections.hs b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/StructuralProjections.hs --- a/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/StructuralProjections.hs +++ b/test/conformance-scalar-expressions/Generated/AggregateScalarExpressions/StructuralProjections.hs @@ -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 diff --git a/test/conformance-snapshot/Generated/HospitalCapacity/BehaviorSourceMap.hs b/test/conformance-snapshot/Generated/HospitalCapacity/BehaviorSourceMap.hs --- a/test/conformance-snapshot/Generated/HospitalCapacity/BehaviorSourceMap.hs +++ b/test/conformance-snapshot/Generated/HospitalCapacity/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-snapshot/Generated/HospitalCapacity/Nominals.hs b/test/conformance-snapshot/Generated/HospitalCapacity/Nominals.hs --- a/test/conformance-snapshot/Generated/HospitalCapacity/Nominals.hs +++ b/test/conformance-snapshot/Generated/HospitalCapacity/Nominals.hs @@ -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 diff --git a/test/conformance-snapshot/Generated/HospitalCapacity/Nominals/Internal.hs b/test/conformance-snapshot/Generated/HospitalCapacity/Nominals/Internal.hs --- a/test/conformance-snapshot/Generated/HospitalCapacity/Nominals/Internal.hs +++ b/test/conformance-snapshot/Generated/HospitalCapacity/Nominals/Internal.hs @@ -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 diff --git a/test/conformance-snapshot/Generated/HospitalCapacity/ReplayAudit.hs b/test/conformance-snapshot/Generated/HospitalCapacity/ReplayAudit.hs --- a/test/conformance-snapshot/Generated/HospitalCapacity/ReplayAudit.hs +++ b/test/conformance-snapshot/Generated/HospitalCapacity/ReplayAudit.hs @@ -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; diff --git a/test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Codec.hs b/test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Codec.hs --- a/test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Codec.hs +++ b/test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Codec.hs @@ -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, diff --git a/test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Domain.hs b/test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Domain.hs --- a/test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Domain.hs +++ b/test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Domain.hs @@ -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) diff --git a/test/conformance-snapshot/Generated/HospitalCapacity/Reservation/EventStream.hs b/test/conformance-snapshot/Generated/HospitalCapacity/Reservation/EventStream.hs --- a/test/conformance-snapshot/Generated/HospitalCapacity/Reservation/EventStream.hs +++ b/test/conformance-snapshot/Generated/HospitalCapacity/Reservation/EventStream.hs @@ -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 diff --git a/test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Transducer.hs b/test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Transducer.hs --- a/test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Transducer.hs +++ b/test/conformance-snapshot/Generated/HospitalCapacity/Reservation/Transducer.hs @@ -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 diff --git a/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/BehaviorContract.hs b/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/BehaviorContract.hs --- a/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/BehaviorContract.hs +++ b/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/BehaviorContract.hs @@ -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 (..) diff --git a/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Codec.hs b/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Codec.hs --- a/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Codec.hs +++ b/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Codec.hs @@ -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, diff --git a/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Domain.hs b/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Domain.hs --- a/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Domain.hs +++ b/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Domain.hs @@ -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 (..)) diff --git a/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/EventStream.hs b/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/EventStream.hs --- a/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/EventStream.hs +++ b/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/EventStream.hs @@ -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 diff --git a/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Harness.hs b/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Harness.hs --- a/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Harness.hs +++ b/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Harness.hs @@ -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 diff --git a/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Projection.hs b/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Projection.hs --- a/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Projection.hs +++ b/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Projection.hs @@ -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. diff --git a/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Transducer.hs b/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Transducer.hs --- a/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Transducer.hs +++ b/test/conformance-structural/Generated/StructuralConformance/ArtifactCatalog/Transducer.hs @@ -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 diff --git a/test/conformance-structural/Generated/StructuralConformance/BehaviorSourceMap.hs b/test/conformance-structural/Generated/StructuralConformance/BehaviorSourceMap.hs --- a/test/conformance-structural/Generated/StructuralConformance/BehaviorSourceMap.hs +++ b/test/conformance-structural/Generated/StructuralConformance/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-structural/Generated/StructuralConformance/ReplayAudit.hs b/test/conformance-structural/Generated/StructuralConformance/ReplayAudit.hs --- a/test/conformance-structural/Generated/StructuralConformance/ReplayAudit.hs +++ b/test/conformance-structural/Generated/StructuralConformance/ReplayAudit.hs @@ -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; diff --git a/test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactInfo.hs b/test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactInfo.hs --- a/test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactInfo.hs +++ b/test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactInfo.hs @@ -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) diff --git a/test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactKind.hs b/test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactKind.hs --- a/test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactKind.hs +++ b/test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactKind.hs @@ -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) diff --git a/test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactLocation.hs b/test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactLocation.hs --- a/test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactLocation.hs +++ b/test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactLocation.hs @@ -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) diff --git a/test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactMetadata.hs b/test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactMetadata.hs --- a/test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactMetadata.hs +++ b/test/conformance-structural/Generated/StructuralConformance/Structural/Shape/ArtifactMetadata.hs @@ -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) diff --git a/test/conformance-structural/Generated/StructuralConformance/StructuralConformance.hs b/test/conformance-structural/Generated/StructuralConformance/StructuralConformance.hs --- a/test/conformance-structural/Generated/StructuralConformance/StructuralConformance.hs +++ b/test/conformance-structural/Generated/StructuralConformance/StructuralConformance.hs @@ -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 diff --git a/test/conformance-structural/Generated/StructuralConformance/StructuralProjections.hs b/test/conformance-structural/Generated/StructuralConformance/StructuralProjections.hs --- a/test/conformance-structural/Generated/StructuralConformance/StructuralProjections.hs +++ b/test/conformance-structural/Generated/StructuralConformance/StructuralProjections.hs @@ -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 diff --git a/test/conformance-v2/Generated/HospitalCapacity/BehaviorSourceMap.hs b/test/conformance-v2/Generated/HospitalCapacity/BehaviorSourceMap.hs --- a/test/conformance-v2/Generated/HospitalCapacity/BehaviorSourceMap.hs +++ b/test/conformance-v2/Generated/HospitalCapacity/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-v2/Generated/HospitalCapacity/Nominals.hs b/test/conformance-v2/Generated/HospitalCapacity/Nominals.hs --- a/test/conformance-v2/Generated/HospitalCapacity/Nominals.hs +++ b/test/conformance-v2/Generated/HospitalCapacity/Nominals.hs @@ -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 diff --git a/test/conformance-v2/Generated/HospitalCapacity/Nominals/Internal.hs b/test/conformance-v2/Generated/HospitalCapacity/Nominals/Internal.hs --- a/test/conformance-v2/Generated/HospitalCapacity/Nominals/Internal.hs +++ b/test/conformance-v2/Generated/HospitalCapacity/Nominals/Internal.hs @@ -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 diff --git a/test/conformance-v2/Generated/HospitalCapacity/ReplayAudit.hs b/test/conformance-v2/Generated/HospitalCapacity/ReplayAudit.hs --- a/test/conformance-v2/Generated/HospitalCapacity/ReplayAudit.hs +++ b/test/conformance-v2/Generated/HospitalCapacity/ReplayAudit.hs @@ -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; diff --git a/test/conformance-v2/Generated/HospitalCapacity/Reservation/Codec.hs b/test/conformance-v2/Generated/HospitalCapacity/Reservation/Codec.hs --- a/test/conformance-v2/Generated/HospitalCapacity/Reservation/Codec.hs +++ b/test/conformance-v2/Generated/HospitalCapacity/Reservation/Codec.hs @@ -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, diff --git a/test/conformance-v2/Generated/HospitalCapacity/Reservation/Domain.hs b/test/conformance-v2/Generated/HospitalCapacity/Reservation/Domain.hs --- a/test/conformance-v2/Generated/HospitalCapacity/Reservation/Domain.hs +++ b/test/conformance-v2/Generated/HospitalCapacity/Reservation/Domain.hs @@ -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 (..)) diff --git a/test/conformance-v2/Generated/HospitalCapacity/Reservation/EventStream.hs b/test/conformance-v2/Generated/HospitalCapacity/Reservation/EventStream.hs --- a/test/conformance-v2/Generated/HospitalCapacity/Reservation/EventStream.hs +++ b/test/conformance-v2/Generated/HospitalCapacity/Reservation/EventStream.hs @@ -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 diff --git a/test/conformance-v2/Generated/HospitalCapacity/Reservation/Harness.hs b/test/conformance-v2/Generated/HospitalCapacity/Reservation/Harness.hs --- a/test/conformance-v2/Generated/HospitalCapacity/Reservation/Harness.hs +++ b/test/conformance-v2/Generated/HospitalCapacity/Reservation/Harness.hs @@ -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 diff --git a/test/conformance-v2/Generated/HospitalCapacity/Reservation/Projection.hs b/test/conformance-v2/Generated/HospitalCapacity/Reservation/Projection.hs --- a/test/conformance-v2/Generated/HospitalCapacity/Reservation/Projection.hs +++ b/test/conformance-v2/Generated/HospitalCapacity/Reservation/Projection.hs @@ -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 diff --git a/test/conformance-v2/Generated/HospitalCapacity/Reservation/Transducer.hs b/test/conformance-v2/Generated/HospitalCapacity/Reservation/Transducer.hs --- a/test/conformance-v2/Generated/HospitalCapacity/Reservation/Transducer.hs +++ b/test/conformance-v2/Generated/HospitalCapacity/Reservation/Transducer.hs @@ -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 diff --git a/test/conformance-workflow-full/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowRuntime.hs b/test/conformance-workflow-full/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowRuntime.hs --- a/test/conformance-workflow-full/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowRuntime.hs +++ b/test/conformance-workflow-full/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowRuntime.hs @@ -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 diff --git a/test/conformance-workflow-runtime/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowRuntime.hs b/test/conformance-workflow-runtime/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowRuntime.hs --- a/test/conformance-workflow-runtime/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowRuntime.hs +++ b/test/conformance-workflow-runtime/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowRuntime.hs @@ -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 diff --git a/test/conformance-workflow/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowFacts.hs b/test/conformance-workflow/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowFacts.hs --- a/test/conformance-workflow/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowFacts.hs +++ b/test/conformance-workflow/Generated/HospitalCapacity/HospitalTransferReservation/WorkflowFacts.hs @@ -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. diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/BehaviorSourceMap.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/BehaviorSourceMap.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/BehaviorSourceMap.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Nominals.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Nominals.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Nominals.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Nominals.hs @@ -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 diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Nominals/Internal.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Nominals/Internal.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Nominals/Internal.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Nominals/Internal.hs @@ -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 diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/BehaviorContract.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/BehaviorContract.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/BehaviorContract.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/BehaviorContract.hs @@ -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 (..) diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Codec.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Codec.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Codec.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Codec.hs @@ -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, diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Domain.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Domain.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Domain.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Domain.hs @@ -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 (..)) diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/EventStream.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/EventStream.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/EventStream.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/EventStream.hs @@ -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 diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Harness.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Harness.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Harness.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Harness.hs @@ -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 diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Projection.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Projection.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Projection.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Projection.hs @@ -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. diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Transducer.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Transducer.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Transducer.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Transducer.hs @@ -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 diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/BehaviorContract.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/BehaviorContract.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/BehaviorContract.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/BehaviorContract.hs @@ -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 (..) diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Codec.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Codec.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Codec.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Codec.hs @@ -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, diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Domain.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Domain.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Domain.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Domain.hs @@ -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 (..)) diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/EventStream.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/EventStream.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/EventStream.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/EventStream.hs @@ -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 diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Harness.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Harness.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Harness.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Harness.hs @@ -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 diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Projection.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Projection.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Projection.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Projection.hs @@ -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. diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Transducer.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Transducer.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Transducer.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ProjectArtifact/Transducer.hs @@ -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 diff --git a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ReplayAudit.hs b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ReplayAudit.hs --- a/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ReplayAudit.hs +++ b/test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/ReplayAudit.hs @@ -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; diff --git a/test/conformance/Generated/HospitalCapacity/BehaviorSourceMap.hs b/test/conformance/Generated/HospitalCapacity/BehaviorSourceMap.hs --- a/test/conformance/Generated/HospitalCapacity/BehaviorSourceMap.hs +++ b/test/conformance/Generated/HospitalCapacity/BehaviorSourceMap.hs @@ -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 diff --git a/test/conformance/Generated/HospitalCapacity/Nominals.hs b/test/conformance/Generated/HospitalCapacity/Nominals.hs --- a/test/conformance/Generated/HospitalCapacity/Nominals.hs +++ b/test/conformance/Generated/HospitalCapacity/Nominals.hs @@ -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 diff --git a/test/conformance/Generated/HospitalCapacity/Nominals/Internal.hs b/test/conformance/Generated/HospitalCapacity/Nominals/Internal.hs --- a/test/conformance/Generated/HospitalCapacity/Nominals/Internal.hs +++ b/test/conformance/Generated/HospitalCapacity/Nominals/Internal.hs @@ -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 diff --git a/test/conformance/Generated/HospitalCapacity/ReplayAudit.hs b/test/conformance/Generated/HospitalCapacity/ReplayAudit.hs --- a/test/conformance/Generated/HospitalCapacity/ReplayAudit.hs +++ b/test/conformance/Generated/HospitalCapacity/ReplayAudit.hs @@ -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; diff --git a/test/conformance/Generated/HospitalCapacity/Reservation/Codec.hs b/test/conformance/Generated/HospitalCapacity/Reservation/Codec.hs --- a/test/conformance/Generated/HospitalCapacity/Reservation/Codec.hs +++ b/test/conformance/Generated/HospitalCapacity/Reservation/Codec.hs @@ -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, diff --git a/test/conformance/Generated/HospitalCapacity/Reservation/Domain.hs b/test/conformance/Generated/HospitalCapacity/Reservation/Domain.hs --- a/test/conformance/Generated/HospitalCapacity/Reservation/Domain.hs +++ b/test/conformance/Generated/HospitalCapacity/Reservation/Domain.hs @@ -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 (..)) diff --git a/test/conformance/Generated/HospitalCapacity/Reservation/EventStream.hs b/test/conformance/Generated/HospitalCapacity/Reservation/EventStream.hs --- a/test/conformance/Generated/HospitalCapacity/Reservation/EventStream.hs +++ b/test/conformance/Generated/HospitalCapacity/Reservation/EventStream.hs @@ -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 diff --git a/test/conformance/Generated/HospitalCapacity/Reservation/Harness.hs b/test/conformance/Generated/HospitalCapacity/Reservation/Harness.hs --- a/test/conformance/Generated/HospitalCapacity/Reservation/Harness.hs +++ b/test/conformance/Generated/HospitalCapacity/Reservation/Harness.hs @@ -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 diff --git a/test/conformance/Generated/HospitalCapacity/Reservation/Projection.hs b/test/conformance/Generated/HospitalCapacity/Reservation/Projection.hs --- a/test/conformance/Generated/HospitalCapacity/Reservation/Projection.hs +++ b/test/conformance/Generated/HospitalCapacity/Reservation/Projection.hs @@ -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 diff --git a/test/conformance/Generated/HospitalCapacity/Reservation/Transducer.hs b/test/conformance/Generated/HospitalCapacity/Reservation/Transducer.hs --- a/test/conformance/Generated/HospitalCapacity/Reservation/Transducer.hs +++ b/test/conformance/Generated/HospitalCapacity/Reservation/Transducer.hs @@ -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