package irmin-client
A client for irmin-server
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.11.0.tbz
sha256=09996fbcc2c43e117a9bd8e9028c635e81cccb264d5e02d425ab8b06bbacdbdb
sha512=0391a6bf7b94a1edd50a3a8df9e58961739fa78d7d689d61f56bc87144483bad2ee539df595c33d9d52c29b3458da5dddf3a73b5eb85e49c4667c26d2cd46be1
doc/irmin-client.unix/Irmin_client_unix/Make_json/Batch/index.html
Module Make_json.Batch
Source
The batch API is used to have better control of when data is sent between the client and server when manipulating trees.
Source
type t =
(path
* [ `Contents of [ `Hash of hash | `Value of contents ] * metadata option
| `Tree of Request_tree.t
| `Remove ])
list
A 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)"
>