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

Dependency

sha256=7af11e14d312b9ae340997f8c27907b9fc9a0d19539fb643e1820d5183a76750

sha512=d7b61c6fddab0a8b61efe867b9a0fdc14c01eb1adeda2f5018b8dfee306c8324c77dd648c7cb9860e62a26e224955f9331b49d19cb693ad5d773efc53263d9fd

type t = (hash, step, metadata) Irmin__.Tree_intf.Proof.t

val t : t Irmin__.Type.t

val of_tree : tree -> t

of_tree t is the proof representing the tree t. Shallow hashes will be blinded.

val to_tree : t -> tree

of_proof p is the tree representing the proof p. Blinded parts of the proof will raise Dangling_hash when traversed.

val of_keys : tree -> key list -> t Lwt.t

of_keys t keys is the minimal proof that can be used to prove that operations over the domain keys are valid with t.