module Stratosphere.EC2.VerifiedAccessTrustProvider.NativeApplicationOidcOptionsProperty (
        NativeApplicationOidcOptionsProperty(..),
        mkNativeApplicationOidcOptionsProperty
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import Stratosphere.ResourceProperties
import Stratosphere.Value
data NativeApplicationOidcOptionsProperty
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-ec2-verifiedaccesstrustprovider-nativeapplicationoidcoptions.html>
    NativeApplicationOidcOptionsProperty {NativeApplicationOidcOptionsProperty -> ()
haddock_workaround_ :: (),
                                          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-ec2-verifiedaccesstrustprovider-nativeapplicationoidcoptions.html#cfn-ec2-verifiedaccesstrustprovider-nativeapplicationoidcoptions-authorizationendpoint>
                                          NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
authorizationEndpoint :: (Prelude.Maybe (Value Prelude.Text)),
                                          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-ec2-verifiedaccesstrustprovider-nativeapplicationoidcoptions.html#cfn-ec2-verifiedaccesstrustprovider-nativeapplicationoidcoptions-clientid>
                                          NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientId :: (Prelude.Maybe (Value Prelude.Text)),
                                          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-ec2-verifiedaccesstrustprovider-nativeapplicationoidcoptions.html#cfn-ec2-verifiedaccesstrustprovider-nativeapplicationoidcoptions-clientsecret>
                                          NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientSecret :: (Prelude.Maybe (Value Prelude.Text)),
                                          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-ec2-verifiedaccesstrustprovider-nativeapplicationoidcoptions.html#cfn-ec2-verifiedaccesstrustprovider-nativeapplicationoidcoptions-issuer>
                                          NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
issuer :: (Prelude.Maybe (Value Prelude.Text)),
                                          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-ec2-verifiedaccesstrustprovider-nativeapplicationoidcoptions.html#cfn-ec2-verifiedaccesstrustprovider-nativeapplicationoidcoptions-publicsigningkeyendpoint>
                                          NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
publicSigningKeyEndpoint :: (Prelude.Maybe (Value Prelude.Text)),
                                          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-ec2-verifiedaccesstrustprovider-nativeapplicationoidcoptions.html#cfn-ec2-verifiedaccesstrustprovider-nativeapplicationoidcoptions-scope>
                                          NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
scope :: (Prelude.Maybe (Value Prelude.Text)),
                                          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-ec2-verifiedaccesstrustprovider-nativeapplicationoidcoptions.html#cfn-ec2-verifiedaccesstrustprovider-nativeapplicationoidcoptions-tokenendpoint>
                                          NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
tokenEndpoint :: (Prelude.Maybe (Value Prelude.Text)),
                                          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-ec2-verifiedaccesstrustprovider-nativeapplicationoidcoptions.html#cfn-ec2-verifiedaccesstrustprovider-nativeapplicationoidcoptions-userinfoendpoint>
                                          NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
userInfoEndpoint :: (Prelude.Maybe (Value Prelude.Text))}
  deriving stock (NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty -> Bool
(NativeApplicationOidcOptionsProperty
 -> NativeApplicationOidcOptionsProperty -> Bool)
-> (NativeApplicationOidcOptionsProperty
    -> NativeApplicationOidcOptionsProperty -> Bool)
-> Eq NativeApplicationOidcOptionsProperty
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty -> Bool
== :: NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty -> Bool
$c/= :: NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty -> Bool
/= :: NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty -> Bool
Prelude.Eq, Int -> NativeApplicationOidcOptionsProperty -> ShowS
[NativeApplicationOidcOptionsProperty] -> ShowS
NativeApplicationOidcOptionsProperty -> String
(Int -> NativeApplicationOidcOptionsProperty -> ShowS)
-> (NativeApplicationOidcOptionsProperty -> String)
-> ([NativeApplicationOidcOptionsProperty] -> ShowS)
-> Show NativeApplicationOidcOptionsProperty
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> NativeApplicationOidcOptionsProperty -> ShowS
showsPrec :: Int -> NativeApplicationOidcOptionsProperty -> ShowS
$cshow :: NativeApplicationOidcOptionsProperty -> String
show :: NativeApplicationOidcOptionsProperty -> String
$cshowList :: [NativeApplicationOidcOptionsProperty] -> ShowS
showList :: [NativeApplicationOidcOptionsProperty] -> ShowS
Prelude.Show)
mkNativeApplicationOidcOptionsProperty ::
  NativeApplicationOidcOptionsProperty
mkNativeApplicationOidcOptionsProperty :: NativeApplicationOidcOptionsProperty
mkNativeApplicationOidcOptionsProperty
  = NativeApplicationOidcOptionsProperty
      {haddock_workaround_ :: ()
haddock_workaround_ = (), authorizationEndpoint :: Maybe (Value Text)
authorizationEndpoint = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing,
       clientId :: Maybe (Value Text)
clientId = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing, clientSecret :: Maybe (Value Text)
clientSecret = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing,
       issuer :: Maybe (Value Text)
issuer = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing,
       publicSigningKeyEndpoint :: Maybe (Value Text)
publicSigningKeyEndpoint = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing,
       scope :: Maybe (Value Text)
scope = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing, tokenEndpoint :: Maybe (Value Text)
tokenEndpoint = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing,
       userInfoEndpoint :: Maybe (Value Text)
userInfoEndpoint = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties NativeApplicationOidcOptionsProperty where
  toResourceProperties :: NativeApplicationOidcOptionsProperty -> ResourceProperties
toResourceProperties NativeApplicationOidcOptionsProperty {Maybe (Value Text)
()
haddock_workaround_ :: NativeApplicationOidcOptionsProperty -> ()
authorizationEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientId :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientSecret :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
issuer :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
publicSigningKeyEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
scope :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
tokenEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
userInfoEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::EC2::VerifiedAccessTrustProvider.NativeApplicationOidcOptions",
         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 -> 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
"AuthorizationEndpoint"
                              (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)
authorizationEndpoint,
                            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
"ClientId" (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)
clientId,
                            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
"ClientSecret" (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)
clientSecret,
                            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
"Issuer" (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)
issuer,
                            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
"PublicSigningKeyEndpoint"
                              (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)
publicSigningKeyEndpoint,
                            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
"Scope" (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)
scope,
                            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
"TokenEndpoint" (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)
tokenEndpoint,
                            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
"UserInfoEndpoint" (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)
userInfoEndpoint])}
instance JSON.ToJSON NativeApplicationOidcOptionsProperty where
  toJSON :: NativeApplicationOidcOptionsProperty -> Value
toJSON NativeApplicationOidcOptionsProperty {Maybe (Value Text)
()
haddock_workaround_ :: NativeApplicationOidcOptionsProperty -> ()
authorizationEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientId :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientSecret :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
issuer :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
publicSigningKeyEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
scope :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
tokenEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
userInfoEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: 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 -> 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
"AuthorizationEndpoint"
                 (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)
authorizationEndpoint,
               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
"ClientId" (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)
clientId,
               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
"ClientSecret" (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)
clientSecret,
               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
"Issuer" (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)
issuer,
               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
"PublicSigningKeyEndpoint"
                 (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)
publicSigningKeyEndpoint,
               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
"Scope" (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)
scope,
               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
"TokenEndpoint" (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)
tokenEndpoint,
               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
"UserInfoEndpoint" (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)
userInfoEndpoint]))
instance Property "AuthorizationEndpoint" NativeApplicationOidcOptionsProperty where
  type PropertyType "AuthorizationEndpoint" NativeApplicationOidcOptionsProperty = Value Prelude.Text
  set :: PropertyType
  "AuthorizationEndpoint" NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty
set PropertyType
  "AuthorizationEndpoint" NativeApplicationOidcOptionsProperty
newValue NativeApplicationOidcOptionsProperty {Maybe (Value Text)
()
haddock_workaround_ :: NativeApplicationOidcOptionsProperty -> ()
authorizationEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientId :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientSecret :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
issuer :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
publicSigningKeyEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
scope :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
tokenEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
userInfoEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
..}
    = NativeApplicationOidcOptionsProperty
        {authorizationEndpoint :: Maybe (Value Text)
authorizationEndpoint = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType
  "AuthorizationEndpoint" NativeApplicationOidcOptionsProperty
Value Text
newValue, Maybe (Value Text)
()
haddock_workaround_ :: ()
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
haddock_workaround_ :: ()
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
..}
instance Property "ClientId" NativeApplicationOidcOptionsProperty where
  type PropertyType "ClientId" NativeApplicationOidcOptionsProperty = Value Prelude.Text
  set :: PropertyType "ClientId" NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty
set PropertyType "ClientId" NativeApplicationOidcOptionsProperty
newValue NativeApplicationOidcOptionsProperty {Maybe (Value Text)
()
haddock_workaround_ :: NativeApplicationOidcOptionsProperty -> ()
authorizationEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientId :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientSecret :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
issuer :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
publicSigningKeyEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
scope :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
tokenEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
userInfoEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
..}
    = NativeApplicationOidcOptionsProperty
        {clientId :: Maybe (Value Text)
clientId = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "ClientId" NativeApplicationOidcOptionsProperty
Value Text
newValue, Maybe (Value Text)
()
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
..}
instance Property "ClientSecret" NativeApplicationOidcOptionsProperty where
  type PropertyType "ClientSecret" NativeApplicationOidcOptionsProperty = Value Prelude.Text
  set :: PropertyType "ClientSecret" NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty
set PropertyType "ClientSecret" NativeApplicationOidcOptionsProperty
newValue NativeApplicationOidcOptionsProperty {Maybe (Value Text)
()
haddock_workaround_ :: NativeApplicationOidcOptionsProperty -> ()
authorizationEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientId :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientSecret :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
issuer :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
publicSigningKeyEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
scope :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
tokenEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
userInfoEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
..}
    = NativeApplicationOidcOptionsProperty
        {clientSecret :: Maybe (Value Text)
clientSecret = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "ClientSecret" NativeApplicationOidcOptionsProperty
Value Text
newValue, Maybe (Value Text)
()
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
..}
instance Property "Issuer" NativeApplicationOidcOptionsProperty where
  type PropertyType "Issuer" NativeApplicationOidcOptionsProperty = Value Prelude.Text
  set :: PropertyType "Issuer" NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty
set PropertyType "Issuer" NativeApplicationOidcOptionsProperty
newValue NativeApplicationOidcOptionsProperty {Maybe (Value Text)
()
haddock_workaround_ :: NativeApplicationOidcOptionsProperty -> ()
authorizationEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientId :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientSecret :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
issuer :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
publicSigningKeyEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
scope :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
tokenEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
userInfoEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
..}
    = NativeApplicationOidcOptionsProperty
        {issuer :: Maybe (Value Text)
issuer = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Issuer" NativeApplicationOidcOptionsProperty
Value Text
newValue, Maybe (Value Text)
()
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
..}
instance Property "PublicSigningKeyEndpoint" NativeApplicationOidcOptionsProperty where
  type PropertyType "PublicSigningKeyEndpoint" NativeApplicationOidcOptionsProperty = Value Prelude.Text
  set :: PropertyType
  "PublicSigningKeyEndpoint" NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty
set PropertyType
  "PublicSigningKeyEndpoint" NativeApplicationOidcOptionsProperty
newValue NativeApplicationOidcOptionsProperty {Maybe (Value Text)
()
haddock_workaround_ :: NativeApplicationOidcOptionsProperty -> ()
authorizationEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientId :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientSecret :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
issuer :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
publicSigningKeyEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
scope :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
tokenEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
userInfoEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
..}
    = NativeApplicationOidcOptionsProperty
        {publicSigningKeyEndpoint :: Maybe (Value Text)
publicSigningKeyEndpoint = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType
  "PublicSigningKeyEndpoint" NativeApplicationOidcOptionsProperty
Value Text
newValue, Maybe (Value Text)
()
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
..}
instance Property "Scope" NativeApplicationOidcOptionsProperty where
  type PropertyType "Scope" NativeApplicationOidcOptionsProperty = Value Prelude.Text
  set :: PropertyType "Scope" NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty
set PropertyType "Scope" NativeApplicationOidcOptionsProperty
newValue NativeApplicationOidcOptionsProperty {Maybe (Value Text)
()
haddock_workaround_ :: NativeApplicationOidcOptionsProperty -> ()
authorizationEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientId :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientSecret :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
issuer :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
publicSigningKeyEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
scope :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
tokenEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
userInfoEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
..}
    = NativeApplicationOidcOptionsProperty
        {scope :: Maybe (Value Text)
scope = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Scope" NativeApplicationOidcOptionsProperty
Value Text
newValue, Maybe (Value Text)
()
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
..}
instance Property "TokenEndpoint" NativeApplicationOidcOptionsProperty where
  type PropertyType "TokenEndpoint" NativeApplicationOidcOptionsProperty = Value Prelude.Text
  set :: PropertyType "TokenEndpoint" NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty
set PropertyType "TokenEndpoint" NativeApplicationOidcOptionsProperty
newValue NativeApplicationOidcOptionsProperty {Maybe (Value Text)
()
haddock_workaround_ :: NativeApplicationOidcOptionsProperty -> ()
authorizationEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientId :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientSecret :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
issuer :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
publicSigningKeyEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
scope :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
tokenEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
userInfoEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
..}
    = NativeApplicationOidcOptionsProperty
        {tokenEndpoint :: Maybe (Value Text)
tokenEndpoint = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "TokenEndpoint" NativeApplicationOidcOptionsProperty
Value Text
newValue, Maybe (Value Text)
()
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
..}
instance Property "UserInfoEndpoint" NativeApplicationOidcOptionsProperty where
  type PropertyType "UserInfoEndpoint" NativeApplicationOidcOptionsProperty = Value Prelude.Text
  set :: PropertyType
  "UserInfoEndpoint" NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty
-> NativeApplicationOidcOptionsProperty
set PropertyType
  "UserInfoEndpoint" NativeApplicationOidcOptionsProperty
newValue NativeApplicationOidcOptionsProperty {Maybe (Value Text)
()
haddock_workaround_ :: NativeApplicationOidcOptionsProperty -> ()
authorizationEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientId :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
clientSecret :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
issuer :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
publicSigningKeyEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
scope :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
tokenEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
userInfoEndpoint :: NativeApplicationOidcOptionsProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
userInfoEndpoint :: Maybe (Value Text)
..}
    = NativeApplicationOidcOptionsProperty
        {userInfoEndpoint :: Maybe (Value Text)
userInfoEndpoint = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType
  "UserInfoEndpoint" NativeApplicationOidcOptionsProperty
Value Text
newValue, Maybe (Value Text)
()
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
haddock_workaround_ :: ()
authorizationEndpoint :: Maybe (Value Text)
clientId :: Maybe (Value Text)
clientSecret :: Maybe (Value Text)
issuer :: Maybe (Value Text)
publicSigningKeyEndpoint :: Maybe (Value Text)
scope :: Maybe (Value Text)
tokenEndpoint :: Maybe (Value Text)
..}