package irmin

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

Install

dune-project
 Dependency

Authors

Maintainers

Sources

irmin-3.7.2.tbz
sha256=6aa5ba4c6a0233747d4bd3ab396f2b3a33bb80f9d8ed4a178c83a035033c0e52
sha512=8a5506a57e8569a11c883ca25b3c60ae7a9a03c2da111668193d7b4296434c43f1a310e78f189e4b38c234da790259d2961c6a0ae481282c18bb97f618fccfb6

doc/irmin/Irmin/Backend/Conf/Spec/index.html

Module Conf.SpecSource

Sourcetype t

A configuration spec is used to group keys by backend

Sourceval v : string -> t

v name is a new configuration specification named name

Sourceval name : t -> string

name spec is the name associated with a config spec

Sourceval list : unit -> t Seq.t

list () is a sequence containing all available config specs

Sourceval find : string -> t option

find name is the config spec associated with name if available

Sourceval find_key : t -> string -> k option

find_key spec k is the key associated with the name k in spec

Sourceval keys : t -> k Seq.t

keys spec is a sequence of keys available in spec

Sourceval join : t -> t list -> t

join a b is a new Spec.t combining a and all specs present in b

The name of the resulting spec will be the name of a and the names of the specs in b joined by hyphens.