module Stratosphere.FMS.Policy.IcmpTypeCodeProperty (
        IcmpTypeCodeProperty(..), mkIcmpTypeCodeProperty
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import Stratosphere.ResourceProperties
import Stratosphere.Value
data IcmpTypeCodeProperty
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-fms-policy-icmptypecode.html>
    IcmpTypeCodeProperty {IcmpTypeCodeProperty -> ()
haddock_workaround_ :: (),
                          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-fms-policy-icmptypecode.html#cfn-fms-policy-icmptypecode-code>
                          IcmpTypeCodeProperty -> Value Integer
code :: (Value Prelude.Integer),
                          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-fms-policy-icmptypecode.html#cfn-fms-policy-icmptypecode-type>
                          IcmpTypeCodeProperty -> Value Integer
type' :: (Value Prelude.Integer)}
  deriving stock (IcmpTypeCodeProperty -> IcmpTypeCodeProperty -> Bool
(IcmpTypeCodeProperty -> IcmpTypeCodeProperty -> Bool)
-> (IcmpTypeCodeProperty -> IcmpTypeCodeProperty -> Bool)
-> Eq IcmpTypeCodeProperty
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: IcmpTypeCodeProperty -> IcmpTypeCodeProperty -> Bool
== :: IcmpTypeCodeProperty -> IcmpTypeCodeProperty -> Bool
$c/= :: IcmpTypeCodeProperty -> IcmpTypeCodeProperty -> Bool
/= :: IcmpTypeCodeProperty -> IcmpTypeCodeProperty -> Bool
Prelude.Eq, Int -> IcmpTypeCodeProperty -> ShowS
[IcmpTypeCodeProperty] -> ShowS
IcmpTypeCodeProperty -> String
(Int -> IcmpTypeCodeProperty -> ShowS)
-> (IcmpTypeCodeProperty -> String)
-> ([IcmpTypeCodeProperty] -> ShowS)
-> Show IcmpTypeCodeProperty
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> IcmpTypeCodeProperty -> ShowS
showsPrec :: Int -> IcmpTypeCodeProperty -> ShowS
$cshow :: IcmpTypeCodeProperty -> String
show :: IcmpTypeCodeProperty -> String
$cshowList :: [IcmpTypeCodeProperty] -> ShowS
showList :: [IcmpTypeCodeProperty] -> ShowS
Prelude.Show)
mkIcmpTypeCodeProperty ::
  Value Prelude.Integer
  -> Value Prelude.Integer -> IcmpTypeCodeProperty
mkIcmpTypeCodeProperty :: Value Integer -> Value Integer -> IcmpTypeCodeProperty
mkIcmpTypeCodeProperty Value Integer
code Value Integer
type'
  = IcmpTypeCodeProperty
      {haddock_workaround_ :: ()
haddock_workaround_ = (), code :: Value Integer
code = Value Integer
code, type' :: Value Integer
type' = Value Integer
type'}
instance ToResourceProperties IcmpTypeCodeProperty where
  toResourceProperties :: IcmpTypeCodeProperty -> ResourceProperties
toResourceProperties IcmpTypeCodeProperty {()
Value Integer
haddock_workaround_ :: IcmpTypeCodeProperty -> ()
code :: IcmpTypeCodeProperty -> Value Integer
type' :: IcmpTypeCodeProperty -> Value Integer
haddock_workaround_ :: ()
code :: Value Integer
type' :: Value Integer
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::FMS::Policy.IcmpTypeCode",
         supportsTags :: Bool
supportsTags = Bool
Prelude.False,
         properties :: Object
properties = [Key
"Code" Key -> Value Integer -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
JSON..= Value Integer
code, Key
"Type" Key -> Value Integer -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
JSON..= Value Integer
type']}
instance JSON.ToJSON IcmpTypeCodeProperty where
  toJSON :: IcmpTypeCodeProperty -> Value
toJSON IcmpTypeCodeProperty {()
Value Integer
haddock_workaround_ :: IcmpTypeCodeProperty -> ()
code :: IcmpTypeCodeProperty -> Value Integer
type' :: IcmpTypeCodeProperty -> Value Integer
haddock_workaround_ :: ()
code :: Value Integer
type' :: Value Integer
..}
    = [(Key, Value)] -> Value
JSON.object [Key
"Code" Key -> Value Integer -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
JSON..= Value Integer
code, Key
"Type" Key -> Value Integer -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
JSON..= Value Integer
type']
instance Property "Code" IcmpTypeCodeProperty where
  type PropertyType "Code" IcmpTypeCodeProperty = Value Prelude.Integer
  set :: PropertyType "Code" IcmpTypeCodeProperty
-> IcmpTypeCodeProperty -> IcmpTypeCodeProperty
set PropertyType "Code" IcmpTypeCodeProperty
newValue IcmpTypeCodeProperty {()
Value Integer
haddock_workaround_ :: IcmpTypeCodeProperty -> ()
code :: IcmpTypeCodeProperty -> Value Integer
type' :: IcmpTypeCodeProperty -> Value Integer
haddock_workaround_ :: ()
code :: Value Integer
type' :: Value Integer
..}
    = IcmpTypeCodeProperty {code :: Value Integer
code = PropertyType "Code" IcmpTypeCodeProperty
Value Integer
newValue, ()
Value Integer
haddock_workaround_ :: ()
type' :: Value Integer
haddock_workaround_ :: ()
type' :: Value Integer
..}
instance Property "Type" IcmpTypeCodeProperty where
  type PropertyType "Type" IcmpTypeCodeProperty = Value Prelude.Integer
  set :: PropertyType "Type" IcmpTypeCodeProperty
-> IcmpTypeCodeProperty -> IcmpTypeCodeProperty
set PropertyType "Type" IcmpTypeCodeProperty
newValue IcmpTypeCodeProperty {()
Value Integer
haddock_workaround_ :: IcmpTypeCodeProperty -> ()
code :: IcmpTypeCodeProperty -> Value Integer
type' :: IcmpTypeCodeProperty -> Value Integer
haddock_workaround_ :: ()
code :: Value Integer
type' :: Value Integer
..}
    = IcmpTypeCodeProperty {type' :: Value Integer
type' = PropertyType "Type" IcmpTypeCodeProperty
Value Integer
newValue, ()
Value Integer
haddock_workaround_ :: ()
code :: Value Integer
haddock_workaround_ :: ()
code :: Value Integer
..}