package irmin-pack

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type kinded_key =
  1. | Contents of contents_key
  2. | Contents_x of metadata * contents_key
  3. | Node of node_key
val kinded_key_t : kinded_key Irmin.Type.t
type entry = {
  1. name : step;
  2. key : kinded_key;
}
val entry_t : entry Irmin.Type.t
type !'a pointer = {
  1. index : int;
  2. pointer : hash;
  3. tree : 'a;
}
val pointer_t : 'a Irmin.Type.t -> 'a pointer Irmin.Type.t
type !'a tree = {
  1. depth : int;
  2. length : int;
  3. pointers : 'a pointer list;
}
val tree_t : 'a Irmin.Type.t -> 'a tree Irmin.Type.t
type t =
  1. | Tree of t tree
  2. | Values of entry list
  3. | Blinded
val t : t Irmin.Type.t
type error = [
  1. | `Blinded_root
  2. | `Duplicated_entries of t
  3. | `Duplicated_pointers of t
  4. | `Empty
  5. | `Invalid_depth of int * int * t
  6. | `Invalid_hash of hash * hash * t
  7. | `Invalid_length of [ `Eq of int | `Ge of int ] * int * t
  8. | `Too_large_values of t
  9. | `Unsorted_entries of t
  10. | `Unsorted_pointers of t
]
val error_t : error Irmin.Type.t
val pp_error : error Fmt.t