package irmin
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=da4017e6719cee86fab83f8d9a93e3cc3c54ca653703329a0f345712a9f72972
sha512=d58b0708ba20962b4d3096c32233635e3b741753698694411d8496ef37da39968bc173fa92d305032126f967e1ccec79a267900f58516878592e61404726516c
doc/irmin.mem/Irmin_mem/Append_only/index.html
Module Irmin_mem.Append_only
Source
An in-memory store for append-only values.
Parameters
module K : Irmin.Type.S
module V : Irmin.Type.S
Signature
Append-only stores
Append-only stores are store where it is possible to read and add new values.
Read-only stores
Read-only stores are store where it is only possible to read existing values.
The type for stores. The 'a
phantom type carries information about the store mutability.
mem t k
is true iff k
is present in t
.
find t k
is Some v
if k
is associated to v
in t
and None
is k
is not present in t
.
Write the contents of a value to the store.
close t
frees up all the resources associated with t
. Any operations run on a closed handle will raise Closed
.
val batch :
Irmin.Perms.read t ->
([ Irmin.Perms.read | Irmin.Perms.write ] t -> 'a Lwt.t) ->
'a Lwt.t
batch t f
applies the writes in f
in a separate batch. The exact guarantees depend on the implementation.
v config
is a function returning fresh store handles, with the configuration config
, which is provided by the backend.