package irmin

  1. Overview
  2. Docs
Irmin, a distributed database that follows the same design principles as Git

Install 

dune-project
 Dependency

github.com Readme Changelog ISC License Edit opam file Versions (10)

Authors

  1. T
    Thomas Gazagnaire
  2. T
    Thomas Leonard

Maintainers

  1. T
    thomas@gazagnaire.org

Sources

irmin-2.10.2.tbz
sha256=088741b619471c8198e74aaf9f4aeb4a9997abec8b9abcbfb3443fd27bfb433f
sha512=bbc03417d6eb87d99bee391c489d23a586b0a260e4c797f5e2465c3ab67cb627a9efa526097c1b89dd3339eafb8bad738c1cf0502e5c70355871ff7dbba324b9

doc/irmin.mem/Irmin_mem/KV/Private/Sync/index.html

Module Private.SyncSource

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

Sourcetype t

The type for store handles.

Sourcetype commit = Commit.key

The type for store heads.

Sourcetype branch = Branch.key

The type for branch IDs.

Sourcetype endpoint = unit

The type for sync endpoints.

Sourceval 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.

Sourceval push : t -> ?depth:int -> endpoint -> branch -> (unit, [ `Msg of string | `Detached_head ]) result Lwt.t

push t uri pushes the contents of the local store t into the remote store located at uri.

Sourceval v : Repo.t -> t Lwt.t