Commit (u.ccec8fd54155fab50349356076c83262.irmin.2.9.0.doc.irmin.Irmin.Private.Commit)

Sourcemodule type S = sig ... end

Sourcemodule type Maker = sig ... end

Sourcemodule Make : Maker

Make provides a simple implementation of commit values, parameterized by the commit and node keys K.

Sourcemodule V1 (C : S) : sig ... end

V1 serialisation.

Sourcemodule type STORE = sig ... end

STORE specifies the signature for commit stores.

Source

module Store
  (N : sig ... end)
  (C : sig ... end) : 
  STORE
    with type 'a t = 'a N.t * 'a C.t
     and type key = C.key
     and type value = C.value
     and type Key.t = C.Key.t
     and module Val = C.Val

Store creates a new commit store.

Sourcemodule type HISTORY = sig ... end

History specifies the signature for commit history. The history is represented as a partial-order of commits and basic functions to search through that history are provided.

Source

module History
  (C : STORE) : 
  HISTORY
    with type 'a t = 'a C.t
     and type v = C.Val.t
     and type node = C.Node.key
     and type commit = C.key

Build a commit history.