package octez-internal-libs

You can search for identifiers within the package.

in-package search v0.2.0

A package that contains some libraries used by the Octez suite

Install

Dune Dependency

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

Authors

Maintainers

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.Concrete`Source

Concrete trees

Sourcetype kinded_key =

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

The type for pointer kinds.

Sourceval kinded_key_t : kinded_key Irmin.Type.t

Sourcetype entry = {

name : step;
key : kinded_key;

}

The type of entries.

Sourceval entry_t : entry Irmin.Type.t

Sourcetype 'a pointer = {

index : int;
pointer : hash;
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 = {

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

}

The type for trees.

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

Sourcetype t =

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

The type for concrete trees.

Sourceval t : t Irmin.Type.t

type len := [

| `Eq of int
| `Ge of int

]

Sourcetype 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.

Sourceval error_t : error Irmin.Type.t

Sourceval pp_error : error Fmt.t

pp_error is the pretty-printer for errors.

On This Page

Concrete trees