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

Dune Dependency

github.com Readme Changelog ISC License Edit opam file Versions (44)

Authors

T

Thomas Gazagnaire

Maintainers

T

thomas@gazagnaire.org

Sources

irmin-3.6.1.tbz

sha256=11fc2570bdbfd48478c89113fc801084a84a9a2c12d9bf8c64e05ce64ae19bd7

sha512=2171699ca24dec5c9c908a2676b272e034c14eb17f7052a794535e52af0be40be68a689e59c0a640ee244b11703320483f4d0c261542e6242ba23a8f1272b9b0

doc/irmin-pack.unix/Irmin_pack_unix/Checks/Make/argument-1-_/Snapshot/index.html

Module `_.Snapshot`

type kinded_hash =

| Contents of hash * metadata
| Node of hash

val kinded_hash_t : kinded_hash Irmin.Type.t

type entry = {

step : string;
hash : kinded_hash;

}

val entry_t : entry Irmin.Type.t

type inode_tree = {

depth : int;
length : int;
pointers : (int * hash) list;

}

val inode_tree_t : inode_tree Irmin.Type.t

type v =

| Inode_tree of inode_tree
| Inode_value of entry list

val v_t : v Irmin.Type.t

type inode = {

v : v;
root : bool;

}

val inode_t : inode Irmin.Type.t

type t =

| Inode of inode
| Blob of Backend.Contents.Val.t

val t : t Irmin.Type.t

val export : 
  ?on_disk:[ `Path of string ] ->
  repo ->
  (t -> unit Lwt.t) ->
  root_key:Tree.kinded_key ->
  int Lwt.t

export ?on_disk repo f ~root_key applies f to all inodes and contents in a rooted tree, with root specified by root_key.

The traversal requires an index to keep track of visited elements.

if on_disk is not specified, the index is in memory.
if on_disk is `Path path, a temporary index is created at path.

The traversal order is stable. In Inode_tree, it is lexicographic on the index function (see Conf.inode_child_order). In Inode_value, it is lexicographic on the steps.

f is called in post-order, that is f is first called on the leaves, and the last call to f is on the root designated by root_key.

The traversal skips objects that are structurally equal to objects that were already traversed. In other words, export internally uses a hash set in order to guarantee that all the objects passed to f don't hash the same way.

Returns the total number of elements visited.

module Import : sig ... end