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