package git-kv

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

A Git key-value store.
1. Pushing and synchronisation.
2. Serialization of the Git repository.

git-kv
- Git_kv
  - Make
    
    Pclock

Legend:
Library
Module
Module type
Parameter
Class
Class type

A Git key-value store.

This module implements the ability to manipulate a Git repository as a Key-Value store. It allows you to create a local (in-memory) Git repository that can come from either:

a remote Git repository (with connect)
a state serialized by the to_octets function

The first case is interesting if you want to be synchronised with the remote repository. The second case can be interesting if we don't want to create a connection at the beginning and desynchronisation between our local and remote repositories is not a problem.

In the second case, the synchronisation can be done later with pull.

Pushing and synchronisation.

The user can modify the repository (add files, remove files, etc.). Each change produces a commit and after each change we try to transfer them to the remote Git repository. If you want to make multiple changes but contain them in a single commit and only transfer those changes once, you should use the Make.change_and_push function.

Serialization of the Git repository.

Finally, the KV-store tries to keep the minimal set of commits required between you and the remote repository. Only unpushed changes are kept by the KV-store. However, if these changes are not pushed, they will be stored into the final state produced by to_octets. In other words, the more changes you make out of sync with the remote repository (without pushing them), the bigger the state serialization will be.

type t

The type of the Git store.

val connect : Mimic.ctx -> string -> t Lwt.t

connect ctx remote creates a new Git store which synchronises with remote via protocols available into the given ctx.

raises [Invalid_argument
_] if we can not initialize the store, or if we can not fetch the given remote.

val branch : t -> Git.Reference.t

branch t returns the branch used by the given t.

val commit : 
  t ->
  [ `Clean of Digestif.SHA1.t | `Dirty of Digestif.SHA1.t ] option

commit t returns the commit used by the given t. The commit is either marked `Dirty _ if we're inside a change_and_push or `Clean _ otherwise.

val to_octets : ?level:int -> t -> string Lwt_stream.t

to_octets ?level store returns a serialized version of the given store. level is the zlib level compression used for Git object (between 0 and 9 including), defaults to 4.

val of_octets : 
  Mimic.ctx ->
  remote:string ->
  string Lwt_stream.t ->
  (t, [> `Msg of string ]) result Lwt.t

of_octets ctx ~remote contents tries to re-create a t from its serialized version contents. This function does not do I/O and the returned t can be out of sync with the given remote. We advise to call pull to be in-sync with remote.

type change = [

| `Add of Mirage_kv.Key.t
| `Remove of Mirage_kv.Key.t
| `Change of Mirage_kv.Key.t

]

val pull : t -> (change list, [> `Msg of string ]) result Lwt.t

pull store tries to synchronise the remote Git repository with your local store Git repository. It returns a list of changes between the old state of your store and what you have remotely.

module Make (Pclock : Mirage_clock.PCLOCK) : sig ... end