This module contains various helpers to obtain * instances of Requester
module type PARAMETERS = sig ... endWrapper for the types being used, to avoid repetitions.
module Disk_memory_table (P : PARAMETERS) : sig ... endA disk table, that is in fact entirely in memory.
module Memory_table
(P : PARAMETERS) :
Requester.MEMORY_TABLE with type key = P.keyA simple memory table backed by Hashtbl
module Simple_probe
(P : PARAMETERS) :
Requester.PROBE
with type key = P.key
and type param = bool
and type notified_value = P.value
and type value = P.valueAn instance of PROBE that uses a bool parameter * to decide whether the check goes through or not
module Simple_request (P : PARAMETERS) : sig ... endAn instance of REQUEST that solely registers incoming requests
module Make_memory_full_requester
(H : Requester.HASH)
(P : PARAMETERS with type key = H.t)
(R : Requester.REQUEST with type param = unit and type key = H.t) :
Requester.FULL_REQUESTER
with type key = H.t
and type value = P.value
and type param = bool
and type request_param = unit
and type notified_value = P.value
and type store = Disk_memory_table(P).storeA helper to avoid having to use the full-fledged Requester.Make * functor. We take the Requester.REQUEST module as parameter (instead * of hardcoding the use of Simple_request), because * callers that use Simple_request likely want to observe * the underlying effects (see the ref in Simple_request) and hence * want to pass their own instance. * * Like Requester.Make, this returns an instance of FULL_REQUESTER. * Note that, contrary to a production requester, the instance returned * by this functor does not use the disk, it runs entirely in memory.