package irmin-fs

  1. Overview
  2. Docs
Generic file-system backend for Irmin

Install 

dune-project
 Dependency

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

Authors

  1. T
    Thomas Gazagnaire
  2. T
    Thomas Leonard

Maintainers

  1. T
    thomas@gazagnaire.org

Sources

irmin-3.10.0.tbz
sha256=92a9de7a0a2a35c2feba0c35a806b1f0df24c1c0d15164eebf3f919296d26715
sha512=0203ec5117a851ad5afeb2f9091659b4e142e231b6b945caab93f4d7beb23397c8ac43f7056e91d18f4bff0be1062f6ae966d221f877c229328c0cbbf29fd9f0

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

Module Tree.Proof

type kinded_hash = [
  1. | `Contents of hash * metadata
  2. | `Node of hash
]
val kinded_hash_t : kinded_hash Irmin__.Type.t
type !'a 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 = {
  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 =
  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 =
  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 t
val t : t Irmin__.Type.t
val v : before:kinded_hash -> after:kinded_hash -> tree -> t
val before : t -> kinded_hash
val after : t -> kinded_hash
val state : t -> tree
val to_tree : t -> tree