package FPauth-core

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type `Auth_sign.AUTHENTICATOR`Source

AUTHENTICATOR is a signature for a functor to create authenticators of various entities over various strategies (See STRATEGY)

type entity

type entity is a type of authenticatable entity equal to MODEL.t

type strategy = (module STRATEGY with type entity = entity)

strategy is a function that authenticates an entity from a request.

val authenticate : 
  strategy Base.list ->
  Dream.request ->
  Static.AuthResult.t Dream.promise

authenticate runs several authentication strategies for a request and defines, whether overall authentication was successful or not

val logout : Dream.request -> Base.unit Lwt.t

logout invalidates session, which resets authentication status to false