package irmin-pack
Irmin backend which stores values in a pack file
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-2.10.0.tbz
sha256=58b4d058252fc3fca27aa4704594758ea17b5b549076495b53dea7217bd6e64a
sha512=3f7d7817b708d2be41bf81fb7c8f637e0331cc73ffc49d54ae809982d5f258f62255c892ed22c58688034ffa0aa7d32cb7fadb1b188a22ff0ddf80352da3d28b
doc/irmin-pack.layered/Irmin_pack_layered/Maker_ext/Private/Sync/index.html
Module Private.Sync
URI-based low-level sync.
Remote synchronization
type commit = Commit.key
The type for store heads.
type branch = Branch.key
The type for branch IDs.
val fetch :
t ->
?depth:int ->
endpoint ->
branch ->
(commit option, [ `Msg of string ]) result Lwt.t
fetch t uri
fetches the contents of the remote store located at uri
into the local store t
. Return the head of the remote branch with the same name, which is now in the local store. No_head
means no such branch exists.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page