Harness.hs

{-# LANGUAGE OverloadedStrings #-}

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

import Keiki.Core (defaultValidationOptions, step, validateTransducer)
import Keiro.Codec (eventType)
import SkelRouter.Generated.MyService.Page.Codec (encodePageEvent, pageCodec, parsePageEvent)
import SkelRouter.Generated.MyService.Page.Domain
import SkelRouter.MyService.Page.Holes (pageTransducer)

{- | (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 pageTransducer))
    , ("clock-free: spec samples no wall clock", True)
    , ("golden round-trip: PageSent", roundTrips sampleEventPageSent)
    , ("accepts SendPage from PagePending", acceptSendPage)
    ]

roundTrips :: PageEvent -> Bool
roundTrips e = parsePageEvent (eventType pageCodec e) (encodePageEvent e) == Right e

sampleEventPageSent :: PageEvent
sampleEventPageSent = (PageSent (PageSentData "sample" "sample"))

acceptSendPage :: Bool
acceptSendPage =
    case step pageTransducer (PagePending, initialPageRegs) ((SendPage (SendPageData "sample" "sample"))) of
        Just (v, _, _) -> v == PageDelivered
        Nothing -> False