WorkflowFacts.hs

-- @generated by keiro-dsl 0.11.0.0 (language keiro-dsl 4) from workflow HospitalTransferReservation; do not edit.
module SkelWorkflow.Generated.MyService.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", "await:reservation-confirmation", "step:summarize-reservation"]
    , awaitLabels = ["reservation-confirmation"]
    , patchIds = []
    }

-- | 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))
  ]