Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Make (C : Ringo.CACHE_MAP) : Sigs.CACHE_MAP with type key = C.key
A Mutable structure akin to a Ringo.CACHE_MAP
but with Lwt-aware functions. E.g., consider the following use of a Ringo.CACHE_MAP
:
module Make_opt
(C : Ringo.CACHE_MAP) :
Sigs.CACHE_MAP_OPT with type key = C.key
This is similar to CACHE_MAP
except that it handles option
. Specifically, you can insert 'a option Lwt.t
and promises that are fulfilled with None
are treated like promises that are rejected:
module Make_result
(C : Ringo.CACHE_MAP) :
Sigs.CACHE_MAP_RESULT with type key = C.key
This is similar to CACHE_MAP
except that it handles result
. Specifically, you can insert ('a, 'b) result Lwt.t
and promises that are fulfilled with Error _
are treated like promises that are rejected:
module Make_presized (C : sig ... end) : sig ... end
module Make_opt_presized (C : sig ... end) : sig ... end
module Make_result_presized (C : sig ... end) : sig ... end