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
- 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 expiresIn :: Maybe Integer refreshToken :: Maybe Text

Instances

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

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.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) Source #