Web.OIDC.Client.Tokens

Documentation

data Tokens a

Constructors

Tokens

Fields

• accessToken :: Text
• tokenType :: Text
• idToken :: IdTokenClaims a
• idTokenJwt :: Jwt
• 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.6.1.0-6Mrk3uPSuTuDScAR6JC1zI" '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)