module Stratosphere.IoTWireless.WirelessDevice.AbpV10xProperty (
        module Exports, AbpV10xProperty(..), mkAbpV10xProperty
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import {-# SOURCE #-} Stratosphere.IoTWireless.WirelessDevice.SessionKeysAbpV10xProperty as Exports
import Stratosphere.ResourceProperties
import Stratosphere.Value
data AbpV10xProperty
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-iotwireless-wirelessdevice-abpv10x.html>
    AbpV10xProperty {AbpV10xProperty -> ()
haddock_workaround_ :: (),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-iotwireless-wirelessdevice-abpv10x.html#cfn-iotwireless-wirelessdevice-abpv10x-devaddr>
                     AbpV10xProperty -> Value Text
devAddr :: (Value Prelude.Text),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-iotwireless-wirelessdevice-abpv10x.html#cfn-iotwireless-wirelessdevice-abpv10x-sessionkeys>
                     AbpV10xProperty -> SessionKeysAbpV10xProperty
sessionKeys :: SessionKeysAbpV10xProperty}
  deriving stock (AbpV10xProperty -> AbpV10xProperty -> Bool
(AbpV10xProperty -> AbpV10xProperty -> Bool)
-> (AbpV10xProperty -> AbpV10xProperty -> Bool)
-> Eq AbpV10xProperty
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: AbpV10xProperty -> AbpV10xProperty -> Bool
== :: AbpV10xProperty -> AbpV10xProperty -> Bool
$c/= :: AbpV10xProperty -> AbpV10xProperty -> Bool
/= :: AbpV10xProperty -> AbpV10xProperty -> Bool
Prelude.Eq, Int -> AbpV10xProperty -> ShowS
[AbpV10xProperty] -> ShowS
AbpV10xProperty -> String
(Int -> AbpV10xProperty -> ShowS)
-> (AbpV10xProperty -> String)
-> ([AbpV10xProperty] -> ShowS)
-> Show AbpV10xProperty
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> AbpV10xProperty -> ShowS
showsPrec :: Int -> AbpV10xProperty -> ShowS
$cshow :: AbpV10xProperty -> String
show :: AbpV10xProperty -> String
$cshowList :: [AbpV10xProperty] -> ShowS
showList :: [AbpV10xProperty] -> ShowS
Prelude.Show)
mkAbpV10xProperty ::
  Value Prelude.Text -> SessionKeysAbpV10xProperty -> AbpV10xProperty
mkAbpV10xProperty :: Value Text -> SessionKeysAbpV10xProperty -> AbpV10xProperty
mkAbpV10xProperty Value Text
devAddr SessionKeysAbpV10xProperty
sessionKeys
  = AbpV10xProperty
      {haddock_workaround_ :: ()
haddock_workaround_ = (), devAddr :: Value Text
devAddr = Value Text
devAddr,
       sessionKeys :: SessionKeysAbpV10xProperty
sessionKeys = SessionKeysAbpV10xProperty
sessionKeys}
instance ToResourceProperties AbpV10xProperty where
  toResourceProperties :: AbpV10xProperty -> ResourceProperties
toResourceProperties AbpV10xProperty {()
Value Text
SessionKeysAbpV10xProperty
haddock_workaround_ :: AbpV10xProperty -> ()
devAddr :: AbpV10xProperty -> Value Text
sessionKeys :: AbpV10xProperty -> SessionKeysAbpV10xProperty
haddock_workaround_ :: ()
devAddr :: Value Text
sessionKeys :: SessionKeysAbpV10xProperty
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::IoTWireless::WirelessDevice.AbpV10x",
         supportsTags :: Bool
supportsTags = Bool
Prelude.False,
         properties :: Object
properties = [Key
"DevAddr" 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
devAddr,
                       Key
"SessionKeys" Key -> SessionKeysAbpV10xProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
JSON..= SessionKeysAbpV10xProperty
sessionKeys]}
instance JSON.ToJSON AbpV10xProperty where
  toJSON :: AbpV10xProperty -> Value
toJSON AbpV10xProperty {()
Value Text
SessionKeysAbpV10xProperty
haddock_workaround_ :: AbpV10xProperty -> ()
devAddr :: AbpV10xProperty -> Value Text
sessionKeys :: AbpV10xProperty -> SessionKeysAbpV10xProperty
haddock_workaround_ :: ()
devAddr :: Value Text
sessionKeys :: SessionKeysAbpV10xProperty
..}
    = [(Key, Value)] -> Value
JSON.object
        [Key
"DevAddr" 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
devAddr, Key
"SessionKeys" Key -> SessionKeysAbpV10xProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
JSON..= SessionKeysAbpV10xProperty
sessionKeys]
instance Property "DevAddr" AbpV10xProperty where
  type PropertyType "DevAddr" AbpV10xProperty = Value Prelude.Text
  set :: PropertyType "DevAddr" AbpV10xProperty
-> AbpV10xProperty -> AbpV10xProperty
set PropertyType "DevAddr" AbpV10xProperty
newValue AbpV10xProperty {()
Value Text
SessionKeysAbpV10xProperty
haddock_workaround_ :: AbpV10xProperty -> ()
devAddr :: AbpV10xProperty -> Value Text
sessionKeys :: AbpV10xProperty -> SessionKeysAbpV10xProperty
haddock_workaround_ :: ()
devAddr :: Value Text
sessionKeys :: SessionKeysAbpV10xProperty
..}
    = AbpV10xProperty {devAddr :: Value Text
devAddr = PropertyType "DevAddr" AbpV10xProperty
Value Text
newValue, ()
SessionKeysAbpV10xProperty
haddock_workaround_ :: ()
sessionKeys :: SessionKeysAbpV10xProperty
haddock_workaround_ :: ()
sessionKeys :: SessionKeysAbpV10xProperty
..}
instance Property "SessionKeys" AbpV10xProperty where
  type PropertyType "SessionKeys" AbpV10xProperty = SessionKeysAbpV10xProperty
  set :: PropertyType "SessionKeys" AbpV10xProperty
-> AbpV10xProperty -> AbpV10xProperty
set PropertyType "SessionKeys" AbpV10xProperty
newValue AbpV10xProperty {()
Value Text
SessionKeysAbpV10xProperty
haddock_workaround_ :: AbpV10xProperty -> ()
devAddr :: AbpV10xProperty -> Value Text
sessionKeys :: AbpV10xProperty -> SessionKeysAbpV10xProperty
haddock_workaround_ :: ()
devAddr :: Value Text
sessionKeys :: SessionKeysAbpV10xProperty
..}
    = AbpV10xProperty {sessionKeys :: SessionKeysAbpV10xProperty
sessionKeys = PropertyType "SessionKeys" AbpV10xProperty
SessionKeysAbpV10xProperty
newValue, ()
Value Text
haddock_workaround_ :: ()
devAddr :: Value Text
haddock_workaround_ :: ()
devAddr :: Value Text
..}