Maintainer	krdlab@gmail.com
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Web.OIDC.Client.Tokens

Description

Synopsis

data Tokens a = Tokens {
- accessToken :: Text
- tokenType :: Text
- idToken :: IdTokenClaims a
- idTokenJwt :: Jwt
- expiresIn :: Maybe Integer
- refreshToken :: Maybe Text
}
data IdTokenClaims a = IdTokenClaims {
- iss :: !Text
- sub :: !Text
- aud :: ![Text]
- exp :: !IntDate
- iat :: !IntDate
- nonce :: !(Maybe ByteString)
- otherClaims :: !a
}
validateIdToken :: (MonadIO m, FromJSON a) => OIDC -> Jwt -> m (IdTokenClaims a)

Documentation

data Tokens a Source #

Constructors

Tokens
Fields accessToken :: Text tokenType :: Text idToken :: IdTokenClaims a idTokenJwt :: Jwt expiresIn :: Maybe Integer refreshToken :: Maybe Text

Instances

Instances details

Eq a => Eq (Tokens a) Source #
Instance details Defined in Web.OIDC.Client.Tokens Methods (==) :: Tokens a -> Tokens a -> Bool # (/=) :: Tokens a -> Tokens a -> Bool #
Show a => Show (Tokens a) Source #
Instance details Defined in Web.OIDC.Client.Tokens Methods showsPrec :: Int -> Tokens a -> ShowS # show :: Tokens a -> String # showList :: [Tokens a] -> ShowS #

data IdTokenClaims a Source #

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

Instances details

Eq a => Eq (IdTokenClaims a) Source #
Instance details Defined in Web.OIDC.Client.Tokens Methods (==) :: IdTokenClaims a -> IdTokenClaims a -> Bool # (/=) :: IdTokenClaims a -> IdTokenClaims a -> Bool #
Show a => Show (IdTokenClaims a) Source #
Instance details Defined in Web.OIDC.Client.Tokens Methods showsPrec :: Int -> IdTokenClaims a -> ShowS # show :: IdTokenClaims a -> String # showList :: [IdTokenClaims a] -> ShowS #
Generic (IdTokenClaims a) Source #
Instance details 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) Source #
Instance details Defined in Web.OIDC.Client.Tokens Methods parseJSON :: Value -> Parser (IdTokenClaims a) # parseJSONList :: Value -> Parser [IdTokenClaims a] #
type Rep (IdTokenClaims a) Source #
Instance details Defined in Web.OIDC.Client.Tokens type Rep (IdTokenClaims a) = D1 ('MetaData "IdTokenClaims" "Web.OIDC.Client.Tokens" "oidc-client-0.6.0.0-35fADd6K7bkJMvWaj82Rrc" '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) Source #