module Stratosphere.IAM.User (
        module Exports, User(..), mkUser
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import {-# SOURCE #-} Stratosphere.IAM.User.LoginProfileProperty as Exports
import {-# SOURCE #-} Stratosphere.IAM.User.PolicyProperty as Exports
import Stratosphere.ResourceProperties
import Stratosphere.Tag
import Stratosphere.Value
data User
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iam-user.html>
    User {User -> ()
haddock_workaround_ :: (),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iam-user.html#cfn-iam-user-groups>
          User -> Maybe (ValueList Text)
groups :: (Prelude.Maybe (ValueList Prelude.Text)),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iam-user.html#cfn-iam-user-loginprofile>
          User -> Maybe LoginProfileProperty
loginProfile :: (Prelude.Maybe LoginProfileProperty),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iam-user.html#cfn-iam-user-managedpolicyarns>
          User -> Maybe (ValueList Text)
managedPolicyArns :: (Prelude.Maybe (ValueList Prelude.Text)),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iam-user.html#cfn-iam-user-path>
          User -> Maybe (Value Text)
path :: (Prelude.Maybe (Value Prelude.Text)),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iam-user.html#cfn-iam-user-permissionsboundary>
          User -> Maybe (Value Text)
permissionsBoundary :: (Prelude.Maybe (Value Prelude.Text)),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iam-user.html#cfn-iam-user-policies>
          User -> Maybe [PolicyProperty]
policies :: (Prelude.Maybe [PolicyProperty]),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iam-user.html#cfn-iam-user-tags>
          User -> Maybe [Tag]
tags :: (Prelude.Maybe [Tag]),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iam-user.html#cfn-iam-user-username>
          User -> Maybe (Value Text)
userName :: (Prelude.Maybe (Value Prelude.Text))}
  deriving stock (User -> User -> Bool
(User -> User -> Bool) -> (User -> User -> Bool) -> Eq User
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: User -> User -> Bool
== :: User -> User -> Bool
$c/= :: User -> User -> Bool
/= :: User -> User -> Bool
Prelude.Eq, Int -> User -> ShowS
[User] -> ShowS
User -> String
(Int -> User -> ShowS)
-> (User -> String) -> ([User] -> ShowS) -> Show User
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> User -> ShowS
showsPrec :: Int -> User -> ShowS
$cshow :: User -> String
show :: User -> String
$cshowList :: [User] -> ShowS
showList :: [User] -> ShowS
Prelude.Show)
mkUser :: User
mkUser :: User
mkUser
  = User
      {haddock_workaround_ :: ()
haddock_workaround_ = (), groups :: Maybe (ValueList Text)
groups = Maybe (ValueList Text)
forall a. Maybe a
Prelude.Nothing,
       loginProfile :: Maybe LoginProfileProperty
loginProfile = Maybe LoginProfileProperty
forall a. Maybe a
Prelude.Nothing,
       managedPolicyArns :: Maybe (ValueList Text)
managedPolicyArns = Maybe (ValueList Text)
forall a. Maybe a
Prelude.Nothing, path :: Maybe (Value Text)
path = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing,
       permissionsBoundary :: Maybe (Value Text)
permissionsBoundary = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing, policies :: Maybe [PolicyProperty]
policies = Maybe [PolicyProperty]
forall a. Maybe a
Prelude.Nothing,
       tags :: Maybe [Tag]
tags = Maybe [Tag]
forall a. Maybe a
Prelude.Nothing, userName :: Maybe (Value Text)
userName = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties User where
  toResourceProperties :: User -> ResourceProperties
toResourceProperties User {Maybe [Tag]
Maybe [PolicyProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe LoginProfileProperty
()
haddock_workaround_ :: User -> ()
groups :: User -> Maybe (ValueList Text)
loginProfile :: User -> Maybe LoginProfileProperty
managedPolicyArns :: User -> Maybe (ValueList Text)
path :: User -> Maybe (Value Text)
permissionsBoundary :: User -> Maybe (Value Text)
policies :: User -> Maybe [PolicyProperty]
tags :: User -> Maybe [Tag]
userName :: User -> Maybe (Value Text)
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::IAM::User", supportsTags :: Bool
supportsTags = Bool
Prelude.True,
         properties :: Object
properties = [Item Object] -> Object
forall l. IsList l => [Item l] -> l
Prelude.fromList
                        ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
                           [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..=) Key
"Groups" (ValueList Text -> (Key, Value))
-> Maybe (ValueList Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (ValueList Text)
groups,
                            Key -> LoginProfileProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"LoginProfile" (LoginProfileProperty -> (Key, Value))
-> Maybe LoginProfileProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe LoginProfileProperty
loginProfile,
                            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..=) Key
"ManagedPolicyArns" (ValueList Text -> (Key, Value))
-> Maybe (ValueList Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (ValueList Text)
managedPolicyArns,
                            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 -> 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
"PermissionsBoundary" (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)
permissionsBoundary,
                            Key -> [PolicyProperty] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Policies" ([PolicyProperty] -> (Key, Value))
-> Maybe [PolicyProperty] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [PolicyProperty]
policies,
                            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
"UserName" (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)
userName])}
instance JSON.ToJSON User where
  toJSON :: User -> Value
toJSON User {Maybe [Tag]
Maybe [PolicyProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe LoginProfileProperty
()
haddock_workaround_ :: User -> ()
groups :: User -> Maybe (ValueList Text)
loginProfile :: User -> Maybe LoginProfileProperty
managedPolicyArns :: User -> Maybe (ValueList Text)
path :: User -> Maybe (Value Text)
permissionsBoundary :: User -> Maybe (Value Text)
policies :: User -> Maybe [PolicyProperty]
tags :: User -> Maybe [Tag]
userName :: User -> Maybe (Value Text)
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
..}
    = [(Key, Value)] -> Value
JSON.object
        ([Item [(Key, Value)]] -> [(Key, Value)]
forall l. IsList l => [Item l] -> l
Prelude.fromList
           ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
              [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..=) Key
"Groups" (ValueList Text -> (Key, Value))
-> Maybe (ValueList Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (ValueList Text)
groups,
               Key -> LoginProfileProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"LoginProfile" (LoginProfileProperty -> (Key, Value))
-> Maybe LoginProfileProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe LoginProfileProperty
loginProfile,
               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..=) Key
"ManagedPolicyArns" (ValueList Text -> (Key, Value))
-> Maybe (ValueList Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (ValueList Text)
managedPolicyArns,
               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 -> 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
"PermissionsBoundary" (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)
permissionsBoundary,
               Key -> [PolicyProperty] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Policies" ([PolicyProperty] -> (Key, Value))
-> Maybe [PolicyProperty] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [PolicyProperty]
policies,
               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
"UserName" (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)
userName]))
instance Property "Groups" User where
  type PropertyType "Groups" User = ValueList Prelude.Text
  set :: PropertyType "Groups" User -> User -> User
set PropertyType "Groups" User
newValue User {Maybe [Tag]
Maybe [PolicyProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe LoginProfileProperty
()
haddock_workaround_ :: User -> ()
groups :: User -> Maybe (ValueList Text)
loginProfile :: User -> Maybe LoginProfileProperty
managedPolicyArns :: User -> Maybe (ValueList Text)
path :: User -> Maybe (Value Text)
permissionsBoundary :: User -> Maybe (Value Text)
policies :: User -> Maybe [PolicyProperty]
tags :: User -> Maybe [Tag]
userName :: User -> Maybe (Value Text)
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
..} = User {groups :: Maybe (ValueList Text)
groups = ValueList Text -> Maybe (ValueList Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Groups" User
ValueList Text
newValue, Maybe [Tag]
Maybe [PolicyProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe LoginProfileProperty
()
haddock_workaround_ :: ()
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
haddock_workaround_ :: ()
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
..}
instance Property "LoginProfile" User where
  type PropertyType "LoginProfile" User = LoginProfileProperty
  set :: PropertyType "LoginProfile" User -> User -> User
set PropertyType "LoginProfile" User
newValue User {Maybe [Tag]
Maybe [PolicyProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe LoginProfileProperty
()
haddock_workaround_ :: User -> ()
groups :: User -> Maybe (ValueList Text)
loginProfile :: User -> Maybe LoginProfileProperty
managedPolicyArns :: User -> Maybe (ValueList Text)
path :: User -> Maybe (Value Text)
permissionsBoundary :: User -> Maybe (Value Text)
policies :: User -> Maybe [PolicyProperty]
tags :: User -> Maybe [Tag]
userName :: User -> Maybe (Value Text)
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
..}
    = User {loginProfile :: Maybe LoginProfileProperty
loginProfile = LoginProfileProperty -> Maybe LoginProfileProperty
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "LoginProfile" User
LoginProfileProperty
newValue, Maybe [Tag]
Maybe [PolicyProperty]
Maybe (ValueList Text)
Maybe (Value Text)
()
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
..}
instance Property "ManagedPolicyArns" User where
  type PropertyType "ManagedPolicyArns" User = ValueList Prelude.Text
  set :: PropertyType "ManagedPolicyArns" User -> User -> User
set PropertyType "ManagedPolicyArns" User
newValue User {Maybe [Tag]
Maybe [PolicyProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe LoginProfileProperty
()
haddock_workaround_ :: User -> ()
groups :: User -> Maybe (ValueList Text)
loginProfile :: User -> Maybe LoginProfileProperty
managedPolicyArns :: User -> Maybe (ValueList Text)
path :: User -> Maybe (Value Text)
permissionsBoundary :: User -> Maybe (Value Text)
policies :: User -> Maybe [PolicyProperty]
tags :: User -> Maybe [Tag]
userName :: User -> Maybe (Value Text)
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
..}
    = User {managedPolicyArns :: Maybe (ValueList Text)
managedPolicyArns = ValueList Text -> Maybe (ValueList Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "ManagedPolicyArns" User
ValueList Text
newValue, Maybe [Tag]
Maybe [PolicyProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe LoginProfileProperty
()
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
..}
instance Property "Path" User where
  type PropertyType "Path" User = Value Prelude.Text
  set :: PropertyType "Path" User -> User -> User
set PropertyType "Path" User
newValue User {Maybe [Tag]
Maybe [PolicyProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe LoginProfileProperty
()
haddock_workaround_ :: User -> ()
groups :: User -> Maybe (ValueList Text)
loginProfile :: User -> Maybe LoginProfileProperty
managedPolicyArns :: User -> Maybe (ValueList Text)
path :: User -> Maybe (Value Text)
permissionsBoundary :: User -> Maybe (Value Text)
policies :: User -> Maybe [PolicyProperty]
tags :: User -> Maybe [Tag]
userName :: User -> Maybe (Value Text)
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
..} = User {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" User
Value Text
newValue, Maybe [Tag]
Maybe [PolicyProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe LoginProfileProperty
()
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
..}
instance Property "PermissionsBoundary" User where
  type PropertyType "PermissionsBoundary" User = Value Prelude.Text
  set :: PropertyType "PermissionsBoundary" User -> User -> User
set PropertyType "PermissionsBoundary" User
newValue User {Maybe [Tag]
Maybe [PolicyProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe LoginProfileProperty
()
haddock_workaround_ :: User -> ()
groups :: User -> Maybe (ValueList Text)
loginProfile :: User -> Maybe LoginProfileProperty
managedPolicyArns :: User -> Maybe (ValueList Text)
path :: User -> Maybe (Value Text)
permissionsBoundary :: User -> Maybe (Value Text)
policies :: User -> Maybe [PolicyProperty]
tags :: User -> Maybe [Tag]
userName :: User -> Maybe (Value Text)
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
..}
    = User {permissionsBoundary :: Maybe (Value Text)
permissionsBoundary = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "PermissionsBoundary" User
Value Text
newValue, Maybe [Tag]
Maybe [PolicyProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe LoginProfileProperty
()
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
..}
instance Property "Policies" User where
  type PropertyType "Policies" User = [PolicyProperty]
  set :: PropertyType "Policies" User -> User -> User
set PropertyType "Policies" User
newValue User {Maybe [Tag]
Maybe [PolicyProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe LoginProfileProperty
()
haddock_workaround_ :: User -> ()
groups :: User -> Maybe (ValueList Text)
loginProfile :: User -> Maybe LoginProfileProperty
managedPolicyArns :: User -> Maybe (ValueList Text)
path :: User -> Maybe (Value Text)
permissionsBoundary :: User -> Maybe (Value Text)
policies :: User -> Maybe [PolicyProperty]
tags :: User -> Maybe [Tag]
userName :: User -> Maybe (Value Text)
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
..}
    = User {policies :: Maybe [PolicyProperty]
policies = [PolicyProperty] -> Maybe [PolicyProperty]
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure [PolicyProperty]
PropertyType "Policies" User
newValue, Maybe [Tag]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe LoginProfileProperty
()
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
..}
instance Property "Tags" User where
  type PropertyType "Tags" User = [Tag]
  set :: PropertyType "Tags" User -> User -> User
set PropertyType "Tags" User
newValue User {Maybe [Tag]
Maybe [PolicyProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe LoginProfileProperty
()
haddock_workaround_ :: User -> ()
groups :: User -> Maybe (ValueList Text)
loginProfile :: User -> Maybe LoginProfileProperty
managedPolicyArns :: User -> Maybe (ValueList Text)
path :: User -> Maybe (Value Text)
permissionsBoundary :: User -> Maybe (Value Text)
policies :: User -> Maybe [PolicyProperty]
tags :: User -> Maybe [Tag]
userName :: User -> Maybe (Value Text)
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
..} = User {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" User
newValue, Maybe [PolicyProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe LoginProfileProperty
()
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
userName :: Maybe (Value Text)
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
userName :: Maybe (Value Text)
..}
instance Property "UserName" User where
  type PropertyType "UserName" User = Value Prelude.Text
  set :: PropertyType "UserName" User -> User -> User
set PropertyType "UserName" User
newValue User {Maybe [Tag]
Maybe [PolicyProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe LoginProfileProperty
()
haddock_workaround_ :: User -> ()
groups :: User -> Maybe (ValueList Text)
loginProfile :: User -> Maybe LoginProfileProperty
managedPolicyArns :: User -> Maybe (ValueList Text)
path :: User -> Maybe (Value Text)
permissionsBoundary :: User -> Maybe (Value Text)
policies :: User -> Maybe [PolicyProperty]
tags :: User -> Maybe [Tag]
userName :: User -> Maybe (Value Text)
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
userName :: Maybe (Value Text)
..}
    = User {userName :: Maybe (Value Text)
userName = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "UserName" User
Value Text
newValue, Maybe [Tag]
Maybe [PolicyProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe LoginProfileProperty
()
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
haddock_workaround_ :: ()
groups :: Maybe (ValueList Text)
loginProfile :: Maybe LoginProfileProperty
managedPolicyArns :: Maybe (ValueList Text)
path :: Maybe (Value Text)
permissionsBoundary :: Maybe (Value Text)
policies :: Maybe [PolicyProperty]
tags :: Maybe [Tag]
..}