Web.OIDC.Client.Tokens

Documentation

data Tokens a

Constructors

Tokens

Fields

• accessToken :: Text
• tokenType :: Text
• idToken :: IdTokenClaims a
• expiresIn :: Maybe Integer
• refreshToken :: Maybe Text

Instances

Eq a => Eq (Tokens a)

Defined in Web.OIDC.Client.Tokens

Methods

(==) :: Tokens a -> Tokens a -> Bool

(/=) :: Tokens a -> Tokens a -> Bool

Show a => Show (Tokens a)

Defined in Web.OIDC.Client.Tokens

Methods

showsPrec :: Int -> Tokens a -> ShowS

show :: Tokens a -> String

showList :: [Tokens a] -> ShowS

data IdTokenClaims a

Claims required for an ID Token, plus recommended claims (nonce) and other custom claims.

Constructors

IdTokenClaims

Fields

• iss :: !Text
• sub :: !Text
• aud :: ![Text]
• exp :: !IntDate
• iat :: !IntDate
• nonce :: !(Maybe ByteString)
• otherClaims :: !a

Instances

Eq a => Eq (IdTokenClaims a)

Defined in Web.OIDC.Client.Tokens

Methods

(==) :: IdTokenClaims a -> IdTokenClaims a -> Bool

(/=) :: IdTokenClaims a -> IdTokenClaims a -> Bool

Show a => Show (IdTokenClaims a)

Defined in Web.OIDC.Client.Tokens

Methods

showsPrec :: Int -> IdTokenClaims a -> ShowS

show :: IdTokenClaims a -> String

showList :: [IdTokenClaims a] -> ShowS

Generic (IdTokenClaims a)

Defined in Web.OIDC.Client.Tokens

Associated Types

type Rep (IdTokenClaims a) :: Type -> Type

Methods

from :: IdTokenClaims a -> Rep (IdTokenClaims a) x

to :: Rep (IdTokenClaims a) x -> IdTokenClaims a

FromJSON a => FromJSON (IdTokenClaims a)

Defined in Web.OIDC.Client.Tokens

Methods

parseJSON :: Value -> Parser (IdTokenClaims a)

parseJSONList :: Value -> Parser [IdTokenClaims a]

type Rep (IdTokenClaims a)

Defined in Web.OIDC.Client.Tokens

type Rep (IdTokenClaims a) = D1 (MetaData "IdTokenClaims" "Web.OIDC.Client.Tokens" "oidc-client-0.5.1.0-IwuoqC0oEKz2DYK37e6xSG" False) (C1 (MetaCons "IdTokenClaims" PrefixI True) ((S1 (MetaSel (Just "iss") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :*: (S1 (MetaSel (Just "sub") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :*: S1 (MetaSel (Just "aud") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [Text]))) :*: ((S1 (MetaSel (Just "exp") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 IntDate) :*: S1 (MetaSel (Just "iat") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 IntDate)) :*: (S1 (MetaSel (Just "nonce") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe ByteString)) :*: S1 (MetaSel (Just "otherClaims") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a)))))

validateIdToken :: (MonadIO m, FromJSON a) => OIDC -> Jwt -> m (IdTokenClaims a)