Input.hs

{-# LANGUAGE DeriveAnyClass #-}
-- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process input ReplayReaction; do not edit.
module Generated.CheckedMappingReplay.ReplayReaction.Input (ReplayReactionInput (..)) where

import Data.Aeson (FromJSON, ToJSON)
import GHC.Generics (Generic)
import Generated.CheckedMappingReplay.Nominals qualified as N
import Conformance.CheckedMappingReplay.Domain (ReplayEnvelope)

data ReplayReactionInput
  = ReplayRequested
      { retainedId :: !N.RetainedId
      , envelope :: !ReplayEnvelope
      }
  deriving stock (Generic, Eq, Show)
  deriving anyclass (FromJSON, ToJSON)