Web.OIDC.Client

Contents

• Client Obtains ID Token and Access Token
• Types
• Exception
• Re-exports

Description

Synopsis

• data OIDC
• newOIDC :: CPRG g => IORef g -> OIDC
• newOIDC' :: OIDC
• setProvider :: Provider -> OIDC -> OIDC
• setCredentials :: ByteString -> ByteString -> ByteString -> OIDC -> OIDC
• getAuthenticationRequestUrl :: (MonadThrow m, MonadCatch m) => OIDC -> Scope -> Maybe State -> Parameters -> m URI
• requestTokens :: OIDC -> Code -> Manager -> IO Tokens
• data Provider
• type Scope = [ScopeValue]
• data ScopeValue
  • = OpenId
  • | Profile
  • | Email
  • | Address
  • | Phone
  • | OfflineAccess
• type Code = ByteString
• type State = ByteString
• type Parameters = [(ByteString, Maybe ByteString)]
• data Tokens = Tokens {
  • accessToken :: String
  • tokenType :: String
  • idToken :: IdToken
  • expiresIn :: Maybe Integer
  • refreshToken :: Maybe String
  }
• data IdToken = IdToken {
  • claims :: IdTokenClaims
  • jwt :: Jwt
  }
• data IdTokenClaims = IdTokenClaims {
  • iss :: String
  • sub :: String
  • aud :: [String]
  • exp :: IntDate
  • iat :: IntDate
  }
• data OpenIdException
  • = DiscoveryException String
  • | InternalHttpException HttpException
  • | JwtExceptoin JwtError
  • | ValidationException String
• module Jose.Jwt

Client Obtains ID Token and Access Token

Types

Exception

Re-exports