package irmin
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Irmin, a distributed database that follows the same design principles as Git
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.3.2.tbz
sha256=95a87ecc3dc2b35eee56cb351c32d2bd78c8967180a4b028324d815bfce1a6ff
sha512=20faba561c80c5389e91993d7e2cc0cedd1330cf098b68f0456f5068cde369a5589a05cd2aeb0a701d65a7d1e1e6f4045ccfbf60349cbea2bfd02981d7bb244c
doc/irmin.mem/Irmin_mem/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