WorkflowFacts.hs

{-# LANGUAGE OverloadedStrings #-}

-- @generated by keiro-dsl; do not edit. Regenerated from the .keiro spec.
module SkelWorkflow.Generated.MyService.HospitalTransferReservation.WorkflowFacts (workflowFacts) where

{- | (label, value): the workflow's deterministic decisions, pinned as pure
facts. A driver asserts them against a hand-written expectation, so a spec
change (e.g. renaming an await) reddens a specific assertion.
-}
workflowFacts :: [(String, String)]
workflowFacts =
    [ ("name", "hospital-transfer-reservation")
    , ("idVia", "idText")
    , ("idField", "reservationId")
    , ("body", "step:create-transfer-hold,await:reservation-confirmation,step:summarize-reservation")
    , ("awaits", "reservation-confirmation")
    , ("patches", "")
    ]