package irmin

  1. Overview
  2. Docs
Irmin, a distributed database that follows the same design principles as Git

Install

dune-project
 Dependency

Authors

Maintainers

Sources

irmin-3.10.0.tbz
sha256=92a9de7a0a2a35c2feba0c35a806b1f0df24c1c0d15164eebf3f919296d26715
sha512=0203ec5117a851ad5afeb2f9091659b4e142e231b6b945caab93f4d7beb23397c8ac43f7056e91d18f4bff0be1062f6ae966d221f877c229328c0cbbf29fd9f0

doc/irmin/Irmin/Json_tree/index.html

Module Irmin.Json_treeSource

Parameters

module Store : sig ... end

Signature

include Contents.S with type t = Contents.json

Signature for store contents

The type for user-defined contents.

Sourceval t : t Type.t
Sourceval merge : t option Merge.t

Merge function. Evaluates to `Conflict msg if the values cannot be merged properly. The arguments of the merge function can take None to mean that the key does not exists for either the least-common ancestor or one of the two merging points. The merge function returns None when the key's value should be deleted.

Sourceval to_concrete_tree : t -> Store.Tree.concrete
Sourceval of_concrete_tree : Store.Tree.concrete -> t
Sourceval get_tree : Store.tree -> Store.path -> t Lwt.t

Extract a json value from tree at the given key.

Sourceval set_tree : Store.tree -> Store.path -> t -> Store.tree Lwt.t

Project a json value onto a tree at the given key.

Extract a json value from a store at the given key.

Sourceval set : Store.t -> Store.path -> t -> info:(unit -> Store.info) -> unit Lwt.t

Project a json value onto a store at the given key.