package irmin-pack
Irmin backend which stores values in a pack file
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.1.0.tbz
sha256=d84fa343a841f663969ed6b08e5fc1b704d3ab7974858aa29471fe291a6a2f86
sha512=ab5eb4bd08ab69b97c8b9a72181c5b59d3d515e4ba63550d8a4551ec8ea72cd2d3b302fe0812379553e52891f81a9ae5d4d668382155d9c6c6eb75844a48477e
doc/irmin-pack.unix/Irmin_pack_unix/Checks/Make/argument-1-_/Backend/Remote/index.html
Module Backend.Remote
URI-based low-level remote synchronisation.
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