module Stratosphere.IoT.SoftwarePackageVersion.S3LocationProperty ( S3LocationProperty(..), mkS3LocationProperty ) where import qualified Data.Aeson as JSON import qualified Stratosphere.Prelude as Prelude import Stratosphere.Property import Stratosphere.ResourceProperties import Stratosphere.Value data S3LocationProperty = -- | See: S3LocationProperty {haddock_workaround_ :: (), -- | See: bucket :: (Value Prelude.Text), -- | See: key :: (Value Prelude.Text), -- | See: version :: (Value Prelude.Text)} deriving stock (Prelude.Eq, Prelude.Show) mkS3LocationProperty :: Value Prelude.Text -> Value Prelude.Text -> Value Prelude.Text -> S3LocationProperty mkS3LocationProperty bucket key version = S3LocationProperty {haddock_workaround_ = (), bucket = bucket, key = key, version = version} instance ToResourceProperties S3LocationProperty where toResourceProperties S3LocationProperty {..} = ResourceProperties {awsType = "AWS::IoT::SoftwarePackageVersion.S3Location", supportsTags = Prelude.False, properties = ["Bucket" JSON..= bucket, "Key" JSON..= key, "Version" JSON..= version]} instance JSON.ToJSON S3LocationProperty where toJSON S3LocationProperty {..} = JSON.object ["Bucket" JSON..= bucket, "Key" JSON..= key, "Version" JSON..= version] instance Property "Bucket" S3LocationProperty where type PropertyType "Bucket" S3LocationProperty = Value Prelude.Text set newValue S3LocationProperty {..} = S3LocationProperty {bucket = newValue, ..} instance Property "Key" S3LocationProperty where type PropertyType "Key" S3LocationProperty = Value Prelude.Text set newValue S3LocationProperty {..} = S3LocationProperty {key = newValue, ..} instance Property "Version" S3LocationProperty where type PropertyType "Version" S3LocationProperty = Value Prelude.Text set newValue S3LocationProperty {..} = S3LocationProperty {version = newValue, ..}