irmin-pack

Irmin backend which stores values in a pack file
IN THIS PACKAGE
Module Irmin_pack_unix . KV . Maker . Make . Tree . Proof
type kinded_hash = [
| `Contents of hash * metadata
| `Node of hash
]
val kinded_hash_t : kinded_hash Irmin.Type.t
type !'a inode = 'a Irmin.Of_backend(X).Tree.Proof.inode = {
length : int;
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 = {
length : int;
segments : int list;
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 =
| 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
and 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
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 =
| Contents of contents
| Node of (step * kinded_hash) list
| Inode of hash inode
| 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