Conformance.hs

-- @generated by keiro-dsl 0.9.0.0 (language keiro-dsl 4) from context transfer-routing service conformance facade; do not edit.
module Generated.TransferRouting.Conformance
  ( runServiceConformanceChecks
  , serviceConformanceFacts
  ) where

import Generated.TransferRouting.Hospital.Harness qualified as Harness0
import Generated.TransferRouting.Hospital_load.ReadModelHarness qualified as Harness1
import Generated.TransferRouting.HospitalTransferRouter.RouterHarness qualified as Harness2

runServiceConformanceChecks :: IO [(String, Bool)]
runServiceConformanceChecks =
  pure
    ( [("aggregate/Hospital/" <> fact, passed) | (fact, passed) <- Harness0.harnessAssertions]
        <> [("readmodel/hospital_load/" <> fact, passed) | (fact, passed) <- Harness1.readModelFactResults]
    )

serviceConformanceFacts :: [(String, String)]
serviceConformanceFacts =
  [("router/HospitalTransferRouter/" <> fact, value) | (fact, value) <- Harness2.routerHarnessValues]