package irmin-fs

You can search for identifiers within the package.

in-package search v0.2.0

Generic file-system backend for Irmin

Install

Dune Dependency

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

Authors

Maintainers

T

thomas@gazagnaire.org

Sources

irmin-3.7.2.tbz

sha256=6aa5ba4c6a0233747d4bd3ab396f2b3a33bb80f9d8ed4a178c83a035033c0e52

sha512=8a5506a57e8569a11c883ca25b3c60ae7a9a03c2da111668193d7b4296434c43f1a310e78f189e4b38c234da790259d2961c6a0ae481282c18bb97f618fccfb6

doc/irmin-fs.unix/Irmin_fs_unix/Make/Tree/Proof/index.html

Module `Tree.Proof`

type kinded_hash = [

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

]

val kinded_hash_t : kinded_hash Irmin__.Type.t

type !'a inode = {

length : int;
proofs : (int * 'a) list;

}

val inode_t : 'a Irmin__.Type.t -> 'a inode Irmin__.Type.t

type !'a 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 =

| 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 =

| 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 =

| 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

type 'a 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