Library
Module
Module type
Parameter
Class
Class type
Atomic-write stores are stores where it is possible to read, update and remove elements, with atomically guarantees.
type key = branch
The type for keys.
type value = Commit.key
The type for raw values.
find t k
is Some v
if k
is associated to v
in t
and None
is k
is not present in t
.
set t k v
replaces the contents of k
by v
in t
. If k
is not already defined in t
, create a fresh binding. Raise Invalid_argument
if k
is the empty path.
test_and_set t key ~test ~set
sets key
to set
only if the current value of key
is test
and in that case returns true
. If the current value of key
is different, it returns false
. None
means that the value does not have to exist or is removed.
Note: The operation is guaranteed to be atomic.
watch_key t k ?init f
adds f
to the list of t
's watch handlers for the key k
and returns the watch handler to be used with unwatch
. init
is the optional initial value of the key.
close t
frees up all the resources associated to t
. Any operations run on a closed store will raise Closed
.
module Key : sig ... end
Base functions on keys.
module Val : sig ... end
Base functions on values.