module Stratosphere.Transfer.User (
        module Exports, User(..), mkUser
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import {-# SOURCE #-} Stratosphere.Transfer.User.HomeDirectoryMapEntryProperty as Exports
import {-# SOURCE #-} Stratosphere.Transfer.User.PosixProfileProperty as Exports
import Stratosphere.ResourceProperties
import Stratosphere.Tag
import Stratosphere.Value
data User
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-transfer-user.html>
    User {User -> ()
haddock_workaround_ :: (),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-transfer-user.html#cfn-transfer-user-homedirectory>
          User -> Maybe (Value Text)
homeDirectory :: (Prelude.Maybe (Value Prelude.Text)),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-transfer-user.html#cfn-transfer-user-homedirectorymappings>
          User -> Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryMappings :: (Prelude.Maybe [HomeDirectoryMapEntryProperty]),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-transfer-user.html#cfn-transfer-user-homedirectorytype>
          User -> Maybe (Value Text)
homeDirectoryType :: (Prelude.Maybe (Value Prelude.Text)),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-transfer-user.html#cfn-transfer-user-policy>
          User -> Maybe (Value Text)
policy :: (Prelude.Maybe (Value Prelude.Text)),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-transfer-user.html#cfn-transfer-user-posixprofile>
          User -> Maybe PosixProfileProperty
posixProfile :: (Prelude.Maybe PosixProfileProperty),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-transfer-user.html#cfn-transfer-user-role>
          User -> Value Text
role :: (Value Prelude.Text),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-transfer-user.html#cfn-transfer-user-serverid>
          User -> Value Text
serverId :: (Value Prelude.Text),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-transfer-user.html#cfn-transfer-user-sshpublickeys>
          User -> Maybe (ValueList Text)
sshPublicKeys :: (Prelude.Maybe (ValueList Prelude.Text)),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-transfer-user.html#cfn-transfer-user-tags>
          User -> Maybe [Tag]
tags :: (Prelude.Maybe [Tag]),
          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-transfer-user.html#cfn-transfer-user-username>
          User -> Value Text
userName :: (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 ::
  Value Prelude.Text
  -> Value Prelude.Text -> Value Prelude.Text -> User
mkUser :: Value Text -> Value Text -> Value Text -> User
mkUser Value Text
role Value Text
serverId Value Text
userName
  = User
      {haddock_workaround_ :: ()
haddock_workaround_ = (), role :: Value Text
role = Value Text
role, serverId :: Value Text
serverId = Value Text
serverId,
       userName :: Value Text
userName = Value Text
userName, homeDirectory :: Maybe (Value Text)
homeDirectory = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing,
       homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryMappings = Maybe [HomeDirectoryMapEntryProperty]
forall a. Maybe a
Prelude.Nothing,
       homeDirectoryType :: Maybe (Value Text)
homeDirectoryType = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing, policy :: Maybe (Value Text)
policy = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing,
       posixProfile :: Maybe PosixProfileProperty
posixProfile = Maybe PosixProfileProperty
forall a. Maybe a
Prelude.Nothing, sshPublicKeys :: Maybe (ValueList Text)
sshPublicKeys = Maybe (ValueList Text)
forall a. Maybe a
Prelude.Nothing,
       tags :: Maybe [Tag]
tags = Maybe [Tag]
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties User where
  toResourceProperties :: User -> ResourceProperties
toResourceProperties User {Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: User -> ()
homeDirectory :: User -> Maybe (Value Text)
homeDirectoryMappings :: User -> Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: User -> Maybe (Value Text)
policy :: User -> Maybe (Value Text)
posixProfile :: User -> Maybe PosixProfileProperty
role :: User -> Value Text
serverId :: User -> Value Text
sshPublicKeys :: User -> Maybe (ValueList Text)
tags :: User -> Maybe [Tag]
userName :: User -> Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::Transfer::User", 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
"Role" 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
role, Key
"ServerId" 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
serverId,
                            Key
"UserName" 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
userName]
                           ([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
"HomeDirectory" (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)
homeDirectory,
                               Key -> [HomeDirectoryMapEntryProperty] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"HomeDirectoryMappings"
                                 ([HomeDirectoryMapEntryProperty] -> (Key, Value))
-> Maybe [HomeDirectoryMapEntryProperty] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryMappings,
                               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
"HomeDirectoryType" (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)
homeDirectoryType,
                               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
"Policy" (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)
policy,
                               Key -> PosixProfileProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"PosixProfile" (PosixProfileProperty -> (Key, Value))
-> Maybe PosixProfileProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe PosixProfileProperty
posixProfile,
                               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
"SshPublicKeys" (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)
sshPublicKeys,
                               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]))}
instance JSON.ToJSON User where
  toJSON :: User -> Value
toJSON User {Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: User -> ()
homeDirectory :: User -> Maybe (Value Text)
homeDirectoryMappings :: User -> Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: User -> Maybe (Value Text)
policy :: User -> Maybe (Value Text)
posixProfile :: User -> Maybe PosixProfileProperty
role :: User -> Value Text
serverId :: User -> Value Text
sshPublicKeys :: User -> Maybe (ValueList Text)
tags :: User -> Maybe [Tag]
userName :: User -> Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: 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
"Role" 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
role, Key
"ServerId" 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
serverId,
               Key
"UserName" 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
userName]
              ([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
"HomeDirectory" (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)
homeDirectory,
                  Key -> [HomeDirectoryMapEntryProperty] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"HomeDirectoryMappings"
                    ([HomeDirectoryMapEntryProperty] -> (Key, Value))
-> Maybe [HomeDirectoryMapEntryProperty] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryMappings,
                  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
"HomeDirectoryType" (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)
homeDirectoryType,
                  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
"Policy" (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)
policy,
                  Key -> PosixProfileProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"PosixProfile" (PosixProfileProperty -> (Key, Value))
-> Maybe PosixProfileProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe PosixProfileProperty
posixProfile,
                  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
"SshPublicKeys" (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)
sshPublicKeys,
                  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])))
instance Property "HomeDirectory" User where
  type PropertyType "HomeDirectory" User = Value Prelude.Text
  set :: PropertyType "HomeDirectory" User -> User -> User
set PropertyType "HomeDirectory" User
newValue User {Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: User -> ()
homeDirectory :: User -> Maybe (Value Text)
homeDirectoryMappings :: User -> Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: User -> Maybe (Value Text)
policy :: User -> Maybe (Value Text)
posixProfile :: User -> Maybe PosixProfileProperty
role :: User -> Value Text
serverId :: User -> Value Text
sshPublicKeys :: User -> Maybe (ValueList Text)
tags :: User -> Maybe [Tag]
userName :: User -> Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
..}
    = User {homeDirectory :: Maybe (Value Text)
homeDirectory = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "HomeDirectory" User
Value Text
newValue, Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: ()
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
haddock_workaround_ :: ()
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
..}
instance Property "HomeDirectoryMappings" User where
  type PropertyType "HomeDirectoryMappings" User = [HomeDirectoryMapEntryProperty]
  set :: PropertyType "HomeDirectoryMappings" User -> User -> User
set PropertyType "HomeDirectoryMappings" User
newValue User {Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: User -> ()
homeDirectory :: User -> Maybe (Value Text)
homeDirectoryMappings :: User -> Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: User -> Maybe (Value Text)
policy :: User -> Maybe (Value Text)
posixProfile :: User -> Maybe PosixProfileProperty
role :: User -> Value Text
serverId :: User -> Value Text
sshPublicKeys :: User -> Maybe (ValueList Text)
tags :: User -> Maybe [Tag]
userName :: User -> Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
..}
    = User {homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryMappings = [HomeDirectoryMapEntryProperty]
-> Maybe [HomeDirectoryMapEntryProperty]
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure [HomeDirectoryMapEntryProperty]
PropertyType "HomeDirectoryMappings" User
newValue, Maybe [Tag]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
..}
instance Property "HomeDirectoryType" User where
  type PropertyType "HomeDirectoryType" User = Value Prelude.Text
  set :: PropertyType "HomeDirectoryType" User -> User -> User
set PropertyType "HomeDirectoryType" User
newValue User {Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: User -> ()
homeDirectory :: User -> Maybe (Value Text)
homeDirectoryMappings :: User -> Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: User -> Maybe (Value Text)
policy :: User -> Maybe (Value Text)
posixProfile :: User -> Maybe PosixProfileProperty
role :: User -> Value Text
serverId :: User -> Value Text
sshPublicKeys :: User -> Maybe (ValueList Text)
tags :: User -> Maybe [Tag]
userName :: User -> Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
..}
    = User {homeDirectoryType :: Maybe (Value Text)
homeDirectoryType = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "HomeDirectoryType" User
Value Text
newValue, Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
..}
instance Property "Policy" User where
  type PropertyType "Policy" User = Value Prelude.Text
  set :: PropertyType "Policy" User -> User -> User
set PropertyType "Policy" User
newValue User {Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: User -> ()
homeDirectory :: User -> Maybe (Value Text)
homeDirectoryMappings :: User -> Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: User -> Maybe (Value Text)
policy :: User -> Maybe (Value Text)
posixProfile :: User -> Maybe PosixProfileProperty
role :: User -> Value Text
serverId :: User -> Value Text
sshPublicKeys :: User -> Maybe (ValueList Text)
tags :: User -> Maybe [Tag]
userName :: User -> Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
..} = User {policy :: Maybe (Value Text)
policy = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Policy" User
Value Text
newValue, Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
..}
instance Property "PosixProfile" User where
  type PropertyType "PosixProfile" User = PosixProfileProperty
  set :: PropertyType "PosixProfile" User -> User -> User
set PropertyType "PosixProfile" User
newValue User {Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: User -> ()
homeDirectory :: User -> Maybe (Value Text)
homeDirectoryMappings :: User -> Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: User -> Maybe (Value Text)
policy :: User -> Maybe (Value Text)
posixProfile :: User -> Maybe PosixProfileProperty
role :: User -> Value Text
serverId :: User -> Value Text
sshPublicKeys :: User -> Maybe (ValueList Text)
tags :: User -> Maybe [Tag]
userName :: User -> Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
..}
    = User {posixProfile :: Maybe PosixProfileProperty
posixProfile = PosixProfileProperty -> Maybe PosixProfileProperty
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "PosixProfile" User
PosixProfileProperty
newValue, Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
..}
instance Property "Role" User where
  type PropertyType "Role" User = Value Prelude.Text
  set :: PropertyType "Role" User -> User -> User
set PropertyType "Role" User
newValue User {Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: User -> ()
homeDirectory :: User -> Maybe (Value Text)
homeDirectoryMappings :: User -> Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: User -> Maybe (Value Text)
policy :: User -> Maybe (Value Text)
posixProfile :: User -> Maybe PosixProfileProperty
role :: User -> Value Text
serverId :: User -> Value Text
sshPublicKeys :: User -> Maybe (ValueList Text)
tags :: User -> Maybe [Tag]
userName :: User -> Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
..} = User {role :: Value Text
role = PropertyType "Role" User
Value Text
newValue, Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
..}
instance Property "ServerId" User where
  type PropertyType "ServerId" User = Value Prelude.Text
  set :: PropertyType "ServerId" User -> User -> User
set PropertyType "ServerId" User
newValue User {Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: User -> ()
homeDirectory :: User -> Maybe (Value Text)
homeDirectoryMappings :: User -> Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: User -> Maybe (Value Text)
policy :: User -> Maybe (Value Text)
posixProfile :: User -> Maybe PosixProfileProperty
role :: User -> Value Text
serverId :: User -> Value Text
sshPublicKeys :: User -> Maybe (ValueList Text)
tags :: User -> Maybe [Tag]
userName :: User -> Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
..} = User {serverId :: Value Text
serverId = PropertyType "ServerId" User
Value Text
newValue, Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
..}
instance Property "SshPublicKeys" User where
  type PropertyType "SshPublicKeys" User = ValueList Prelude.Text
  set :: PropertyType "SshPublicKeys" User -> User -> User
set PropertyType "SshPublicKeys" User
newValue User {Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: User -> ()
homeDirectory :: User -> Maybe (Value Text)
homeDirectoryMappings :: User -> Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: User -> Maybe (Value Text)
policy :: User -> Maybe (Value Text)
posixProfile :: User -> Maybe PosixProfileProperty
role :: User -> Value Text
serverId :: User -> Value Text
sshPublicKeys :: User -> Maybe (ValueList Text)
tags :: User -> Maybe [Tag]
userName :: User -> Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
..}
    = User {sshPublicKeys :: Maybe (ValueList Text)
sshPublicKeys = ValueList Text -> Maybe (ValueList Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "SshPublicKeys" User
ValueList Text
newValue, Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
tags :: Maybe [Tag]
userName :: Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
tags :: Maybe [Tag]
userName :: 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 [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: User -> ()
homeDirectory :: User -> Maybe (Value Text)
homeDirectoryMappings :: User -> Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: User -> Maybe (Value Text)
policy :: User -> Maybe (Value Text)
posixProfile :: User -> Maybe PosixProfileProperty
role :: User -> Value Text
serverId :: User -> Value Text
sshPublicKeys :: User -> Maybe (ValueList Text)
tags :: User -> Maybe [Tag]
userName :: User -> Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: 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 [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
userName :: Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
userName :: 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 [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: User -> ()
homeDirectory :: User -> Maybe (Value Text)
homeDirectoryMappings :: User -> Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: User -> Maybe (Value Text)
policy :: User -> Maybe (Value Text)
posixProfile :: User -> Maybe PosixProfileProperty
role :: User -> Value Text
serverId :: User -> Value Text
sshPublicKeys :: User -> Maybe (ValueList Text)
tags :: User -> Maybe [Tag]
userName :: User -> Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
userName :: Value Text
..} = User {userName :: Value Text
userName = PropertyType "UserName" User
Value Text
newValue, Maybe [Tag]
Maybe [HomeDirectoryMapEntryProperty]
Maybe (ValueList Text)
Maybe (Value Text)
Maybe PosixProfileProperty
()
Value Text
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
haddock_workaround_ :: ()
homeDirectory :: Maybe (Value Text)
homeDirectoryMappings :: Maybe [HomeDirectoryMapEntryProperty]
homeDirectoryType :: Maybe (Value Text)
policy :: Maybe (Value Text)
posixProfile :: Maybe PosixProfileProperty
role :: Value Text
serverId :: Value Text
sshPublicKeys :: Maybe (ValueList Text)
tags :: Maybe [Tag]
..}