package irmin
Irmin, a distributed database that follows the same design principles as Git
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.4.2.tbz
sha256=964512f77697947a73dd1875c634d6804e98f14167c5aadd3c4f85b5f30ffb53
sha512=d56d3285daa2dd36f1eaff867af5c8f44c61bba4de1a5c7bb5347652dbc460c343483ab61de1a9302f664af357eacc964dc5c8b4477f6d01372dc028b162e98b
doc/irmin/Irmin/Json_tree/index.html
Module Irmin.Json_tree
Source
Parameters
module Store : sig ... end
Signature
include Contents.S with type t = Contents.json
Signature for store contents
The type for user-defined contents.
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.
Extract a json
value from tree at the given key.
Project a json
value onto a tree at the given key.
Extract a json
value from a store at the given key.
Project a json
value onto a store at the given key.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page