package octez-internal-libs

  1. Overview
  2. No Docs
On This Page
  1. Concrete trees
A package that contains some libraries used by the Octez suite

Install 

dune-project
 Dependency

www.tezos.com Edit opam file Versions (1)

Authors

  1. T
    Tezos devteam
  2. T
    Thomas Gazagnaire
  3. T
    Thomas Leonard
  4. C
    Craig Ferguson

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/octez-internal-libs.irmin_pack/Irmin_pack/Inode/Make_internal/Val/Concrete/index.html

Module Val.ConcreteSource

Concrete trees

Sourcetype kinded_key =
  1. | Contents of contents_key
  2. | Contents_x of metadata * contents_key
  3. | Node of node_key

The type for pointer kinds.

Sourceval kinded_key_t : kinded_key Irmin.Type.t
Sourcetype entry = {
  1. name : step;
  2. key : kinded_key;
}

The type of entries.

Sourceval entry_t : entry Irmin.Type.t
Sourcetype 'a pointer = {
  1. index : int;
  2. pointer : hash;
  3. tree : 'a;
}

The type for internal pointers between concrete trees.

Sourceval pointer_t : 'a Irmin.Type.t -> 'a pointer Irmin.Type.t
Sourcetype 'a tree = {
  1. depth : int;
  2. length : int;
  3. pointers : 'a pointer list;
}

The type for trees.

Sourceval tree_t : 'a Irmin.Type.t -> 'a tree Irmin.Type.t
Sourcetype t =
  1. | Tree of t tree
  2. | Values of entry list
  3. | Blinded

The type for concrete trees.

type len := [
  1. | `Eq of int
  2. | `Ge of int
]
Sourcetype error = [
  1. | `Invalid_hash of hash * hash * t
  2. | `Invalid_depth of int * int * t
  3. | `Invalid_length of len * int * t
  4. | `Duplicated_entries of t
  5. | `Duplicated_pointers of t
  6. | `Unsorted_entries of t
  7. | `Unsorted_pointers of t
  8. | `Blinded_root
  9. | `Too_large_values of t
  10. | `Empty
]

The type for errors.

Sourceval pp_error : error Fmt.t

pp_error is the pretty-printer for errors.