package irmin-pack
Irmin backend which stores values in a pack file
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.11.0.tbz
sha256=09996fbcc2c43e117a9bd8e9028c635e81cccb264d5e02d425ab8b06bbacdbdb
sha512=0391a6bf7b94a1edd50a3a8df9e58961739fa78d7d689d61f56bc87144483bad2ee539df595c33d9d52c29b3458da5dddf3a73b5eb85e49c4667c26d2cd46be1
doc/irmin-pack.unix/Irmin_pack_unix/Maker/Make/Backend/Remote/index.html
Module Backend.Remote
Source
URI-based low-level remote synchronisation.
Remote synchronization
The type for store handles.
The type for store heads.
The type for branch IDs.
Source
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