ReplayAudit.hs

{-# LANGUAGE GADTs #-}

-- @generated by keiro-dsl; do not edit. Regenerated from the .keiro spec.
--
-- Deployment contract:
--   * replay-neutral diff: no data audit is required;
--   * affected diff: run AuditTargeted with the emitted affected set
--     against a production copy under the candidate binary;
--   * one-time runtime cutover: run AuditFull;
--   * any non-zero audit exit blocks deployment.
module Generated.SurgeDemo.ReplayAudit (auditTargets) where

import Generated.SurgeDemo.Hospital.EventStream qualified as Hospital
import Generated.SurgeDemo.Surge.EventStream qualified as Surge
import Keiro.ReplayAudit (AuditTarget (..), SomeAuditTarget (..), streamInCategory)
import Keiro.Stream qualified as Stream

auditTargets :: [SomeAuditTarget]
auditTargets =
    [ SomeAuditTarget
        AuditTarget
            { eventStream = Hospital.hospitalEventStream
            , category = Stream.categoryText Hospital.hospitalCategory
            , mkStream = streamInCategory (Stream.categoryText Hospital.hospitalCategory)
            }
    , SomeAuditTarget
        AuditTarget
            { eventStream = Surge.surgeEventStream
            , category = Stream.categoryText Surge.surgeCategory
            , mkStream = streamInCategory (Stream.categoryText Surge.surgeCategory)
            }
    ]