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 SkelAggregate.Generated.MyService.ReplayAudit (auditTargets) where

import Keiro.ReplayAudit (AuditTarget (..), SomeAuditTarget (..), streamInCategory)
import Keiro.Stream qualified as Stream
import SkelAggregate.Generated.MyService.Thing.EventStream qualified as Thing

auditTargets :: [SomeAuditTarget]
auditTargets =
    [ SomeAuditTarget
        AuditTarget
            { eventStream = Thing.thingEventStream
            , category = Stream.categoryText Thing.thingCategory
            , mkStream = streamInCategory (Stream.categoryText Thing.thingCategory)
            }
    ]