package irmin-pack

  1. Overview
  2. Docs
package irmin-pack
Legend:
Library
Module
Module type
Parameter
Class
Class type
type kinded_hash = [
  1. | `Contents of hash * metadata
  2. | `Node of hash
]
val kinded_hash_t : kinded_hash Irmin.Type.t
type !'a inode = 'a Irmin.Of_backend(X).Tree.Proof.inode = {
  1. length : int;
  2. proofs : (int * 'a) list;
}
val inode_t : 'a Irmin.Type.t -> 'a inode Irmin.Type.t
type !'a inode_extender = 'a Irmin.Of_backend(X).Tree.Proof.inode_extender = {
  1. length : int;
  2. segments : int list;
  3. proof : 'a;
}
val inode_extender_t : 'a Irmin.Type.t -> 'a inode_extender Irmin.Type.t
type 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
and 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
val tree_t : tree Irmin.Type.t
val inode_tree_t : inode_tree Irmin.Type.t
type 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
val elt_t : elt Irmin.Type.t
type stream = elt Seq.t
val stream_t : stream Irmin.Type.t
val t : 'a Irmin.Type.t -> 'a t Irmin.Type.t
val v : before:kinded_hash -> after:kinded_hash -> 'a -> 'a t
val before : 'a t -> kinded_hash
val after : 'a t -> kinded_hash
val state : 'a t -> 'a
val 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