Conformance.hs

-- @generated by keiro-dsl 0.15.0.0 (language keiro-dsl 4) from context workspace-proof service conformance facade; do not edit.
module Proof.WorkspaceProof.Generated.Conformance
  ( runServiceConformanceChecks
  , serviceConformanceFacts
  ) where

import Proof.WorkspaceProof.Alpha.Generated.Harness qualified as Alpha
import Proof.WorkspaceProof.Beta.Generated.Harness qualified as Beta
import Proof.WorkspaceProof.AlphaView.Generated.ReadModelHarness qualified as AlphaView
import Proof.WorkspaceProof.BetaView.Generated.ReadModelHarness qualified as BetaView
import Proof.WorkspaceProof.WorkspaceProofWorkflow.Generated.WorkflowFacts qualified as WorkspaceProofWorkflow

runServiceConformanceChecks :: IO [(String, Bool)]
runServiceConformanceChecks =
  pure (
    [("aggregate/Alpha/" <> fact, passed) | (fact, passed) <- Alpha.harnessAssertions]
    <> [("aggregate/Beta/" <> fact, passed) | (fact, passed) <- Beta.harnessAssertions]
    <> [("readmodel/alpha_view/" <> fact, passed) | (fact, passed) <- AlphaView.readModelFactResults]
    <> [("readmodel/beta_view/" <> fact, passed) | (fact, passed) <- BetaView.readModelFactResults]
  )

serviceConformanceFacts :: [(String, String)]
serviceConformanceFacts =
    [("workflow/WorkspaceProofWorkflow/" <> fact, value) | (fact, value) <- WorkspaceProofWorkflow.workflowFactValues]