ReadModelHarness.hs

-- @generated by keiro-dsl 0.9.0.0 (language keiro-dsl 4) from readmodel hospital_load; do not edit.
module Generated.TransferRouting.Hospital_load.ReadModelHarness (readModelFacts, readModelFactResults, runReadModelFacts) where

-- | (fact, expected from notation, actual shared derivation/lowering).
readModelFacts :: [(String, String, String)]
readModelFacts =
  [ ("registryName", "transfer-routing-hospital-load", "transfer-routing-hospital-load")
  , ("subscriptionName", "transfer-routing-hospital-load-sub", "transfer-routing-hospital-load-sub")
  , ("shapeHash", "fnv1a:977395d28f254ddb", "fnv1a:977395d28f254ddb")
  , ("asyncProjectionName", "transfer-routing-hospital-load-async", "transfer-routing-hospital-load-async")
  , ("consistency", "Eventual", "Eventual")
  , ("strongScope", "EntireLog", "EntireLog")
  ]

readModelFactResults :: [(String, Bool)]
readModelFactResults =
  [(fact, expected == actual) | (fact, expected, actual) <- readModelFacts]

runReadModelFacts :: IO Bool
runReadModelFacts = do
  let failures = [(fact, expected, actual) | (fact, expected, actual) <- readModelFacts, expected /= actual]
  mapM_ (\(fact, expected, actual) -> putStrLn ("FAIL  " <> fact <> " expected=" <> show expected <> " actual=" <> show actual)) failures
  pure (null failures)