Auth0 Endpoint of Authentication API and Management API

e.g. https://your-auth0-app.auth0.com

The idToken returns from Auth0 authenticated result, it is usually in JSON Web Token (JWT) format.

Represent the Auth0 unified user ID

A config record of Auth0

Auth0 unified user profile

The user_metatdata and app_metadata varies in different application. You should define your own user_metadata and app_metadata records.

The OAuth2 identity of the unified user profile. This usually tell the social account or database account linked with the unified user profile.

Auth0 unified user profile decoder

The user_metatdata and app_metadata varies in different application. You should define your own user_metadata and app_metadata decoders.

Create the URL to the login page

auth0AuthorizeURL :
    Auth0Config
    -> String -- responseType
    -> String -- redirectURL
    -> List String -- scopes
    -> Maybe String -- connection
    -> String

e.g.

auth0AuthorizeURL
    (Auth0Config "https://my-app.auth0.com" "aBcD1234")
    "token"
    "https://my-app/"
    [ "openid", "name", "email" ]
    (Just "google-oauth2")

Get the Auth0 unified user profile which is represented by the IdToken

Update the user_metadata in the Auth0 unified user profile