WorkflowFacts.hs

-- @generated by keiro-dsl 0.15.0.0 (language keiro-dsl 5) from workflow HospitalTransferReservation; do not edit.
module Generated.HospitalCapacity.HospitalTransferReservation.WorkflowFacts (WorkflowFacts (..), workflowFacts, workflowFactValues) 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
  { name :: !String
  , idVia :: !String
  , idField :: !String
  , body :: ![String]
  , awaitLabels :: ![String]
  , patchIds :: ![String]
  }
  deriving stock (Eq, Show)

workflowFacts :: WorkflowFacts
workflowFacts =
  WorkflowFacts
    { name = "hospital-transfer-reservation"
    , idVia = "idText"
    , idField = "reservationId"
    , body = ["step:create-transfer-hold", "patch:fraud-check-v2(step:fraud-check)", "await:reservation-confirmation", "step:release-or-retain-capacity", "step:summarize-reservation", "continueAsNew:RolloverSeed"]
    , awaitLabels = ["reservation-confirmation"]
    , patchIds = ["fraud-check-v2"]
    }

-- | Base-library projection used by the service-level conformance facade.
workflowFactValues :: [(String, String)]
workflowFactValues =
  [ ("name", workflowFacts.name)
  , ("idVia", workflowFacts.idVia)
  , ("idField", workflowFacts.idField)
  , ("body", show workflowFacts.body)
  , ("awaits", show workflowFacts.awaitLabels)
  , ("patches", show workflowFacts.patchIds)
  ]