package irmin-client
A client for irmin-server
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.10.0.tbz
sha256=92a9de7a0a2a35c2feba0c35a806b1f0df24c1c0d15164eebf3f919296d26715
sha512=0203ec5117a851ad5afeb2f9091659b4e142e231b6b945caab93f4d7beb23397c8ac43f7056e91d18f4bff0be1062f6ae966d221f877c229328c0cbbf29fd9f0
doc/irmin-client.jsoo/Irmin_client_jsoo/Make_codec/Batch/index.html
Module Make_codec.Batch
Source
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.S
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)"
>