ReadModelHarness.hs

-- @generated by keiro-dsl; do not edit. Regenerated from the .keiro spec.
module SkelQueue.Generated.MyService.Accepted_transfer_needs.ReadModelHarness (readModelFacts, runReadModelFacts) where

-- | (fact, expected from notation, actual shared derivation/lowering).
readModelFacts :: [(String, String, String)]
readModelFacts =
    [ ("registryName", "my-service-accepted-transfer-needs", "my-service-accepted-transfer-needs")
    , ("subscriptionName", "my-service-accepted-transfer-needs-sub", "my-service-accepted-transfer-needs-sub")
    , ("shapeHash", "fnv1a:fec517dae7760b8a", "fnv1a:fec517dae7760b8a")
    , ("asyncProjectionName", "my-service-accepted-transfer-needs-async", "my-service-accepted-transfer-needs-async")
    , ("consistency", "Eventual", "Eventual")
    , ("strongScope", "EntireLog", "EntireLog")
    ]

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)