On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package FPauth-core
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Make_Auth creates a module based on Auth_sign.MODEL. Provides local variables, middlewares and authenticator to run authentication strategies.
Parameters
module M : Auth_sign.MODELSignature
module Variables : Auth_sign.VARIABLES with type entity = M.tVariables contains types, functions and local variables based on Auth_sign.MODEL.
module Session_manager : Auth_sign.SESSIONMANAGER with type entity = M.tSessionManager is a module that sets local variables from session for every request via Auth_sign.SESSIONMANAGER.auth_setup middleware
module Authenticator : Auth_sign.AUTHENTICATOR with type entity = M.tAuthenticator contains functions for running FPauth.Auth_sign.STRATEGY list and performing logouts
module Router : Auth_sign.ROUTER with type entity = M.tRouter creates routes, needed for authentication. Contains some basic handlers and joins them with routes from strategies.
On This Page