Up

module Ir_ro

: sig

Read-only stores.

#
module type STORE = sig
#
type t
#
type key
#
type value
#
val create : Ir_conf.t -> ('a -> Ir_task.t) -> ('a -> t) Lwt.t
#
val task : t -> Ir_task.t
#
val read : t -> key -> value option Lwt.t
#
val read_exn : t -> key -> value Lwt.t
#
val mem : t -> key -> bool Lwt.t
end
#
module type MAKER = functor (K : Ir_hum.S) -> functor (V : Tc.S0) -> STORE with type key = K.t and type value = V.t

Signature for functor creating read-only stores.

end