QueueCodec.hs

-- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from workqueue replay_jobs; do not edit.
-- | Versioned job payload envelope: @{\"v\",\"t\",\"data\"}@.
--
-- Deploy workers before producers when raising its schema version. Do not
-- adopt this codec on a non-empty bare-payload queue without draining it
-- (or supplying a transitional codec), or in-flight messages will
-- dead-letter. This is telemetry-neutral:
-- docs/adr/0001-keiro-pgmq-job-processing-telemetry-contract.md owns
-- spans and acknowledgement vocabulary.
module Generated.CheckedMappingReplay.ReplayJobs.QueueCodec (replayJobsPayloadCodec, replayJobsJobCodec) where

import Data.List.NonEmpty (NonEmpty (..))
import Keiro.Codec (Codec (..), EventType (..))
import Keiro.PGMQ.Codec (JobCodec, keiroJobCodec)
import Generated.CheckedMappingReplay.ReplayJobs.Queue (ReplayJob, encodeReplayJob, parseReplayJob)

replayJobsPayloadCodec :: Codec ReplayJob
replayJobsPayloadCodec =
  Codec
    { eventTypes = EventType "ReplayJob" :| []
    , eventType = \_ -> EventType "ReplayJob"
    , schemaVersion = 1
    , encode = encodeReplayJob
    , decode = \_ -> parseReplayJob
    , upcasters = []
    }

replayJobsJobCodec :: JobCodec ReplayJob
replayJobsJobCodec = keiroJobCodec replayJobsPayloadCodec