tezos-requester
Tezos: generic resource fetching service
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library tezos-requester
module type REQUESTER = sig ... endmodule type FULL_REQUESTER = sig ... endmodule type DISK_TABLE = sig ... endmodule type MEMORY_TABLE = sig ... endmodule type REQUEST = sig ... endRequests abstracts a service used to send asynchronous key requests to peers.
module type PROBE = sig ... endWhen a requested value is received, it goes to a validation phase.
module Make
(Hash : HASH)
(Disk_table : DISK_TABLE with type key := Hash.t)
(Memory_table : MEMORY_TABLE with type key := Hash.t)
(Request : REQUEST with type key := Hash.t)
(Probe : PROBE with type key := Hash.t and type value := Disk_table.value) :
FULL_REQUESTER
with type key = Hash.t
and type value = Disk_table.value
and type param = Probe.param
and type request_param = Request.param
and type notified_value = Probe.notified_value
and type store = Disk_table.store