package irmin

  1. Overview
  2. Docs
package irmin
Legend:
Library
Module
Module type
Parameter
Class
Class type

Commit values represent the store history.

Every commit contains a list of predecessor commits, and the collection of commits form an acyclic directed graph.

Every commit also can contain an optional key, pointing to a node value. See the Node signature for more details on node values.

module type S = sig ... end
module Make (C : Contents.S0) (N : Contents.S0) : S with type commit = C.t and type node = N.t

Make provides a simple implementation of commit values, parameterized by the commit C and node N.

module type STORE = sig ... end

STORE specifies the signature for commit stores.

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

Store creates a new commit store.

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

module History (S : STORE) : HISTORY with type t = S.t and type node = S.Node.key and type commit = S.key

Build a commit history.