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