Conformance.hs

-- @generated by keiro-dsl 0.10.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 Hospital
import Generated.TransferRouting.HospitalLoad.ReadModelHarness qualified as HospitalLoad
import Generated.TransferRouting.HospitalTransferRouter.RouterHarness qualified as HospitalTransferRouter

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

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