QueueCodec.hs

-- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from workqueue mapped_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.MappedQueue.MappedJobs.QueueCodec (mappedJobsPayloadCodec, mappedJobsJobCodec) where

import Data.List.NonEmpty (NonEmpty (..))
import Keiro.Codec (Codec (..), EventType (..))
import Keiro.PGMQ.Codec (JobCodec, keiroJobCodec)
import Generated.MappedQueue.MappedJobs.Queue (MappedJob, encodeMappedJob, parseMappedJob)

mappedJobsPayloadCodec :: Codec MappedJob
mappedJobsPayloadCodec =
  Codec
    { eventTypes = EventType "MappedJob" :| []
    , eventType = \_ -> EventType "MappedJob"
    , schemaVersion = 1
    , encode = encodeMappedJob
    , decode = \_ -> parseMappedJob
    , upcasters = []
    }

mappedJobsJobCodec :: JobCodec MappedJob
mappedJobsJobCodec = keiroJobCodec mappedJobsPayloadCodec