module Stratosphere.EC2.CustomerGateway (
        CustomerGateway(..), mkCustomerGateway
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import Stratosphere.ResourceProperties
import Stratosphere.Tag
import Stratosphere.Value
data CustomerGateway
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-customergateway.html>
    CustomerGateway {CustomerGateway -> ()
haddock_workaround_ :: (),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-customergateway.html#cfn-ec2-customergateway-bgpasn>
                     CustomerGateway -> Maybe (Value Integer)
bgpAsn :: (Prelude.Maybe (Value Prelude.Integer)),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-customergateway.html#cfn-ec2-customergateway-bgpasnextended>
                     CustomerGateway -> Maybe (Value Double)
bgpAsnExtended :: (Prelude.Maybe (Value Prelude.Double)),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-customergateway.html#cfn-ec2-customergateway-certificatearn>
                     CustomerGateway -> Maybe (Value Text)
certificateArn :: (Prelude.Maybe (Value Prelude.Text)),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-customergateway.html#cfn-ec2-customergateway-devicename>
                     CustomerGateway -> Maybe (Value Text)
deviceName :: (Prelude.Maybe (Value Prelude.Text)),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-customergateway.html#cfn-ec2-customergateway-ipaddress>
                     CustomerGateway -> Value Text
ipAddress :: (Value Prelude.Text),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-customergateway.html#cfn-ec2-customergateway-tags>
                     CustomerGateway -> Maybe [Tag]
tags :: (Prelude.Maybe [Tag]),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-customergateway.html#cfn-ec2-customergateway-type>
                     CustomerGateway -> Value Text
type' :: (Value Prelude.Text)}
  deriving stock (CustomerGateway -> CustomerGateway -> Bool
(CustomerGateway -> CustomerGateway -> Bool)
-> (CustomerGateway -> CustomerGateway -> Bool)
-> Eq CustomerGateway
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: CustomerGateway -> CustomerGateway -> Bool
== :: CustomerGateway -> CustomerGateway -> Bool
$c/= :: CustomerGateway -> CustomerGateway -> Bool
/= :: CustomerGateway -> CustomerGateway -> Bool
Prelude.Eq, Int -> CustomerGateway -> ShowS
[CustomerGateway] -> ShowS
CustomerGateway -> String
(Int -> CustomerGateway -> ShowS)
-> (CustomerGateway -> String)
-> ([CustomerGateway] -> ShowS)
-> Show CustomerGateway
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> CustomerGateway -> ShowS
showsPrec :: Int -> CustomerGateway -> ShowS
$cshow :: CustomerGateway -> String
show :: CustomerGateway -> String
$cshowList :: [CustomerGateway] -> ShowS
showList :: [CustomerGateway] -> ShowS
Prelude.Show)
mkCustomerGateway ::
  Value Prelude.Text -> Value Prelude.Text -> CustomerGateway
mkCustomerGateway :: Value Text -> Value Text -> CustomerGateway
mkCustomerGateway Value Text
ipAddress Value Text
type'
  = CustomerGateway
      {haddock_workaround_ :: ()
haddock_workaround_ = (), ipAddress :: Value Text
ipAddress = Value Text
ipAddress, type' :: Value Text
type' = Value Text
type',
       bgpAsn :: Maybe (Value Integer)
bgpAsn = Maybe (Value Integer)
forall a. Maybe a
Prelude.Nothing, bgpAsnExtended :: Maybe (Value Double)
bgpAsnExtended = Maybe (Value Double)
forall a. Maybe a
Prelude.Nothing,
       certificateArn :: Maybe (Value Text)
certificateArn = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing, deviceName :: Maybe (Value Text)
deviceName = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing,
       tags :: Maybe [Tag]
tags = Maybe [Tag]
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties CustomerGateway where
  toResourceProperties :: CustomerGateway -> ResourceProperties
toResourceProperties CustomerGateway {Maybe [Tag]
Maybe (Value Double)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: CustomerGateway -> ()
bgpAsn :: CustomerGateway -> Maybe (Value Integer)
bgpAsnExtended :: CustomerGateway -> Maybe (Value Double)
certificateArn :: CustomerGateway -> Maybe (Value Text)
deviceName :: CustomerGateway -> Maybe (Value Text)
ipAddress :: CustomerGateway -> Value Text
tags :: CustomerGateway -> Maybe [Tag]
type' :: CustomerGateway -> Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
type' :: Value Text
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::EC2::CustomerGateway",
         supportsTags :: Bool
supportsTags = Bool
Prelude.True,
         properties :: Object
properties = [Item Object] -> Object
forall l. IsList l => [Item l] -> l
Prelude.fromList
                        ([(Key, Value)] -> [(Key, Value)] -> [(Key, Value)]
forall a. Semigroup a => a -> a -> a
(Prelude.<>)
                           [Key
"IpAddress" Key -> Value Text -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
JSON..= Value Text
ipAddress, Key
"Type" Key -> Value Text -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
JSON..= Value Text
type']
                           ([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
"BgpAsn" (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)
bgpAsn,
                               Key -> Value Double -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"BgpAsnExtended" (Value Double -> (Key, Value))
-> Maybe (Value Double) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Double)
bgpAsnExtended,
                               Key -> Value Text -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"CertificateArn" (Value Text -> (Key, Value))
-> Maybe (Value Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Text)
certificateArn,
                               Key -> Value Text -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"DeviceName" (Value Text -> (Key, Value))
-> Maybe (Value Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Text)
deviceName,
                               Key -> [Tag] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Tags" ([Tag] -> (Key, Value)) -> Maybe [Tag] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [Tag]
tags]))}
instance JSON.ToJSON CustomerGateway where
  toJSON :: CustomerGateway -> Value
toJSON CustomerGateway {Maybe [Tag]
Maybe (Value Double)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: CustomerGateway -> ()
bgpAsn :: CustomerGateway -> Maybe (Value Integer)
bgpAsnExtended :: CustomerGateway -> Maybe (Value Double)
certificateArn :: CustomerGateway -> Maybe (Value Text)
deviceName :: CustomerGateway -> Maybe (Value Text)
ipAddress :: CustomerGateway -> Value Text
tags :: CustomerGateway -> Maybe [Tag]
type' :: CustomerGateway -> Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
type' :: Value Text
..}
    = [(Key, Value)] -> Value
JSON.object
        ([Item [(Key, Value)]] -> [(Key, Value)]
forall l. IsList l => [Item l] -> l
Prelude.fromList
           ([(Key, Value)] -> [(Key, Value)] -> [(Key, Value)]
forall a. Semigroup a => a -> a -> a
(Prelude.<>)
              [Key
"IpAddress" Key -> Value Text -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
JSON..= Value Text
ipAddress, Key
"Type" Key -> Value Text -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
JSON..= Value Text
type']
              ([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
"BgpAsn" (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)
bgpAsn,
                  Key -> Value Double -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"BgpAsnExtended" (Value Double -> (Key, Value))
-> Maybe (Value Double) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Double)
bgpAsnExtended,
                  Key -> Value Text -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"CertificateArn" (Value Text -> (Key, Value))
-> Maybe (Value Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Text)
certificateArn,
                  Key -> Value Text -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"DeviceName" (Value Text -> (Key, Value))
-> Maybe (Value Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Text)
deviceName,
                  Key -> [Tag] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Tags" ([Tag] -> (Key, Value)) -> Maybe [Tag] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [Tag]
tags])))
instance Property "BgpAsn" CustomerGateway where
  type PropertyType "BgpAsn" CustomerGateway = Value Prelude.Integer
  set :: PropertyType "BgpAsn" CustomerGateway
-> CustomerGateway -> CustomerGateway
set PropertyType "BgpAsn" CustomerGateway
newValue CustomerGateway {Maybe [Tag]
Maybe (Value Double)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: CustomerGateway -> ()
bgpAsn :: CustomerGateway -> Maybe (Value Integer)
bgpAsnExtended :: CustomerGateway -> Maybe (Value Double)
certificateArn :: CustomerGateway -> Maybe (Value Text)
deviceName :: CustomerGateway -> Maybe (Value Text)
ipAddress :: CustomerGateway -> Value Text
tags :: CustomerGateway -> Maybe [Tag]
type' :: CustomerGateway -> Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
type' :: Value Text
..}
    = CustomerGateway {bgpAsn :: Maybe (Value Integer)
bgpAsn = Value Integer -> Maybe (Value Integer)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "BgpAsn" CustomerGateway
Value Integer
newValue, Maybe [Tag]
Maybe (Value Double)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
type' :: Value Text
haddock_workaround_ :: ()
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
type' :: Value Text
..}
instance Property "BgpAsnExtended" CustomerGateway where
  type PropertyType "BgpAsnExtended" CustomerGateway = Value Prelude.Double
  set :: PropertyType "BgpAsnExtended" CustomerGateway
-> CustomerGateway -> CustomerGateway
set PropertyType "BgpAsnExtended" CustomerGateway
newValue CustomerGateway {Maybe [Tag]
Maybe (Value Double)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: CustomerGateway -> ()
bgpAsn :: CustomerGateway -> Maybe (Value Integer)
bgpAsnExtended :: CustomerGateway -> Maybe (Value Double)
certificateArn :: CustomerGateway -> Maybe (Value Text)
deviceName :: CustomerGateway -> Maybe (Value Text)
ipAddress :: CustomerGateway -> Value Text
tags :: CustomerGateway -> Maybe [Tag]
type' :: CustomerGateway -> Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
type' :: Value Text
..}
    = CustomerGateway {bgpAsnExtended :: Maybe (Value Double)
bgpAsnExtended = Value Double -> Maybe (Value Double)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "BgpAsnExtended" CustomerGateway
Value Double
newValue, Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
type' :: Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
type' :: Value Text
..}
instance Property "CertificateArn" CustomerGateway where
  type PropertyType "CertificateArn" CustomerGateway = Value Prelude.Text
  set :: PropertyType "CertificateArn" CustomerGateway
-> CustomerGateway -> CustomerGateway
set PropertyType "CertificateArn" CustomerGateway
newValue CustomerGateway {Maybe [Tag]
Maybe (Value Double)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: CustomerGateway -> ()
bgpAsn :: CustomerGateway -> Maybe (Value Integer)
bgpAsnExtended :: CustomerGateway -> Maybe (Value Double)
certificateArn :: CustomerGateway -> Maybe (Value Text)
deviceName :: CustomerGateway -> Maybe (Value Text)
ipAddress :: CustomerGateway -> Value Text
tags :: CustomerGateway -> Maybe [Tag]
type' :: CustomerGateway -> Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
type' :: Value Text
..}
    = CustomerGateway {certificateArn :: Maybe (Value Text)
certificateArn = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "CertificateArn" CustomerGateway
Value Text
newValue, Maybe [Tag]
Maybe (Value Double)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
type' :: Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
type' :: Value Text
..}
instance Property "DeviceName" CustomerGateway where
  type PropertyType "DeviceName" CustomerGateway = Value Prelude.Text
  set :: PropertyType "DeviceName" CustomerGateway
-> CustomerGateway -> CustomerGateway
set PropertyType "DeviceName" CustomerGateway
newValue CustomerGateway {Maybe [Tag]
Maybe (Value Double)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: CustomerGateway -> ()
bgpAsn :: CustomerGateway -> Maybe (Value Integer)
bgpAsnExtended :: CustomerGateway -> Maybe (Value Double)
certificateArn :: CustomerGateway -> Maybe (Value Text)
deviceName :: CustomerGateway -> Maybe (Value Text)
ipAddress :: CustomerGateway -> Value Text
tags :: CustomerGateway -> Maybe [Tag]
type' :: CustomerGateway -> Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
type' :: Value Text
..}
    = CustomerGateway {deviceName :: Maybe (Value Text)
deviceName = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "DeviceName" CustomerGateway
Value Text
newValue, Maybe [Tag]
Maybe (Value Double)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
type' :: Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
type' :: Value Text
..}
instance Property "IpAddress" CustomerGateway where
  type PropertyType "IpAddress" CustomerGateway = Value Prelude.Text
  set :: PropertyType "IpAddress" CustomerGateway
-> CustomerGateway -> CustomerGateway
set PropertyType "IpAddress" CustomerGateway
newValue CustomerGateway {Maybe [Tag]
Maybe (Value Double)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: CustomerGateway -> ()
bgpAsn :: CustomerGateway -> Maybe (Value Integer)
bgpAsnExtended :: CustomerGateway -> Maybe (Value Double)
certificateArn :: CustomerGateway -> Maybe (Value Text)
deviceName :: CustomerGateway -> Maybe (Value Text)
ipAddress :: CustomerGateway -> Value Text
tags :: CustomerGateway -> Maybe [Tag]
type' :: CustomerGateway -> Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
type' :: Value Text
..}
    = CustomerGateway {ipAddress :: Value Text
ipAddress = PropertyType "IpAddress" CustomerGateway
Value Text
newValue, Maybe [Tag]
Maybe (Value Double)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
tags :: Maybe [Tag]
type' :: Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
tags :: Maybe [Tag]
type' :: Value Text
..}
instance Property "Tags" CustomerGateway where
  type PropertyType "Tags" CustomerGateway = [Tag]
  set :: PropertyType "Tags" CustomerGateway
-> CustomerGateway -> CustomerGateway
set PropertyType "Tags" CustomerGateway
newValue CustomerGateway {Maybe [Tag]
Maybe (Value Double)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: CustomerGateway -> ()
bgpAsn :: CustomerGateway -> Maybe (Value Integer)
bgpAsnExtended :: CustomerGateway -> Maybe (Value Double)
certificateArn :: CustomerGateway -> Maybe (Value Text)
deviceName :: CustomerGateway -> Maybe (Value Text)
ipAddress :: CustomerGateway -> Value Text
tags :: CustomerGateway -> Maybe [Tag]
type' :: CustomerGateway -> Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
type' :: Value Text
..}
    = CustomerGateway {tags :: Maybe [Tag]
tags = [Tag] -> Maybe [Tag]
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure [Tag]
PropertyType "Tags" CustomerGateway
newValue, Maybe (Value Double)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
type' :: Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
type' :: Value Text
..}
instance Property "Type" CustomerGateway where
  type PropertyType "Type" CustomerGateway = Value Prelude.Text
  set :: PropertyType "Type" CustomerGateway
-> CustomerGateway -> CustomerGateway
set PropertyType "Type" CustomerGateway
newValue CustomerGateway {Maybe [Tag]
Maybe (Value Double)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: CustomerGateway -> ()
bgpAsn :: CustomerGateway -> Maybe (Value Integer)
bgpAsnExtended :: CustomerGateway -> Maybe (Value Double)
certificateArn :: CustomerGateway -> Maybe (Value Text)
deviceName :: CustomerGateway -> Maybe (Value Text)
ipAddress :: CustomerGateway -> Value Text
tags :: CustomerGateway -> Maybe [Tag]
type' :: CustomerGateway -> Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
type' :: Value Text
..}
    = CustomerGateway {type' :: Value Text
type' = PropertyType "Type" CustomerGateway
Value Text
newValue, Maybe [Tag]
Maybe (Value Double)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
haddock_workaround_ :: ()
bgpAsn :: Maybe (Value Integer)
bgpAsnExtended :: Maybe (Value Double)
certificateArn :: Maybe (Value Text)
deviceName :: Maybe (Value Text)
ipAddress :: Value Text
tags :: Maybe [Tag]
..}