keiro-dsl-cabal-fragment.workspace.workspace-proof.txt

-- keiro-dsl build manifest for service.keiro-workspace
-- Paste the complete fragment below into the consuming Cabal stanza.
-- The generated layer is overwritten on every scaffold; hole modules are
-- create-if-absent (filled by hand).

default-language: GHC2024
default-extensions:
    DuplicateRecordFields
    NoFieldSelectors
    OverloadedRecordDot
    OverloadedStrings

exposed-modules:
    Proof.WorkspaceProof.Generated.Conformance

other-modules:
    Proof.WorkspaceProof.Alpha.BehaviorHoles
    Proof.WorkspaceProof.Alpha.Generated.BehaviorContract
    Proof.WorkspaceProof.Alpha.Generated.Codec
    Proof.WorkspaceProof.Alpha.Generated.Domain
    Proof.WorkspaceProof.Alpha.Generated.EventStream
    Proof.WorkspaceProof.Alpha.Generated.Harness
    Proof.WorkspaceProof.Alpha.Generated.Projection
    Proof.WorkspaceProof.Alpha.Generated.Transducer
    Proof.WorkspaceProof.AlphaView.Generated.ReadModel
    Proof.WorkspaceProof.AlphaView.Generated.ReadModelHarness
    Proof.WorkspaceProof.AlphaView.Generated.ReadModelTable
    Proof.WorkspaceProof.AlphaView.ReadModelHoles
    Proof.WorkspaceProof.Beta.BehaviorHoles
    Proof.WorkspaceProof.Beta.Generated.BehaviorContract
    Proof.WorkspaceProof.Beta.Generated.Codec
    Proof.WorkspaceProof.Beta.Generated.Domain
    Proof.WorkspaceProof.Beta.Generated.EventStream
    Proof.WorkspaceProof.Beta.Generated.Harness
    Proof.WorkspaceProof.Beta.Generated.Projection
    Proof.WorkspaceProof.Beta.Generated.Transducer
    Proof.WorkspaceProof.BetaView.Generated.ReadModel
    Proof.WorkspaceProof.BetaView.Generated.ReadModelHarness
    Proof.WorkspaceProof.BetaView.Generated.ReadModelTable
    Proof.WorkspaceProof.BetaView.ReadModelHoles
    Proof.WorkspaceProof.Generated.BehaviorSourceMap
    Proof.WorkspaceProof.Generated.Nominals
    Proof.WorkspaceProof.Generated.Nominals.Internal
    Proof.WorkspaceProof.Generated.ReplayAudit
    Proof.WorkspaceProof.WorkspaceProofWorkflow.Generated.WorkflowFacts
    Proof.WorkspaceProof.WorkspaceProofWorkflow.Generated.WorkflowRuntime

build-depends:
    , aeson
    , base
    , containers
    , effectful-core
    , hasql-transaction
    , keiki
    , keiro
    , kiroku-store
    , text