Reply with an HTML document that the login succeeded. This is
normally called from the protocol-specific login handler to indicate
that the login succeeded. Options:
- identity_provider(+Provider)
- Indicate the identity provider that did the login. Provider is
a term for html//1.
- user(+User)
- User id of the identified user.
- name(+Name)
- Common name of the identified user.
- user_info(+Dict)
- Information provided by the identity provider.
At least one of user(User) or name(Name) must be present.
The predicate reply_logged_in/1 calls the hook
reply_logged_in/1. This hook is provided for
interacting with a user profile manager.