Harness.hs

{-# LANGUAGE OverloadedStrings #-}

-- @generated by keiro-dsl; do not edit. Regenerated from the .keiro spec.
module Generated.TransferRouting.Hospital.Harness (harnessAssertions) where

import Generated.TransferRouting.Hospital.Codec (encodeHospitalEvent, hospitalCodec, parseHospitalEvent)
import Generated.TransferRouting.Hospital.Domain
import Keiki.Core (defaultValidationOptions, step, validateTransducer)
import Keiro.Codec (eventType)
import TransferRouting.Hospital.Holes (hospitalTransducer)

{- | (label, passed). A driver runs these and exits non-zero on any False,
naming the failing assertion. Filling a hole wrongly turns a specific
entry False; the scaffold cannot.
-}
harnessAssertions :: [(String, Bool)]
harnessAssertions =
    [ ("validateTransducer is empty", null (validateTransducer defaultValidationOptions hospitalTransducer))
    , ("clock-free: spec samples no wall clock", True)
    , ("golden round-trip: AcceptedTransferNeedRouted", roundTrips sampleEventAcceptedTransferNeedRouted)
    , ("accepts RouteAcceptedTransferNeed from HospitalAccepting", acceptRouteAcceptedTransferNeed)
    ]

roundTrips :: HospitalEvent -> Bool
roundTrips e = parseHospitalEvent (eventType hospitalCodec e) (encodeHospitalEvent e) == Right e

sampleEventAcceptedTransferNeedRouted :: HospitalEvent
sampleEventAcceptedTransferNeedRouted = (AcceptedTransferNeedRouted (AcceptedTransferNeedRoutedData "sample" "sample"))

acceptRouteAcceptedTransferNeed :: Bool
acceptRouteAcceptedTransferNeed =
    case step hospitalTransducer (HospitalAccepting, initialHospitalRegs) ((RouteAcceptedTransferNeed (RouteAcceptedTransferNeedData "sample" "sample"))) of
        Just (v, _, _) -> v == HospitalAccepting
        Nothing -> False