module Stratosphere.EC2.VPNConnection.Phase2DHGroupNumbersRequestListValueProperty (
        Phase2DHGroupNumbersRequestListValueProperty(..),
        mkPhase2DHGroupNumbersRequestListValueProperty
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import Stratosphere.ResourceProperties
import Stratosphere.Value
data Phase2DHGroupNumbersRequestListValueProperty
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-ec2-vpnconnection-phase2dhgroupnumbersrequestlistvalue.html>
    Phase2DHGroupNumbersRequestListValueProperty {Phase2DHGroupNumbersRequestListValueProperty -> ()
haddock_workaround_ :: (),
                                                  -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-ec2-vpnconnection-phase2dhgroupnumbersrequestlistvalue.html#cfn-ec2-vpnconnection-phase2dhgroupnumbersrequestlistvalue-value>
                                                  Phase2DHGroupNumbersRequestListValueProperty
-> Maybe (Value Integer)
value :: (Prelude.Maybe (Value Prelude.Integer))}
  deriving stock (Phase2DHGroupNumbersRequestListValueProperty
-> Phase2DHGroupNumbersRequestListValueProperty -> Bool
(Phase2DHGroupNumbersRequestListValueProperty
 -> Phase2DHGroupNumbersRequestListValueProperty -> Bool)
-> (Phase2DHGroupNumbersRequestListValueProperty
    -> Phase2DHGroupNumbersRequestListValueProperty -> Bool)
-> Eq Phase2DHGroupNumbersRequestListValueProperty
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: Phase2DHGroupNumbersRequestListValueProperty
-> Phase2DHGroupNumbersRequestListValueProperty -> Bool
== :: Phase2DHGroupNumbersRequestListValueProperty
-> Phase2DHGroupNumbersRequestListValueProperty -> Bool
$c/= :: Phase2DHGroupNumbersRequestListValueProperty
-> Phase2DHGroupNumbersRequestListValueProperty -> Bool
/= :: Phase2DHGroupNumbersRequestListValueProperty
-> Phase2DHGroupNumbersRequestListValueProperty -> Bool
Prelude.Eq, Int -> Phase2DHGroupNumbersRequestListValueProperty -> ShowS
[Phase2DHGroupNumbersRequestListValueProperty] -> ShowS
Phase2DHGroupNumbersRequestListValueProperty -> String
(Int -> Phase2DHGroupNumbersRequestListValueProperty -> ShowS)
-> (Phase2DHGroupNumbersRequestListValueProperty -> String)
-> ([Phase2DHGroupNumbersRequestListValueProperty] -> ShowS)
-> Show Phase2DHGroupNumbersRequestListValueProperty
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> Phase2DHGroupNumbersRequestListValueProperty -> ShowS
showsPrec :: Int -> Phase2DHGroupNumbersRequestListValueProperty -> ShowS
$cshow :: Phase2DHGroupNumbersRequestListValueProperty -> String
show :: Phase2DHGroupNumbersRequestListValueProperty -> String
$cshowList :: [Phase2DHGroupNumbersRequestListValueProperty] -> ShowS
showList :: [Phase2DHGroupNumbersRequestListValueProperty] -> ShowS
Prelude.Show)
mkPhase2DHGroupNumbersRequestListValueProperty ::
  Phase2DHGroupNumbersRequestListValueProperty
mkPhase2DHGroupNumbersRequestListValueProperty :: Phase2DHGroupNumbersRequestListValueProperty
mkPhase2DHGroupNumbersRequestListValueProperty
  = Phase2DHGroupNumbersRequestListValueProperty
      {haddock_workaround_ :: ()
haddock_workaround_ = (), value :: Maybe (Value Integer)
value = Maybe (Value Integer)
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties Phase2DHGroupNumbersRequestListValueProperty where
  toResourceProperties :: Phase2DHGroupNumbersRequestListValueProperty -> ResourceProperties
toResourceProperties
    Phase2DHGroupNumbersRequestListValueProperty {Maybe (Value Integer)
()
haddock_workaround_ :: Phase2DHGroupNumbersRequestListValueProperty -> ()
value :: Phase2DHGroupNumbersRequestListValueProperty
-> Maybe (Value Integer)
haddock_workaround_ :: ()
value :: Maybe (Value Integer)
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::EC2::VPNConnection.Phase2DHGroupNumbersRequestListValue",
         supportsTags :: Bool
supportsTags = Bool
Prelude.False,
         properties :: Object
properties = [Item Object] -> Object
forall l. IsList l => [Item l] -> l
Prelude.fromList
                        ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes [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..=) Key
"Value" (Value Integer -> (Key, Value))
-> Maybe (Value Integer) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Integer)
value])}
instance JSON.ToJSON Phase2DHGroupNumbersRequestListValueProperty where
  toJSON :: Phase2DHGroupNumbersRequestListValueProperty -> Value
toJSON Phase2DHGroupNumbersRequestListValueProperty {Maybe (Value Integer)
()
haddock_workaround_ :: Phase2DHGroupNumbersRequestListValueProperty -> ()
value :: Phase2DHGroupNumbersRequestListValueProperty
-> Maybe (Value Integer)
haddock_workaround_ :: ()
value :: Maybe (Value Integer)
..}
    = [(Key, Value)] -> Value
JSON.object
        ([Item [(Key, Value)]] -> [(Key, Value)]
forall l. IsList l => [Item l] -> l
Prelude.fromList
           ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes [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..=) Key
"Value" (Value Integer -> (Key, Value))
-> Maybe (Value Integer) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Integer)
value]))
instance Property "Value" Phase2DHGroupNumbersRequestListValueProperty where
  type PropertyType "Value" Phase2DHGroupNumbersRequestListValueProperty = Value Prelude.Integer
  set :: PropertyType "Value" Phase2DHGroupNumbersRequestListValueProperty
-> Phase2DHGroupNumbersRequestListValueProperty
-> Phase2DHGroupNumbersRequestListValueProperty
set PropertyType "Value" Phase2DHGroupNumbersRequestListValueProperty
newValue Phase2DHGroupNumbersRequestListValueProperty {Maybe (Value Integer)
()
haddock_workaround_ :: Phase2DHGroupNumbersRequestListValueProperty -> ()
value :: Phase2DHGroupNumbersRequestListValueProperty
-> Maybe (Value Integer)
haddock_workaround_ :: ()
value :: Maybe (Value Integer)
..}
    = Phase2DHGroupNumbersRequestListValueProperty
        {value :: Maybe (Value Integer)
value = Value Integer -> Maybe (Value Integer)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Value" Phase2DHGroupNumbersRequestListValueProperty
Value Integer
newValue, ()
haddock_workaround_ :: ()
haddock_workaround_ :: ()
..}