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: OtaaV10xProperty {haddock_workaround_ :: (), -- | See: appEui :: (Value Prelude.Text), -- | See: appKey :: (Value Prelude.Text)} deriving stock (Prelude.Eq, Prelude.Show) mkOtaaV10xProperty :: Value Prelude.Text -> Value Prelude.Text -> OtaaV10xProperty mkOtaaV10xProperty appEui appKey = OtaaV10xProperty {haddock_workaround_ = (), appEui = appEui, appKey = appKey} instance ToResourceProperties OtaaV10xProperty where toResourceProperties OtaaV10xProperty {..} = ResourceProperties {awsType = "AWS::IoTWireless::WirelessDevice.OtaaV10x", supportsTags = Prelude.False, properties = ["AppEui" JSON..= appEui, "AppKey" JSON..= appKey]} instance JSON.ToJSON OtaaV10xProperty where toJSON OtaaV10xProperty {..} = JSON.object ["AppEui" JSON..= appEui, "AppKey" JSON..= appKey] instance Property "AppEui" OtaaV10xProperty where type PropertyType "AppEui" OtaaV10xProperty = Value Prelude.Text set newValue OtaaV10xProperty {..} = OtaaV10xProperty {appEui = newValue, ..} instance Property "AppKey" OtaaV10xProperty where type PropertyType "AppKey" OtaaV10xProperty = Value Prelude.Text set newValue OtaaV10xProperty {..} = OtaaV10xProperty {appKey = newValue, ..}