Harness.hs

{-# LANGUAGE OverloadedStrings #-}

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

import Keiki.Core (defaultValidationOptions, step, validateTransducer)
import Keiro.Codec (eventType)
import SkelProcess.Generated.MyService.Surge.Codec (encodeSurgeEvent, parseSurgeEvent, surgeCodec)
import SkelProcess.Generated.MyService.Surge.Domain
import SkelProcess.MyService.Surge.Holes (surgeTransducer)

{- | (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 surgeTransducer))
    , ("clock-free: spec samples no wall clock", True)
    , ("golden round-trip: SurgeThresholdNoted", roundTrips sampleEventSurgeThresholdNoted)
    , ("golden round-trip: SurgeTimerMarked", roundTrips sampleEventSurgeTimerMarked)
    , ("accepts NoteSurgeThreshold from SurgeIdle", acceptNoteSurgeThreshold)
    , ("accepts MarkSurgeTimerFired from SurgeIdle", acceptMarkSurgeTimerFired)
    ]

roundTrips :: SurgeEvent -> Bool
roundTrips e = parseSurgeEvent (eventType surgeCodec e) (encodeSurgeEvent e) == Right e

sampleEventSurgeThresholdNoted :: SurgeEvent
sampleEventSurgeThresholdNoted = (SurgeThresholdNoted (SurgeThresholdNotedData (HospitalId "sample") 0 0 "sample"))

sampleEventSurgeTimerMarked :: SurgeEvent
sampleEventSurgeTimerMarked = (SurgeTimerMarked (SurgeTimerMarkedData (HospitalId "sample") "sample"))

acceptNoteSurgeThreshold :: Bool
acceptNoteSurgeThreshold =
    case step surgeTransducer (SurgeIdle, initialSurgeRegs) ((NoteSurgeThreshold (NoteSurgeThresholdData (HospitalId "sample") 0 0 "sample"))) of
        Just (v, _, _) -> v == SurgeIdle
        Nothing -> False

acceptMarkSurgeTimerFired :: Bool
acceptMarkSurgeTimerFired =
    case step surgeTransducer (SurgeIdle, initialSurgeRegs) ((MarkSurgeTimerFired (MarkSurgeTimerFiredData (HospitalId "sample") "sample"))) of
        Just (v, _, _) -> v == SurgeFired
        Nothing -> False