package irmin-pack

You can search for identifiers within the package.

in-package search v0.2.0

Irmin backend which stores values in a pack file

Install

Dune Dependency

github.com Readme Changelog ISC License Edit opam file Versions (9)

Authors

T

Thomas Gazagnaire

Maintainers

T

thomas@gazagnaire.org

Sources

irmin-3.5.2.tbz

sha256=2a1e6a7577e498fbfeb678d666da210dc48d1344637e8ecb653e1dd88c640b5f

sha512=3fb6f49a1af2f8bab1df5b6f5affaaa09f09fe892a08eb2d9de58138e56646d4a6797f3c087b22875e36e3411218ab2435fe5437ac78f323dd661932af021fad

doc/irmin-pack.unix/Irmin_pack_unix/KV/Maker/Make/Tree/Proof/index.html

Module `Tree.Proof`Source

Sourcetype kinded_hash = [

| `Contents of hash * metadata
| `Node of hash

]

Sourceval kinded_hash_t : kinded_hash Irmin.Type.t

Sourcetype !'a inode = 'a Irmin.Of_backend(X).Tree.Proof.inode = {

length : int;
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 = {

length : int;
segments : int list;
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 =

| Contents of contents * metadata
| Blinded_contents of hash * metadata
| Node of (step * tree) list
| Blinded_node of hash
| Inode of inode_tree inode
| Extender of inode_tree inode_extender

Sourceand inode_tree = Irmin.Of_backend(X).Tree.Proof.inode_tree =

| Blinded_inode of hash
| Inode_values of (step * tree) list
| Inode_tree of inode_tree inode
| Inode_extender of inode_tree inode_extender

Sourceval tree_t : tree Irmin.Type.t

Sourceval inode_tree_t : inode_tree Irmin.Type.t

Sourcetype elt = Irmin.Of_backend(X).Tree.Proof.elt =

| Contents of contents
| Node of (step * kinded_hash) list
| Inode of hash inode
| Inode_extender of hash inode_extender

Sourceval elt_t : elt Irmin.Type.t

Sourcetype stream = elt Seq.t

Sourceval stream_t : stream Irmin.Type.t

Sourcetype 'a t = 'a Irmin.Of_backend(X).Tree.Proof.t

Sourceval t : 'a Irmin.Type.t -> 'a t 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