QueueCodec.hs

-- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from workqueue identity_work; 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.IdAdmissionDomains.IdentityWork.QueueCodec (identityWorkPayloadCodec, identityWorkJobCodec) where

import Data.List.NonEmpty (NonEmpty (..))
import Keiro.Codec (Codec (..), EventType (..))
import Keiro.PGMQ.Codec (JobCodec, keiroJobCodec)
import Generated.IdAdmissionDomains.IdentityWork.Queue (IdentityWork, encodeIdentityWork, parseIdentityWork)

identityWorkPayloadCodec :: Codec IdentityWork
identityWorkPayloadCodec =
  Codec
    { eventTypes = EventType "IdentityWork" :| []
    , eventType = \_ -> EventType "IdentityWork"
    , schemaVersion = 1
    , encode = encodeIdentityWork
    , decode = \_ -> parseIdentityWork
    , upcasters = []
    }

identityWorkJobCodec :: JobCodec IdentityWork
identityWorkJobCodec = keiroJobCodec identityWorkPayloadCodec