module Stratosphere.IAM.VirtualMFADevice (
        VirtualMFADevice(..), mkVirtualMFADevice
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import Stratosphere.ResourceProperties
import Stratosphere.Tag
import Stratosphere.Value
data VirtualMFADevice
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iam-virtualmfadevice.html>
    VirtualMFADevice {VirtualMFADevice -> ()
haddock_workaround_ :: (),
                      -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iam-virtualmfadevice.html#cfn-iam-virtualmfadevice-path>
                      VirtualMFADevice -> Maybe (Value Text)
path :: (Prelude.Maybe (Value Prelude.Text)),
                      -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iam-virtualmfadevice.html#cfn-iam-virtualmfadevice-tags>
                      VirtualMFADevice -> Maybe [Tag]
tags :: (Prelude.Maybe [Tag]),
                      -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iam-virtualmfadevice.html#cfn-iam-virtualmfadevice-users>
                      VirtualMFADevice -> ValueList Text
users :: (ValueList Prelude.Text),
                      -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iam-virtualmfadevice.html#cfn-iam-virtualmfadevice-virtualmfadevicename>
                      VirtualMFADevice -> Maybe (Value Text)
virtualMfaDeviceName :: (Prelude.Maybe (Value Prelude.Text))}
  deriving stock (VirtualMFADevice -> VirtualMFADevice -> Bool
(VirtualMFADevice -> VirtualMFADevice -> Bool)
-> (VirtualMFADevice -> VirtualMFADevice -> Bool)
-> Eq VirtualMFADevice
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: VirtualMFADevice -> VirtualMFADevice -> Bool
== :: VirtualMFADevice -> VirtualMFADevice -> Bool
$c/= :: VirtualMFADevice -> VirtualMFADevice -> Bool
/= :: VirtualMFADevice -> VirtualMFADevice -> Bool
Prelude.Eq, Int -> VirtualMFADevice -> ShowS
[VirtualMFADevice] -> ShowS
VirtualMFADevice -> String
(Int -> VirtualMFADevice -> ShowS)
-> (VirtualMFADevice -> String)
-> ([VirtualMFADevice] -> ShowS)
-> Show VirtualMFADevice
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> VirtualMFADevice -> ShowS
showsPrec :: Int -> VirtualMFADevice -> ShowS
$cshow :: VirtualMFADevice -> String
show :: VirtualMFADevice -> String
$cshowList :: [VirtualMFADevice] -> ShowS
showList :: [VirtualMFADevice] -> ShowS
Prelude.Show)
mkVirtualMFADevice :: ValueList Prelude.Text -> VirtualMFADevice
mkVirtualMFADevice :: ValueList Text -> VirtualMFADevice
mkVirtualMFADevice ValueList Text
users
  = VirtualMFADevice
      {haddock_workaround_ :: ()
haddock_workaround_ = (), users :: ValueList Text
users = ValueList Text
users, path :: Maybe (Value Text)
path = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing,
       tags :: Maybe [Tag]
tags = Maybe [Tag]
forall a. Maybe a
Prelude.Nothing, virtualMfaDeviceName :: Maybe (Value Text)
virtualMfaDeviceName = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties VirtualMFADevice where
  toResourceProperties :: VirtualMFADevice -> ResourceProperties
toResourceProperties VirtualMFADevice {Maybe [Tag]
Maybe (Value Text)
()
ValueList Text
haddock_workaround_ :: VirtualMFADevice -> ()
path :: VirtualMFADevice -> Maybe (Value Text)
tags :: VirtualMFADevice -> Maybe [Tag]
users :: VirtualMFADevice -> ValueList Text
virtualMfaDeviceName :: VirtualMFADevice -> Maybe (Value Text)
haddock_workaround_ :: ()
path :: Maybe (Value Text)
tags :: Maybe [Tag]
users :: ValueList Text
virtualMfaDeviceName :: Maybe (Value Text)
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::IAM::VirtualMFADevice",
         supportsTags :: Bool
supportsTags = Bool
Prelude.True,
         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
"Users" Key -> ValueList Text -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
JSON..= ValueList Text
users]
                           ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
                              [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
"Path" (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)
path,
                               Key -> [Tag] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Tags" ([Tag] -> (Key, Value)) -> Maybe [Tag] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [Tag]
tags,
                               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
"VirtualMfaDeviceName"
                                 (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)
virtualMfaDeviceName]))}
instance JSON.ToJSON VirtualMFADevice where
  toJSON :: VirtualMFADevice -> Value
toJSON VirtualMFADevice {Maybe [Tag]
Maybe (Value Text)
()
ValueList Text
haddock_workaround_ :: VirtualMFADevice -> ()
path :: VirtualMFADevice -> Maybe (Value Text)
tags :: VirtualMFADevice -> Maybe [Tag]
users :: VirtualMFADevice -> ValueList Text
virtualMfaDeviceName :: VirtualMFADevice -> Maybe (Value Text)
haddock_workaround_ :: ()
path :: Maybe (Value Text)
tags :: Maybe [Tag]
users :: ValueList Text
virtualMfaDeviceName :: 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
"Users" Key -> ValueList Text -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
JSON..= ValueList Text
users]
              ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
                 [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
"Path" (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)
path,
                  Key -> [Tag] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Tags" ([Tag] -> (Key, Value)) -> Maybe [Tag] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [Tag]
tags,
                  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
"VirtualMfaDeviceName"
                    (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)
virtualMfaDeviceName])))
instance Property "Path" VirtualMFADevice where
  type PropertyType "Path" VirtualMFADevice = Value Prelude.Text
  set :: PropertyType "Path" VirtualMFADevice
-> VirtualMFADevice -> VirtualMFADevice
set PropertyType "Path" VirtualMFADevice
newValue VirtualMFADevice {Maybe [Tag]
Maybe (Value Text)
()
ValueList Text
haddock_workaround_ :: VirtualMFADevice -> ()
path :: VirtualMFADevice -> Maybe (Value Text)
tags :: VirtualMFADevice -> Maybe [Tag]
users :: VirtualMFADevice -> ValueList Text
virtualMfaDeviceName :: VirtualMFADevice -> Maybe (Value Text)
haddock_workaround_ :: ()
path :: Maybe (Value Text)
tags :: Maybe [Tag]
users :: ValueList Text
virtualMfaDeviceName :: Maybe (Value Text)
..}
    = VirtualMFADevice {path :: Maybe (Value Text)
path = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Path" VirtualMFADevice
Value Text
newValue, Maybe [Tag]
Maybe (Value Text)
()
ValueList Text
haddock_workaround_ :: ()
tags :: Maybe [Tag]
users :: ValueList Text
virtualMfaDeviceName :: Maybe (Value Text)
haddock_workaround_ :: ()
tags :: Maybe [Tag]
users :: ValueList Text
virtualMfaDeviceName :: Maybe (Value Text)
..}
instance Property "Tags" VirtualMFADevice where
  type PropertyType "Tags" VirtualMFADevice = [Tag]
  set :: PropertyType "Tags" VirtualMFADevice
-> VirtualMFADevice -> VirtualMFADevice
set PropertyType "Tags" VirtualMFADevice
newValue VirtualMFADevice {Maybe [Tag]
Maybe (Value Text)
()
ValueList Text
haddock_workaround_ :: VirtualMFADevice -> ()
path :: VirtualMFADevice -> Maybe (Value Text)
tags :: VirtualMFADevice -> Maybe [Tag]
users :: VirtualMFADevice -> ValueList Text
virtualMfaDeviceName :: VirtualMFADevice -> Maybe (Value Text)
haddock_workaround_ :: ()
path :: Maybe (Value Text)
tags :: Maybe [Tag]
users :: ValueList Text
virtualMfaDeviceName :: Maybe (Value Text)
..}
    = VirtualMFADevice {tags :: Maybe [Tag]
tags = [Tag] -> Maybe [Tag]
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure [Tag]
PropertyType "Tags" VirtualMFADevice
newValue, Maybe (Value Text)
()
ValueList Text
haddock_workaround_ :: ()
path :: Maybe (Value Text)
users :: ValueList Text
virtualMfaDeviceName :: Maybe (Value Text)
haddock_workaround_ :: ()
path :: Maybe (Value Text)
users :: ValueList Text
virtualMfaDeviceName :: Maybe (Value Text)
..}
instance Property "Users" VirtualMFADevice where
  type PropertyType "Users" VirtualMFADevice = ValueList Prelude.Text
  set :: PropertyType "Users" VirtualMFADevice
-> VirtualMFADevice -> VirtualMFADevice
set PropertyType "Users" VirtualMFADevice
newValue VirtualMFADevice {Maybe [Tag]
Maybe (Value Text)
()
ValueList Text
haddock_workaround_ :: VirtualMFADevice -> ()
path :: VirtualMFADevice -> Maybe (Value Text)
tags :: VirtualMFADevice -> Maybe [Tag]
users :: VirtualMFADevice -> ValueList Text
virtualMfaDeviceName :: VirtualMFADevice -> Maybe (Value Text)
haddock_workaround_ :: ()
path :: Maybe (Value Text)
tags :: Maybe [Tag]
users :: ValueList Text
virtualMfaDeviceName :: Maybe (Value Text)
..}
    = VirtualMFADevice {users :: ValueList Text
users = PropertyType "Users" VirtualMFADevice
ValueList Text
newValue, Maybe [Tag]
Maybe (Value Text)
()
haddock_workaround_ :: ()
path :: Maybe (Value Text)
tags :: Maybe [Tag]
virtualMfaDeviceName :: Maybe (Value Text)
haddock_workaround_ :: ()
path :: Maybe (Value Text)
tags :: Maybe [Tag]
virtualMfaDeviceName :: Maybe (Value Text)
..}
instance Property "VirtualMfaDeviceName" VirtualMFADevice where
  type PropertyType "VirtualMfaDeviceName" VirtualMFADevice = Value Prelude.Text
  set :: PropertyType "VirtualMfaDeviceName" VirtualMFADevice
-> VirtualMFADevice -> VirtualMFADevice
set PropertyType "VirtualMfaDeviceName" VirtualMFADevice
newValue VirtualMFADevice {Maybe [Tag]
Maybe (Value Text)
()
ValueList Text
haddock_workaround_ :: VirtualMFADevice -> ()
path :: VirtualMFADevice -> Maybe (Value Text)
tags :: VirtualMFADevice -> Maybe [Tag]
users :: VirtualMFADevice -> ValueList Text
virtualMfaDeviceName :: VirtualMFADevice -> Maybe (Value Text)
haddock_workaround_ :: ()
path :: Maybe (Value Text)
tags :: Maybe [Tag]
users :: ValueList Text
virtualMfaDeviceName :: Maybe (Value Text)
..}
    = VirtualMFADevice
        {virtualMfaDeviceName :: Maybe (Value Text)
virtualMfaDeviceName = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "VirtualMfaDeviceName" VirtualMFADevice
Value Text
newValue, Maybe [Tag]
Maybe (Value Text)
()
ValueList Text
haddock_workaround_ :: ()
path :: Maybe (Value Text)
tags :: Maybe [Tag]
users :: ValueList Text
haddock_workaround_ :: ()
path :: Maybe (Value Text)
tags :: Maybe [Tag]
users :: ValueList Text
..}