Up

module Ir_rw

: sig

Read-write stores.

#
module type STORE = sig
include Ir_ro.STORE
#
val iter : t -> (key -> unit Lwt.t) -> unit Lwt.t
#
val update : t -> key -> value -> unit Lwt.t
#
val remove : t -> key -> unit Lwt.t
#
val watch : t -> key -> value option Lwt_stream.t
end
#
module type HIERARCHICAL = sig
#
type step
include STORE with type key = step list
#
val list : t -> key -> key list Lwt.t
#
val remove_rec : t -> key -> unit Lwt.t
end
#
module type MAKER = functor (K : Ir_hum.S) -> functor (V : Ir_hash.S) -> STORE with type key = K.t and type value = V.t
end