package resp-server

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module type BACKEND = sig ... end

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

module type AUTH = sig ... end

AUTH defines the interface for authenticating a client

module type SERVER = sig ... end

SERVER defines the interface for a server

module 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