Main.hs

{- | Conformance driver for the EP-6 workflow facts harness. The scaffolded
WorkflowFacts module exports the workflow's deterministic decisions; this
driver asserts them against a HAND-WRITTEN expectation, so a spec change
(e.g. renaming the await label) diverges and reddens a specific assertion.
-}
module Main (main) where

import Control.Monad (forM_, unless)
import Generated.HospitalCapacity.HospitalTransferReservation.WorkflowFacts (WorkflowFacts (..), workflowFacts)
import System.Exit (exitFailure)

expected :: WorkflowFacts
expected =
    WorkflowFacts
        { workflowFactName = "hospital-transfer-reservation"
        , workflowFactIdVia = "idText"
        , workflowFactIdField = "reservationId"
        , workflowFactBody =
            [ "step:create-transfer-hold"
            , "patch:fraud-check-v2(step:fraud-check)"
            , "await:reservation-confirmation"
            , "step:release-or-retain-capacity"
            , "step:summarize-reservation"
            , "continueAsNew:RolloverSeed"
            ]
        , workflowFactAwaitLabels = ["reservation-confirmation"]
        , workflowFactPatchIds = ["fraud-check-v2"]
        }

main :: IO ()
main = do
    let results =
            [ ("name", workflowFactName workflowFacts == workflowFactName expected)
            , ("idVia", workflowFactIdVia workflowFacts == workflowFactIdVia expected)
            , ("idField", workflowFactIdField workflowFacts == workflowFactIdField expected)
            , ("body", workflowFactBody workflowFacts == workflowFactBody expected)
            , ("awaits", workflowFactAwaitLabels workflowFacts == workflowFactAwaitLabels expected)
            , ("patches", workflowFactPatchIds workflowFacts == workflowFactPatchIds expected)
            ]
    forM_ results $ \(label, ok) -> putStrLn ((if ok then "PASS  " else "FAIL  ") <> label)
    let failed = [label | (label, ok) <- results, not ok]
    unless (null failed) $ putStrLn ("workflow facts: failed " <> show failed) >> exitFailure