package FPauth-core

You can search for identifiers within the package.

in-package search v0.2.0

package FPauth-core

FPauth-core
- FPauth_core
  - Auth_sign
    
    AUTHENTICATOR
    
    MODEL
    
    RESPONSES
    
    ROUTER
    
    SESSIONMANAGER
    
    STRATEGY
    
    VARIABLES
  - Authenticator
    
    Make
    
    M
    
    V
  - Make_Auth
    
    Authenticator
    
    M
    
    Router
    
    Session_manager
    
    Variables
  - Router
    
    Make
    
    A
    
    M
    
    V
  - Session_manager
    
    Make
    
    M
    
    V
  - Static
    
    AuthResult
    
    Params
    
    StratResult
    
    Infix
  - Variables
    
    Make
    
    M

Legend:
Library
Module
Module type
Parameter
Class
Class type

Authenticator is module which provides functions both for authentication and logout

module Make
  (M : Auth_sign.MODEL)
  (V : Auth_sign.VARIABLES with type entity = M.t) : 
  Auth_sign.AUTHENTICATOR with type entity = M.t

Make creates an instance of Auth_sign.AUTHENTICATOR for a given model and variables