module Stratosphere.IoTWireless.WirelessDevice.OtaaV11Property (
        OtaaV11Property(..), mkOtaaV11Property
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import Stratosphere.ResourceProperties
import Stratosphere.Value
data OtaaV11Property
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-iotwireless-wirelessdevice-otaav11.html>
    OtaaV11Property {OtaaV11Property -> ()
haddock_workaround_ :: (),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-iotwireless-wirelessdevice-otaav11.html#cfn-iotwireless-wirelessdevice-otaav11-appkey>
                     OtaaV11Property -> Value Text
appKey :: (Value Prelude.Text),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-iotwireless-wirelessdevice-otaav11.html#cfn-iotwireless-wirelessdevice-otaav11-joineui>
                     OtaaV11Property -> Value Text
joinEui :: (Value Prelude.Text),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-iotwireless-wirelessdevice-otaav11.html#cfn-iotwireless-wirelessdevice-otaav11-nwkkey>
                     OtaaV11Property -> Value Text
nwkKey :: (Value Prelude.Text)}
  deriving stock (OtaaV11Property -> OtaaV11Property -> Bool
(OtaaV11Property -> OtaaV11Property -> Bool)
-> (OtaaV11Property -> OtaaV11Property -> Bool)
-> Eq OtaaV11Property
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: OtaaV11Property -> OtaaV11Property -> Bool
== :: OtaaV11Property -> OtaaV11Property -> Bool
$c/= :: OtaaV11Property -> OtaaV11Property -> Bool
/= :: OtaaV11Property -> OtaaV11Property -> Bool
Prelude.Eq, Int -> OtaaV11Property -> ShowS
[OtaaV11Property] -> ShowS
OtaaV11Property -> String
(Int -> OtaaV11Property -> ShowS)
-> (OtaaV11Property -> String)
-> ([OtaaV11Property] -> ShowS)
-> Show OtaaV11Property
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> OtaaV11Property -> ShowS
showsPrec :: Int -> OtaaV11Property -> ShowS
$cshow :: OtaaV11Property -> String
show :: OtaaV11Property -> String
$cshowList :: [OtaaV11Property] -> ShowS
showList :: [OtaaV11Property] -> ShowS
Prelude.Show)
mkOtaaV11Property ::
  Value Prelude.Text
  -> Value Prelude.Text -> Value Prelude.Text -> OtaaV11Property
mkOtaaV11Property :: Value Text -> Value Text -> Value Text -> OtaaV11Property
mkOtaaV11Property Value Text
appKey Value Text
joinEui Value Text
nwkKey
  = OtaaV11Property
      {haddock_workaround_ :: ()
haddock_workaround_ = (), appKey :: Value Text
appKey = Value Text
appKey, joinEui :: Value Text
joinEui = Value Text
joinEui,
       nwkKey :: Value Text
nwkKey = Value Text
nwkKey}
instance ToResourceProperties OtaaV11Property where
  toResourceProperties :: OtaaV11Property -> ResourceProperties
toResourceProperties OtaaV11Property {()
Value Text
haddock_workaround_ :: OtaaV11Property -> ()
appKey :: OtaaV11Property -> Value Text
joinEui :: OtaaV11Property -> Value Text
nwkKey :: OtaaV11Property -> Value Text
haddock_workaround_ :: ()
appKey :: Value Text
joinEui :: Value Text
nwkKey :: Value Text
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::IoTWireless::WirelessDevice.OtaaV11",
         supportsTags :: Bool
supportsTags = Bool
Prelude.False,
         properties :: Object
properties = [Key
"AppKey" 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
appKey, Key
"JoinEui" 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
joinEui,
                       Key
"NwkKey" 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
nwkKey]}
instance JSON.ToJSON OtaaV11Property where
  toJSON :: OtaaV11Property -> Value
toJSON OtaaV11Property {()
Value Text
haddock_workaround_ :: OtaaV11Property -> ()
appKey :: OtaaV11Property -> Value Text
joinEui :: OtaaV11Property -> Value Text
nwkKey :: OtaaV11Property -> Value Text
haddock_workaround_ :: ()
appKey :: Value Text
joinEui :: Value Text
nwkKey :: Value Text
..}
    = [(Key, Value)] -> Value
JSON.object
        [Key
"AppKey" 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
appKey, Key
"JoinEui" 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
joinEui,
         Key
"NwkKey" 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
nwkKey]
instance Property "AppKey" OtaaV11Property where
  type PropertyType "AppKey" OtaaV11Property = Value Prelude.Text
  set :: PropertyType "AppKey" OtaaV11Property
-> OtaaV11Property -> OtaaV11Property
set PropertyType "AppKey" OtaaV11Property
newValue OtaaV11Property {()
Value Text
haddock_workaround_ :: OtaaV11Property -> ()
appKey :: OtaaV11Property -> Value Text
joinEui :: OtaaV11Property -> Value Text
nwkKey :: OtaaV11Property -> Value Text
haddock_workaround_ :: ()
appKey :: Value Text
joinEui :: Value Text
nwkKey :: Value Text
..}
    = OtaaV11Property {appKey :: Value Text
appKey = PropertyType "AppKey" OtaaV11Property
Value Text
newValue, ()
Value Text
haddock_workaround_ :: ()
joinEui :: Value Text
nwkKey :: Value Text
haddock_workaround_ :: ()
joinEui :: Value Text
nwkKey :: Value Text
..}
instance Property "JoinEui" OtaaV11Property where
  type PropertyType "JoinEui" OtaaV11Property = Value Prelude.Text
  set :: PropertyType "JoinEui" OtaaV11Property
-> OtaaV11Property -> OtaaV11Property
set PropertyType "JoinEui" OtaaV11Property
newValue OtaaV11Property {()
Value Text
haddock_workaround_ :: OtaaV11Property -> ()
appKey :: OtaaV11Property -> Value Text
joinEui :: OtaaV11Property -> Value Text
nwkKey :: OtaaV11Property -> Value Text
haddock_workaround_ :: ()
appKey :: Value Text
joinEui :: Value Text
nwkKey :: Value Text
..}
    = OtaaV11Property {joinEui :: Value Text
joinEui = PropertyType "JoinEui" OtaaV11Property
Value Text
newValue, ()
Value Text
haddock_workaround_ :: ()
appKey :: Value Text
nwkKey :: Value Text
haddock_workaround_ :: ()
appKey :: Value Text
nwkKey :: Value Text
..}
instance Property "NwkKey" OtaaV11Property where
  type PropertyType "NwkKey" OtaaV11Property = Value Prelude.Text
  set :: PropertyType "NwkKey" OtaaV11Property
-> OtaaV11Property -> OtaaV11Property
set PropertyType "NwkKey" OtaaV11Property
newValue OtaaV11Property {()
Value Text
haddock_workaround_ :: OtaaV11Property -> ()
appKey :: OtaaV11Property -> Value Text
joinEui :: OtaaV11Property -> Value Text
nwkKey :: OtaaV11Property -> Value Text
haddock_workaround_ :: ()
appKey :: Value Text
joinEui :: Value Text
nwkKey :: Value Text
..}
    = OtaaV11Property {nwkKey :: Value Text
nwkKey = PropertyType "NwkKey" OtaaV11Property
Value Text
newValue, ()
Value Text
haddock_workaround_ :: ()
appKey :: Value Text
joinEui :: Value Text
haddock_workaround_ :: ()
appKey :: Value Text
joinEui :: Value Text
..}