WorkflowFacts.hs

-- @generated by keiro-dsl 0.8.0.0 (language keiro-dsl 4) from workflow HospitalTransferReservation; do not edit.
module Generated.HospitalCapacity.HospitalTransferReservation.WorkflowFacts (WorkflowFacts (..), workflowFacts) where

-- | The workflow's deterministic decisions, pinned as typed pure facts.
-- A driver asserts them against a hand-written expectation, so a spec
-- change (e.g. renaming an await) reddens a specific assertion.
data WorkflowFacts = WorkflowFacts
  { workflowFactName :: !String
  , workflowFactIdVia :: !String
  , workflowFactIdField :: !String
  , workflowFactBody :: ![String]
  , workflowFactAwaitLabels :: ![String]
  , workflowFactPatchIds :: ![String]
  }
  deriving stock (Eq, Show)

workflowFacts :: WorkflowFacts
workflowFacts =
  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"]
    }