package irmin-pack

  1. Overview
  2. Docs
package irmin-pack
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tree.ProofSource

Sourcetype kinded_hash = [
  1. | `Contents of hash * metadata
  2. | `Node of hash
]
Sourceval kinded_hash_t : kinded_hash Irmin.Type.t
Sourcetype !'a inode = 'a Irmin.Of_backend(X).Tree.Proof.inode = {
  1. length : int;
  2. proofs : (int * 'a) list;
}
Sourceval inode_t : 'a Irmin.Type.t -> 'a inode Irmin.Type.t
Sourcetype !'a inode_extender = 'a Irmin.Of_backend(X).Tree.Proof.inode_extender = {
  1. length : int;
  2. segments : int list;
  3. proof : 'a;
}
Sourceval inode_extender_t : 'a Irmin.Type.t -> 'a inode_extender Irmin.Type.t
Sourcetype tree = Irmin.Of_backend(X).Tree.Proof.tree =
  1. | Contents of contents * metadata
  2. | Blinded_contents of hash * metadata
  3. | Node of (step * tree) list
  4. | Blinded_node of hash
  5. | Inode of inode_tree inode
  6. | Extender of inode_tree inode_extender
Sourceand inode_tree = Irmin.Of_backend(X).Tree.Proof.inode_tree =
  1. | Blinded_inode of hash
  2. | Inode_values of (step * tree) list
  3. | Inode_tree of inode_tree inode
  4. | Inode_extender of inode_tree inode_extender
Sourceval inode_tree_t : inode_tree Irmin.Type.t
Sourcetype elt = Irmin.Of_backend(X).Tree.Proof.elt =
  1. | Contents of contents
  2. | Node of (step * kinded_hash) list
  3. | Inode of hash inode
  4. | Inode_extender of hash inode_extender
Sourcetype stream = elt Seq.t
Sourceval stream_t : stream Irmin.Type.t
Sourceval v : before:kinded_hash -> after:kinded_hash -> 'a -> 'a t
Sourceval before : 'a t -> kinded_hash
Sourceval after : 'a t -> kinded_hash
Sourceval state : 'a t -> 'a
Sourceval to_tree : tree t -> tree
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct