package irmin-pack

You can search for identifiers within the package.

in-package search v0.2.0

Irmin backend which stores values in a pack file

Install

sha256=cd788a8d3f4a3dd18dc160a153d4aec91eaf6b0fb41ad41464d26c79c304a98e

sha512=4f97862678d35e0b4aa814a1df51d6f8c59bcf5b611c73f0a475f9b5386ca42a4a18e65ce80fc425ddad93fcdacfcb563c52f6423777610a0bc567902f4db088

Reads basic metrics from an existing store and prints them to stdout.

Sourceval run : root:string -> unit Lwt.t

Sourceval term_internal : (unit -> unit) Cmdliner.Term.t

A pre-packaged Cmdliner term for executing run.

Sourceval term : unit Cmdliner.Term.t * Cmdliner.Term.info

term is term_internal plus documentation and logs initialisation

Internal implementation utilities exposed for use in other integrity checks.

Sourcetype size =

Sourceval size_t : size Irmin.Type.t

Sourcetype objects = {

}

Sourceval objects_t : objects Irmin.Type.t

Sourceval traverse_index : root:string -> int -> objects