Input.hs

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

import Data.Aeson (FromJSON, ToJSON)
import GHC.Generics (Generic)
import Generated.ProcessReactions.Nominals qualified as N

data ScalingReactionInput
  = FanOut8Same
      { incidentId :: !N.IncidentId
      }
  | FanOut32Same
      { incidentId :: !N.IncidentId
      }
  | FanOut128Same
      { incidentId :: !N.IncidentId
      }
  | FanOut8Distinct
      { incidentId :: !N.IncidentId
      , target001 :: !N.IncidentId
      , target002 :: !N.IncidentId
      , target003 :: !N.IncidentId
      , target004 :: !N.IncidentId
      , target005 :: !N.IncidentId
      , target006 :: !N.IncidentId
      , target007 :: !N.IncidentId
      , target008 :: !N.IncidentId
      }
  | FanOut32Distinct
      { incidentId :: !N.IncidentId
      , target001 :: !N.IncidentId
      , target002 :: !N.IncidentId
      , target003 :: !N.IncidentId
      , target004 :: !N.IncidentId
      , target005 :: !N.IncidentId
      , target006 :: !N.IncidentId
      , target007 :: !N.IncidentId
      , target008 :: !N.IncidentId
      , target009 :: !N.IncidentId
      , target010 :: !N.IncidentId
      , target011 :: !N.IncidentId
      , target012 :: !N.IncidentId
      , target013 :: !N.IncidentId
      , target014 :: !N.IncidentId
      , target015 :: !N.IncidentId
      , target016 :: !N.IncidentId
      , target017 :: !N.IncidentId
      , target018 :: !N.IncidentId
      , target019 :: !N.IncidentId
      , target020 :: !N.IncidentId
      , target021 :: !N.IncidentId
      , target022 :: !N.IncidentId
      , target023 :: !N.IncidentId
      , target024 :: !N.IncidentId
      , target025 :: !N.IncidentId
      , target026 :: !N.IncidentId
      , target027 :: !N.IncidentId
      , target028 :: !N.IncidentId
      , target029 :: !N.IncidentId
      , target030 :: !N.IncidentId
      , target031 :: !N.IncidentId
      , target032 :: !N.IncidentId
      }
  | FanOut128Distinct
      { incidentId :: !N.IncidentId
      , target001 :: !N.IncidentId
      , target002 :: !N.IncidentId
      , target003 :: !N.IncidentId
      , target004 :: !N.IncidentId
      , target005 :: !N.IncidentId
      , target006 :: !N.IncidentId
      , target007 :: !N.IncidentId
      , target008 :: !N.IncidentId
      , target009 :: !N.IncidentId
      , target010 :: !N.IncidentId
      , target011 :: !N.IncidentId
      , target012 :: !N.IncidentId
      , target013 :: !N.IncidentId
      , target014 :: !N.IncidentId
      , target015 :: !N.IncidentId
      , target016 :: !N.IncidentId
      , target017 :: !N.IncidentId
      , target018 :: !N.IncidentId
      , target019 :: !N.IncidentId
      , target020 :: !N.IncidentId
      , target021 :: !N.IncidentId
      , target022 :: !N.IncidentId
      , target023 :: !N.IncidentId
      , target024 :: !N.IncidentId
      , target025 :: !N.IncidentId
      , target026 :: !N.IncidentId
      , target027 :: !N.IncidentId
      , target028 :: !N.IncidentId
      , target029 :: !N.IncidentId
      , target030 :: !N.IncidentId
      , target031 :: !N.IncidentId
      , target032 :: !N.IncidentId
      , target033 :: !N.IncidentId
      , target034 :: !N.IncidentId
      , target035 :: !N.IncidentId
      , target036 :: !N.IncidentId
      , target037 :: !N.IncidentId
      , target038 :: !N.IncidentId
      , target039 :: !N.IncidentId
      , target040 :: !N.IncidentId
      , target041 :: !N.IncidentId
      , target042 :: !N.IncidentId
      , target043 :: !N.IncidentId
      , target044 :: !N.IncidentId
      , target045 :: !N.IncidentId
      , target046 :: !N.IncidentId
      , target047 :: !N.IncidentId
      , target048 :: !N.IncidentId
      , target049 :: !N.IncidentId
      , target050 :: !N.IncidentId
      , target051 :: !N.IncidentId
      , target052 :: !N.IncidentId
      , target053 :: !N.IncidentId
      , target054 :: !N.IncidentId
      , target055 :: !N.IncidentId
      , target056 :: !N.IncidentId
      , target057 :: !N.IncidentId
      , target058 :: !N.IncidentId
      , target059 :: !N.IncidentId
      , target060 :: !N.IncidentId
      , target061 :: !N.IncidentId
      , target062 :: !N.IncidentId
      , target063 :: !N.IncidentId
      , target064 :: !N.IncidentId
      , target065 :: !N.IncidentId
      , target066 :: !N.IncidentId
      , target067 :: !N.IncidentId
      , target068 :: !N.IncidentId
      , target069 :: !N.IncidentId
      , target070 :: !N.IncidentId
      , target071 :: !N.IncidentId
      , target072 :: !N.IncidentId
      , target073 :: !N.IncidentId
      , target074 :: !N.IncidentId
      , target075 :: !N.IncidentId
      , target076 :: !N.IncidentId
      , target077 :: !N.IncidentId
      , target078 :: !N.IncidentId
      , target079 :: !N.IncidentId
      , target080 :: !N.IncidentId
      , target081 :: !N.IncidentId
      , target082 :: !N.IncidentId
      , target083 :: !N.IncidentId
      , target084 :: !N.IncidentId
      , target085 :: !N.IncidentId
      , target086 :: !N.IncidentId
      , target087 :: !N.IncidentId
      , target088 :: !N.IncidentId
      , target089 :: !N.IncidentId
      , target090 :: !N.IncidentId
      , target091 :: !N.IncidentId
      , target092 :: !N.IncidentId
      , target093 :: !N.IncidentId
      , target094 :: !N.IncidentId
      , target095 :: !N.IncidentId
      , target096 :: !N.IncidentId
      , target097 :: !N.IncidentId
      , target098 :: !N.IncidentId
      , target099 :: !N.IncidentId
      , target100 :: !N.IncidentId
      , target101 :: !N.IncidentId
      , target102 :: !N.IncidentId
      , target103 :: !N.IncidentId
      , target104 :: !N.IncidentId
      , target105 :: !N.IncidentId
      , target106 :: !N.IncidentId
      , target107 :: !N.IncidentId
      , target108 :: !N.IncidentId
      , target109 :: !N.IncidentId
      , target110 :: !N.IncidentId
      , target111 :: !N.IncidentId
      , target112 :: !N.IncidentId
      , target113 :: !N.IncidentId
      , target114 :: !N.IncidentId
      , target115 :: !N.IncidentId
      , target116 :: !N.IncidentId
      , target117 :: !N.IncidentId
      , target118 :: !N.IncidentId
      , target119 :: !N.IncidentId
      , target120 :: !N.IncidentId
      , target121 :: !N.IncidentId
      , target122 :: !N.IncidentId
      , target123 :: !N.IncidentId
      , target124 :: !N.IncidentId
      , target125 :: !N.IncidentId
      , target126 :: !N.IncidentId
      , target127 :: !N.IncidentId
      , target128 :: !N.IncidentId
      }
  deriving stock (Generic, Eq, Show)
  deriving anyclass (FromJSON, ToJSON)