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.5.1.tbz

sha256=cd788a8d3f4a3dd18dc160a153d4aec91eaf6b0fb41ad41464d26c79c304a98e

sha512=4f97862678d35e0b4aa814a1df51d6f8c59bcf5b611c73f0a475f9b5386ca42a4a18e65ce80fc425ddad93fcdacfcb563c52f6423777610a0bc567902f4db088

doc/irmin-pack.unix/Irmin_pack_unix/Inode/Make_persistent/argument-3-Inter/Val/Concrete/index.html

Module `Val.Concrete`

Concrete trees

type kinded_key =

| Contents of contents_key
| Contents_x of metadata * contents_key
| Node of node_key

The type for pointer kinds.

val kinded_key_t : kinded_key Irmin.Type.t

type entry = {

name : step;
key : kinded_key;

}

The type of entries.

val entry_t : entry Irmin.Type.t

type 'a pointer = {

index : int;
pointer : hash;
tree : 'a;

}

The type for internal pointers between concrete trees.

val pointer_t : 'a Irmin.Type.t -> 'a pointer Irmin.Type.t

type 'a tree = {

depth : int;
length : int;
pointers : 'a pointer list;

}

The type for trees.

val tree_t : 'a Irmin.Type.t -> 'a tree Irmin.Type.t

type t =

| Tree of t tree
| Values of entry list
| Blinded

The type for concrete trees.

val t : t Irmin.Type.t

type len := [

| `Eq of int
| `Ge of int

]

type error = [

| `Invalid_hash of hash * hash * t
| `Invalid_depth of int * int * t
| `Invalid_length of len * int * t
| `Duplicated_entries of t
| `Duplicated_pointers of t
| `Unsorted_entries of t
| `Unsorted_pointers of t
| `Blinded_root
| `Too_large_values of t
| `Empty

]

The type for errors.

val error_t : error Irmin.Type.t

val pp_error : error Fmt.t

pp_error is the pretty-printer for errors.

On This Page

Concrete trees