Input.hs

{-# LANGUAGE DeriveAnyClass #-}
-- @generated by keiro-dsl 0.17.0.0 (language keiro-dsl 6) from process input IncidentTimers; do not edit.
module Generated.ProcessTimers.IncidentTimers.Input (IncidentTimersInput (..)) where

import Data.Aeson (FromJSON, ToJSON)
import Data.Text (Text)
import Data.Time (UTCTime)
import GHC.Generics (Generic)
import Generated.ProcessTimers.Nominals qualified as N

data IncidentTimersInput
  = IncidentReported
      { incidentId :: !N.IncidentId
      , raisedAt :: !UTCTime
      , detail :: !Text
      }
  | ResponderAcked
      { incidentId :: !N.IncidentId
      }
  deriving stock (Generic, Eq, Show)
  deriving anyclass (FromJSON, ToJSON)