package irmin-client
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
A client for irmin-server
Install
dune-project
Dependency
Authors
Maintainers
Sources
irmin-3.11.0.tbz
sha256=09996fbcc2c43e117a9bd8e9028c635e81cccb264d5e02d425ab8b06bbacdbdb
sha512=0391a6bf7b94a1edd50a3a8df9e58961739fa78d7d689d61f56bc87144483bad2ee539df595c33d9d52c29b3458da5dddf3a73b5eb85e49c4667c26d2cd46be1
doc/irmin-client.jsoo/Irmin_client_jsoo/Make_codec/Batch/index.html
Module Make_codec.BatchSource
The batch API is used to have better control of when data is sent between the client and server when manipulating trees.
module Request_tree : Irmin_server.Tree.SSource
type t =
(path
* [ `Contents of [ `Hash of hash | `Value of contents ] * metadata option
| `Tree of Request_tree.t
| `Remove ])
listA batch is list of updates and their associated paths
add_value path ~metadata value batch will add value at path with associated metadata when batch is apply'd
add_hash path ~metadata hash batch will add hash at path with associated metadata when batch is apply'd
add_tree path batch will add tree at path when batch is apply'd
Note: if tree has been modified locally, calls to the server may be made.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>