Module Store.Json_tree

Json_tree is used to project JSON values onto trees. Instead of the entire object being stored under one key, it is split across several keys starting at the specified root key.

Parameters

Signature

include Contents.S with type t = Contents.json

Signature for store contents

type t = Contents.json

The type for user-defined contents.

val t : t Type.t
val 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.

val encoding : t Data_encoding.t

encoding is the data_encoding value for t.

val to_concrete_tree : t -> Store.Tree.concrete
val of_concrete_tree : Store.Tree.concrete -> t
val get_tree : Store.tree -> Path.t -> t

Extract a json value from tree at the given key.

val set_tree : Store.tree -> Path.t -> t -> Store.tree

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

val get : Store.t -> Path.t -> t

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

val set : Store.t -> Path.t -> t -> info:(unit -> Store.info) -> unit

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