package irmin
Irmin, a distributed database that follows the same design principles as Git
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-2.4.0.tbz
sha256=abe7d504aaa4c8fd0f08a04bbfb2748bc23f714df20dd6381b6885bcca56d4ac
sha512=e3097e50ea3598b3c5da4d567a4d3d053a2cd70549afb9ced6fcec8f6faf0677f5d7f8c0541515e0dd3d5eb1d3990e3067d47014deaf93cd52b92bb9f7319968
doc/irmin.mem/Irmin_mem/KV/Private/Sync/index.html
Module Private.Sync
Source
URI-based low-level sync.
include Irmin.Sync.S
with type commit = Commit.key
and type branch = Branch.key
with type endpoint = unit
Remote synchronization
The type for store handles.
The type for store heads.
The type for branch IDs.
The type for sync endpoints.
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)"
>