module Stratosphere.VerifiedPermissions.IdentitySource.OpenIdConnectAccessTokenConfigurationProperty (
        OpenIdConnectAccessTokenConfigurationProperty(..),
        mkOpenIdConnectAccessTokenConfigurationProperty
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import Stratosphere.ResourceProperties
import Stratosphere.Value
data OpenIdConnectAccessTokenConfigurationProperty
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-verifiedpermissions-identitysource-openidconnectaccesstokenconfiguration.html>
    OpenIdConnectAccessTokenConfigurationProperty {OpenIdConnectAccessTokenConfigurationProperty -> ()
haddock_workaround_ :: (),
                                                   -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-verifiedpermissions-identitysource-openidconnectaccesstokenconfiguration.html#cfn-verifiedpermissions-identitysource-openidconnectaccesstokenconfiguration-audiences>
                                                   OpenIdConnectAccessTokenConfigurationProperty
-> Maybe (ValueList Text)
audiences :: (Prelude.Maybe (ValueList Prelude.Text)),
                                                   -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-verifiedpermissions-identitysource-openidconnectaccesstokenconfiguration.html#cfn-verifiedpermissions-identitysource-openidconnectaccesstokenconfiguration-principalidclaim>
                                                   OpenIdConnectAccessTokenConfigurationProperty -> Maybe (Value Text)
principalIdClaim :: (Prelude.Maybe (Value Prelude.Text))}
  deriving stock (OpenIdConnectAccessTokenConfigurationProperty
-> OpenIdConnectAccessTokenConfigurationProperty -> Bool
(OpenIdConnectAccessTokenConfigurationProperty
 -> OpenIdConnectAccessTokenConfigurationProperty -> Bool)
-> (OpenIdConnectAccessTokenConfigurationProperty
    -> OpenIdConnectAccessTokenConfigurationProperty -> Bool)
-> Eq OpenIdConnectAccessTokenConfigurationProperty
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: OpenIdConnectAccessTokenConfigurationProperty
-> OpenIdConnectAccessTokenConfigurationProperty -> Bool
== :: OpenIdConnectAccessTokenConfigurationProperty
-> OpenIdConnectAccessTokenConfigurationProperty -> Bool
$c/= :: OpenIdConnectAccessTokenConfigurationProperty
-> OpenIdConnectAccessTokenConfigurationProperty -> Bool
/= :: OpenIdConnectAccessTokenConfigurationProperty
-> OpenIdConnectAccessTokenConfigurationProperty -> Bool
Prelude.Eq, Int -> OpenIdConnectAccessTokenConfigurationProperty -> ShowS
[OpenIdConnectAccessTokenConfigurationProperty] -> ShowS
OpenIdConnectAccessTokenConfigurationProperty -> String
(Int -> OpenIdConnectAccessTokenConfigurationProperty -> ShowS)
-> (OpenIdConnectAccessTokenConfigurationProperty -> String)
-> ([OpenIdConnectAccessTokenConfigurationProperty] -> ShowS)
-> Show OpenIdConnectAccessTokenConfigurationProperty
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> OpenIdConnectAccessTokenConfigurationProperty -> ShowS
showsPrec :: Int -> OpenIdConnectAccessTokenConfigurationProperty -> ShowS
$cshow :: OpenIdConnectAccessTokenConfigurationProperty -> String
show :: OpenIdConnectAccessTokenConfigurationProperty -> String
$cshowList :: [OpenIdConnectAccessTokenConfigurationProperty] -> ShowS
showList :: [OpenIdConnectAccessTokenConfigurationProperty] -> ShowS
Prelude.Show)
mkOpenIdConnectAccessTokenConfigurationProperty ::
  OpenIdConnectAccessTokenConfigurationProperty
mkOpenIdConnectAccessTokenConfigurationProperty :: OpenIdConnectAccessTokenConfigurationProperty
mkOpenIdConnectAccessTokenConfigurationProperty
  = OpenIdConnectAccessTokenConfigurationProperty
      {haddock_workaround_ :: ()
haddock_workaround_ = (), audiences :: Maybe (ValueList Text)
audiences = Maybe (ValueList Text)
forall a. Maybe a
Prelude.Nothing,
       principalIdClaim :: Maybe (Value Text)
principalIdClaim = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties OpenIdConnectAccessTokenConfigurationProperty where
  toResourceProperties :: OpenIdConnectAccessTokenConfigurationProperty -> ResourceProperties
toResourceProperties
    OpenIdConnectAccessTokenConfigurationProperty {Maybe (ValueList Text)
Maybe (Value Text)
()
haddock_workaround_ :: OpenIdConnectAccessTokenConfigurationProperty -> ()
audiences :: OpenIdConnectAccessTokenConfigurationProperty
-> Maybe (ValueList Text)
principalIdClaim :: OpenIdConnectAccessTokenConfigurationProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
audiences :: Maybe (ValueList Text)
principalIdClaim :: Maybe (Value Text)
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::VerifiedPermissions::IdentitySource.OpenIdConnectAccessTokenConfiguration",
         supportsTags :: Bool
supportsTags = Bool
Prelude.False,
         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
"Audiences" (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)
audiences,
                            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
"PrincipalIdClaim" (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)
principalIdClaim])}
instance JSON.ToJSON OpenIdConnectAccessTokenConfigurationProperty where
  toJSON :: OpenIdConnectAccessTokenConfigurationProperty -> Value
toJSON OpenIdConnectAccessTokenConfigurationProperty {Maybe (ValueList Text)
Maybe (Value Text)
()
haddock_workaround_ :: OpenIdConnectAccessTokenConfigurationProperty -> ()
audiences :: OpenIdConnectAccessTokenConfigurationProperty
-> Maybe (ValueList Text)
principalIdClaim :: OpenIdConnectAccessTokenConfigurationProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
audiences :: Maybe (ValueList Text)
principalIdClaim :: 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
"Audiences" (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)
audiences,
               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
"PrincipalIdClaim" (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)
principalIdClaim]))
instance Property "Audiences" OpenIdConnectAccessTokenConfigurationProperty where
  type PropertyType "Audiences" OpenIdConnectAccessTokenConfigurationProperty = ValueList Prelude.Text
  set :: PropertyType
  "Audiences" OpenIdConnectAccessTokenConfigurationProperty
-> OpenIdConnectAccessTokenConfigurationProperty
-> OpenIdConnectAccessTokenConfigurationProperty
set PropertyType
  "Audiences" OpenIdConnectAccessTokenConfigurationProperty
newValue OpenIdConnectAccessTokenConfigurationProperty {Maybe (ValueList Text)
Maybe (Value Text)
()
haddock_workaround_ :: OpenIdConnectAccessTokenConfigurationProperty -> ()
audiences :: OpenIdConnectAccessTokenConfigurationProperty
-> Maybe (ValueList Text)
principalIdClaim :: OpenIdConnectAccessTokenConfigurationProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
audiences :: Maybe (ValueList Text)
principalIdClaim :: Maybe (Value Text)
..}
    = OpenIdConnectAccessTokenConfigurationProperty
        {audiences :: Maybe (ValueList Text)
audiences = ValueList Text -> Maybe (ValueList Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType
  "Audiences" OpenIdConnectAccessTokenConfigurationProperty
ValueList Text
newValue, Maybe (Value Text)
()
haddock_workaround_ :: ()
principalIdClaim :: Maybe (Value Text)
haddock_workaround_ :: ()
principalIdClaim :: Maybe (Value Text)
..}
instance Property "PrincipalIdClaim" OpenIdConnectAccessTokenConfigurationProperty where
  type PropertyType "PrincipalIdClaim" OpenIdConnectAccessTokenConfigurationProperty = Value Prelude.Text
  set :: PropertyType
  "PrincipalIdClaim" OpenIdConnectAccessTokenConfigurationProperty
-> OpenIdConnectAccessTokenConfigurationProperty
-> OpenIdConnectAccessTokenConfigurationProperty
set PropertyType
  "PrincipalIdClaim" OpenIdConnectAccessTokenConfigurationProperty
newValue OpenIdConnectAccessTokenConfigurationProperty {Maybe (ValueList Text)
Maybe (Value Text)
()
haddock_workaround_ :: OpenIdConnectAccessTokenConfigurationProperty -> ()
audiences :: OpenIdConnectAccessTokenConfigurationProperty
-> Maybe (ValueList Text)
principalIdClaim :: OpenIdConnectAccessTokenConfigurationProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
audiences :: Maybe (ValueList Text)
principalIdClaim :: Maybe (Value Text)
..}
    = OpenIdConnectAccessTokenConfigurationProperty
        {principalIdClaim :: Maybe (Value Text)
principalIdClaim = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType
  "PrincipalIdClaim" OpenIdConnectAccessTokenConfigurationProperty
Value Text
newValue, Maybe (ValueList Text)
()
haddock_workaround_ :: ()
audiences :: Maybe (ValueList Text)
haddock_workaround_ :: ()
audiences :: Maybe (ValueList Text)
..}