module Stratosphere.WorkspacesInstances.Volume (
        module Exports, Volume(..), mkVolume
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import {-# SOURCE #-} Stratosphere.WorkspacesInstances.Volume.TagSpecificationProperty as Exports
import Stratosphere.ResourceProperties
import Stratosphere.Value
data Volume
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-workspacesinstances-volume.html>
    Volume {Volume -> ()
haddock_workaround_ :: (),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-workspacesinstances-volume.html#cfn-workspacesinstances-volume-availabilityzone>
            Volume -> Value Text
availabilityZone :: (Value Prelude.Text),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-workspacesinstances-volume.html#cfn-workspacesinstances-volume-encrypted>
            Volume -> Maybe (Value Bool)
encrypted :: (Prelude.Maybe (Value Prelude.Bool)),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-workspacesinstances-volume.html#cfn-workspacesinstances-volume-iops>
            Volume -> Maybe (Value Integer)
iops :: (Prelude.Maybe (Value Prelude.Integer)),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-workspacesinstances-volume.html#cfn-workspacesinstances-volume-kmskeyid>
            Volume -> Maybe (Value Text)
kmsKeyId :: (Prelude.Maybe (Value Prelude.Text)),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-workspacesinstances-volume.html#cfn-workspacesinstances-volume-sizeingb>
            Volume -> Maybe (Value Integer)
sizeInGB :: (Prelude.Maybe (Value Prelude.Integer)),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-workspacesinstances-volume.html#cfn-workspacesinstances-volume-snapshotid>
            Volume -> Maybe (Value Text)
snapshotId :: (Prelude.Maybe (Value Prelude.Text)),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-workspacesinstances-volume.html#cfn-workspacesinstances-volume-tagspecifications>
            Volume -> Maybe [TagSpecificationProperty]
tagSpecifications :: (Prelude.Maybe [TagSpecificationProperty]),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-workspacesinstances-volume.html#cfn-workspacesinstances-volume-throughput>
            Volume -> Maybe (Value Integer)
throughput :: (Prelude.Maybe (Value Prelude.Integer)),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-workspacesinstances-volume.html#cfn-workspacesinstances-volume-volumetype>
            Volume -> Maybe (Value Text)
volumeType :: (Prelude.Maybe (Value Prelude.Text))}
  deriving stock (Volume -> Volume -> Bool
(Volume -> Volume -> Bool)
-> (Volume -> Volume -> Bool) -> Eq Volume
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: Volume -> Volume -> Bool
== :: Volume -> Volume -> Bool
$c/= :: Volume -> Volume -> Bool
/= :: Volume -> Volume -> Bool
Prelude.Eq, Int -> Volume -> ShowS
[Volume] -> ShowS
Volume -> String
(Int -> Volume -> ShowS)
-> (Volume -> String) -> ([Volume] -> ShowS) -> Show Volume
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> Volume -> ShowS
showsPrec :: Int -> Volume -> ShowS
$cshow :: Volume -> String
show :: Volume -> String
$cshowList :: [Volume] -> ShowS
showList :: [Volume] -> ShowS
Prelude.Show)
mkVolume :: Value Prelude.Text -> Volume
mkVolume :: Value Text -> Volume
mkVolume Value Text
availabilityZone
  = Volume
      {haddock_workaround_ :: ()
haddock_workaround_ = (), availabilityZone :: Value Text
availabilityZone = Value Text
availabilityZone,
       encrypted :: Maybe (Value Bool)
encrypted = Maybe (Value Bool)
forall a. Maybe a
Prelude.Nothing, iops :: Maybe (Value Integer)
iops = Maybe (Value Integer)
forall a. Maybe a
Prelude.Nothing,
       kmsKeyId :: Maybe (Value Text)
kmsKeyId = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing, sizeInGB :: Maybe (Value Integer)
sizeInGB = Maybe (Value Integer)
forall a. Maybe a
Prelude.Nothing,
       snapshotId :: Maybe (Value Text)
snapshotId = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing, tagSpecifications :: Maybe [TagSpecificationProperty]
tagSpecifications = Maybe [TagSpecificationProperty]
forall a. Maybe a
Prelude.Nothing,
       throughput :: Maybe (Value Integer)
throughput = Maybe (Value Integer)
forall a. Maybe a
Prelude.Nothing, volumeType :: Maybe (Value Text)
volumeType = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties Volume where
  toResourceProperties :: Volume -> ResourceProperties
toResourceProperties Volume {Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: Volume -> ()
availabilityZone :: Volume -> Value Text
encrypted :: Volume -> Maybe (Value Bool)
iops :: Volume -> Maybe (Value Integer)
kmsKeyId :: Volume -> Maybe (Value Text)
sizeInGB :: Volume -> Maybe (Value Integer)
snapshotId :: Volume -> Maybe (Value Text)
tagSpecifications :: Volume -> Maybe [TagSpecificationProperty]
throughput :: Volume -> Maybe (Value Integer)
volumeType :: Volume -> Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::WorkspacesInstances::Volume",
         supportsTags :: Bool
supportsTags = Bool
Prelude.False,
         properties :: Object
properties = [Item Object] -> Object
forall l. IsList l => [Item l] -> l
Prelude.fromList
                        ([(Key, Value)] -> [(Key, Value)] -> [(Key, Value)]
forall a. Semigroup a => a -> a -> a
(Prelude.<>)
                           [Key
"AvailabilityZone" 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
availabilityZone]
                           ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
                              [Key -> Value Bool -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Encrypted" (Value Bool -> (Key, Value))
-> Maybe (Value Bool) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Bool)
encrypted,
                               Key -> Value Integer -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Iops" (Value Integer -> (Key, Value))
-> Maybe (Value Integer) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Integer)
iops,
                               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..=) Key
"KmsKeyId" (Value Text -> (Key, Value))
-> Maybe (Value Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Text)
kmsKeyId,
                               Key -> Value Integer -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"SizeInGB" (Value Integer -> (Key, Value))
-> Maybe (Value Integer) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Integer)
sizeInGB,
                               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..=) Key
"SnapshotId" (Value Text -> (Key, Value))
-> Maybe (Value Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Text)
snapshotId,
                               Key -> [TagSpecificationProperty] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"TagSpecifications" ([TagSpecificationProperty] -> (Key, Value))
-> Maybe [TagSpecificationProperty] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [TagSpecificationProperty]
tagSpecifications,
                               Key -> Value Integer -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Throughput" (Value Integer -> (Key, Value))
-> Maybe (Value Integer) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Integer)
throughput,
                               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..=) Key
"VolumeType" (Value Text -> (Key, Value))
-> Maybe (Value Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Text)
volumeType]))}
instance JSON.ToJSON Volume where
  toJSON :: Volume -> Value
toJSON Volume {Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: Volume -> ()
availabilityZone :: Volume -> Value Text
encrypted :: Volume -> Maybe (Value Bool)
iops :: Volume -> Maybe (Value Integer)
kmsKeyId :: Volume -> Maybe (Value Text)
sizeInGB :: Volume -> Maybe (Value Integer)
snapshotId :: Volume -> Maybe (Value Text)
tagSpecifications :: Volume -> Maybe [TagSpecificationProperty]
throughput :: Volume -> Maybe (Value Integer)
volumeType :: Volume -> Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..}
    = [(Key, Value)] -> Value
JSON.object
        ([Item [(Key, Value)]] -> [(Key, Value)]
forall l. IsList l => [Item l] -> l
Prelude.fromList
           ([(Key, Value)] -> [(Key, Value)] -> [(Key, Value)]
forall a. Semigroup a => a -> a -> a
(Prelude.<>)
              [Key
"AvailabilityZone" 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
availabilityZone]
              ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
                 [Key -> Value Bool -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Encrypted" (Value Bool -> (Key, Value))
-> Maybe (Value Bool) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Bool)
encrypted,
                  Key -> Value Integer -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Iops" (Value Integer -> (Key, Value))
-> Maybe (Value Integer) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Integer)
iops,
                  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..=) Key
"KmsKeyId" (Value Text -> (Key, Value))
-> Maybe (Value Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Text)
kmsKeyId,
                  Key -> Value Integer -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"SizeInGB" (Value Integer -> (Key, Value))
-> Maybe (Value Integer) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Integer)
sizeInGB,
                  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..=) Key
"SnapshotId" (Value Text -> (Key, Value))
-> Maybe (Value Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Text)
snapshotId,
                  Key -> [TagSpecificationProperty] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"TagSpecifications" ([TagSpecificationProperty] -> (Key, Value))
-> Maybe [TagSpecificationProperty] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [TagSpecificationProperty]
tagSpecifications,
                  Key -> Value Integer -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Throughput" (Value Integer -> (Key, Value))
-> Maybe (Value Integer) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Integer)
throughput,
                  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..=) Key
"VolumeType" (Value Text -> (Key, Value))
-> Maybe (Value Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Text)
volumeType])))
instance Property "AvailabilityZone" Volume where
  type PropertyType "AvailabilityZone" Volume = Value Prelude.Text
  set :: PropertyType "AvailabilityZone" Volume -> Volume -> Volume
set PropertyType "AvailabilityZone" Volume
newValue Volume {Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: Volume -> ()
availabilityZone :: Volume -> Value Text
encrypted :: Volume -> Maybe (Value Bool)
iops :: Volume -> Maybe (Value Integer)
kmsKeyId :: Volume -> Maybe (Value Text)
sizeInGB :: Volume -> Maybe (Value Integer)
snapshotId :: Volume -> Maybe (Value Text)
tagSpecifications :: Volume -> Maybe [TagSpecificationProperty]
throughput :: Volume -> Maybe (Value Integer)
volumeType :: Volume -> Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..} = Volume {availabilityZone :: Value Text
availabilityZone = PropertyType "AvailabilityZone" Volume
Value Text
newValue, Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
haddock_workaround_ :: ()
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
haddock_workaround_ :: ()
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..}
instance Property "Encrypted" Volume where
  type PropertyType "Encrypted" Volume = Value Prelude.Bool
  set :: PropertyType "Encrypted" Volume -> Volume -> Volume
set PropertyType "Encrypted" Volume
newValue Volume {Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: Volume -> ()
availabilityZone :: Volume -> Value Text
encrypted :: Volume -> Maybe (Value Bool)
iops :: Volume -> Maybe (Value Integer)
kmsKeyId :: Volume -> Maybe (Value Text)
sizeInGB :: Volume -> Maybe (Value Integer)
snapshotId :: Volume -> Maybe (Value Text)
tagSpecifications :: Volume -> Maybe [TagSpecificationProperty]
throughput :: Volume -> Maybe (Value Integer)
volumeType :: Volume -> Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..}
    = Volume {encrypted :: Maybe (Value Bool)
encrypted = Value Bool -> Maybe (Value Bool)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Encrypted" Volume
Value Bool
newValue, Maybe [TagSpecificationProperty]
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
availabilityZone :: Value Text
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..}
instance Property "Iops" Volume where
  type PropertyType "Iops" Volume = Value Prelude.Integer
  set :: PropertyType "Iops" Volume -> Volume -> Volume
set PropertyType "Iops" Volume
newValue Volume {Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: Volume -> ()
availabilityZone :: Volume -> Value Text
encrypted :: Volume -> Maybe (Value Bool)
iops :: Volume -> Maybe (Value Integer)
kmsKeyId :: Volume -> Maybe (Value Text)
sizeInGB :: Volume -> Maybe (Value Integer)
snapshotId :: Volume -> Maybe (Value Text)
tagSpecifications :: Volume -> Maybe [TagSpecificationProperty]
throughput :: Volume -> Maybe (Value Integer)
volumeType :: Volume -> Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..}
    = Volume {iops :: Maybe (Value Integer)
iops = Value Integer -> Maybe (Value Integer)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Iops" Volume
Value Integer
newValue, Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..}
instance Property "KmsKeyId" Volume where
  type PropertyType "KmsKeyId" Volume = Value Prelude.Text
  set :: PropertyType "KmsKeyId" Volume -> Volume -> Volume
set PropertyType "KmsKeyId" Volume
newValue Volume {Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: Volume -> ()
availabilityZone :: Volume -> Value Text
encrypted :: Volume -> Maybe (Value Bool)
iops :: Volume -> Maybe (Value Integer)
kmsKeyId :: Volume -> Maybe (Value Text)
sizeInGB :: Volume -> Maybe (Value Integer)
snapshotId :: Volume -> Maybe (Value Text)
tagSpecifications :: Volume -> Maybe [TagSpecificationProperty]
throughput :: Volume -> Maybe (Value Integer)
volumeType :: Volume -> Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..}
    = Volume {kmsKeyId :: Maybe (Value Text)
kmsKeyId = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "KmsKeyId" Volume
Value Text
newValue, Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..}
instance Property "SizeInGB" Volume where
  type PropertyType "SizeInGB" Volume = Value Prelude.Integer
  set :: PropertyType "SizeInGB" Volume -> Volume -> Volume
set PropertyType "SizeInGB" Volume
newValue Volume {Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: Volume -> ()
availabilityZone :: Volume -> Value Text
encrypted :: Volume -> Maybe (Value Bool)
iops :: Volume -> Maybe (Value Integer)
kmsKeyId :: Volume -> Maybe (Value Text)
sizeInGB :: Volume -> Maybe (Value Integer)
snapshotId :: Volume -> Maybe (Value Text)
tagSpecifications :: Volume -> Maybe [TagSpecificationProperty]
throughput :: Volume -> Maybe (Value Integer)
volumeType :: Volume -> Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..}
    = Volume {sizeInGB :: Maybe (Value Integer)
sizeInGB = Value Integer -> Maybe (Value Integer)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "SizeInGB" Volume
Value Integer
newValue, Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..}
instance Property "SnapshotId" Volume where
  type PropertyType "SnapshotId" Volume = Value Prelude.Text
  set :: PropertyType "SnapshotId" Volume -> Volume -> Volume
set PropertyType "SnapshotId" Volume
newValue Volume {Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: Volume -> ()
availabilityZone :: Volume -> Value Text
encrypted :: Volume -> Maybe (Value Bool)
iops :: Volume -> Maybe (Value Integer)
kmsKeyId :: Volume -> Maybe (Value Text)
sizeInGB :: Volume -> Maybe (Value Integer)
snapshotId :: Volume -> Maybe (Value Text)
tagSpecifications :: Volume -> Maybe [TagSpecificationProperty]
throughput :: Volume -> Maybe (Value Integer)
volumeType :: Volume -> Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..}
    = Volume {snapshotId :: Maybe (Value Text)
snapshotId = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "SnapshotId" Volume
Value Text
newValue, Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..}
instance Property "TagSpecifications" Volume where
  type PropertyType "TagSpecifications" Volume = [TagSpecificationProperty]
  set :: PropertyType "TagSpecifications" Volume -> Volume -> Volume
set PropertyType "TagSpecifications" Volume
newValue Volume {Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: Volume -> ()
availabilityZone :: Volume -> Value Text
encrypted :: Volume -> Maybe (Value Bool)
iops :: Volume -> Maybe (Value Integer)
kmsKeyId :: Volume -> Maybe (Value Text)
sizeInGB :: Volume -> Maybe (Value Integer)
snapshotId :: Volume -> Maybe (Value Text)
tagSpecifications :: Volume -> Maybe [TagSpecificationProperty]
throughput :: Volume -> Maybe (Value Integer)
volumeType :: Volume -> Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..}
    = Volume {tagSpecifications :: Maybe [TagSpecificationProperty]
tagSpecifications = [TagSpecificationProperty] -> Maybe [TagSpecificationProperty]
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure [TagSpecificationProperty]
PropertyType "TagSpecifications" Volume
newValue, Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..}
instance Property "Throughput" Volume where
  type PropertyType "Throughput" Volume = Value Prelude.Integer
  set :: PropertyType "Throughput" Volume -> Volume -> Volume
set PropertyType "Throughput" Volume
newValue Volume {Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: Volume -> ()
availabilityZone :: Volume -> Value Text
encrypted :: Volume -> Maybe (Value Bool)
iops :: Volume -> Maybe (Value Integer)
kmsKeyId :: Volume -> Maybe (Value Text)
sizeInGB :: Volume -> Maybe (Value Integer)
snapshotId :: Volume -> Maybe (Value Text)
tagSpecifications :: Volume -> Maybe [TagSpecificationProperty]
throughput :: Volume -> Maybe (Value Integer)
volumeType :: Volume -> Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..}
    = Volume {throughput :: Maybe (Value Integer)
throughput = Value Integer -> Maybe (Value Integer)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Throughput" Volume
Value Integer
newValue, Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
volumeType :: Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
volumeType :: Maybe (Value Text)
..}
instance Property "VolumeType" Volume where
  type PropertyType "VolumeType" Volume = Value Prelude.Text
  set :: PropertyType "VolumeType" Volume -> Volume -> Volume
set PropertyType "VolumeType" Volume
newValue Volume {Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: Volume -> ()
availabilityZone :: Volume -> Value Text
encrypted :: Volume -> Maybe (Value Bool)
iops :: Volume -> Maybe (Value Integer)
kmsKeyId :: Volume -> Maybe (Value Text)
sizeInGB :: Volume -> Maybe (Value Integer)
snapshotId :: Volume -> Maybe (Value Text)
tagSpecifications :: Volume -> Maybe [TagSpecificationProperty]
throughput :: Volume -> Maybe (Value Integer)
volumeType :: Volume -> Maybe (Value Text)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
volumeType :: Maybe (Value Text)
..}
    = Volume {volumeType :: Maybe (Value Text)
volumeType = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "VolumeType" Volume
Value Text
newValue, Maybe [TagSpecificationProperty]
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
haddock_workaround_ :: ()
availabilityZone :: Value Text
encrypted :: Maybe (Value Bool)
iops :: Maybe (Value Integer)
kmsKeyId :: Maybe (Value Text)
sizeInGB :: Maybe (Value Integer)
snapshotId :: Maybe (Value Text)
tagSpecifications :: Maybe [TagSpecificationProperty]
throughput :: Maybe (Value Integer)
..}