package resp-server

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 `Resp_server`Source

Sourcemodule type BACKEND = sig ... end

BACKEND defines the minimum needed interface to create a new RESP server

Sourcemodule type AUTH = sig ... end

AUTH defines the interface for authenticating a client

Sourcemodule type SERVER = sig ... end

SERVER defines the interface for a server

Sourcemodule Auth : sig ... end

General authentication modes

module Make
  (A : AUTH)
  (D : BACKEND) : 
  SERVER with module Backend = D and module Auth = A

Construct a new SERVER with given authentication mode and backend