package irmin-git
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=92a9de7a0a2a35c2feba0c35a806b1f0df24c1c0d15164eebf3f919296d26715
sha512=0203ec5117a851ad5afeb2f9091659b4e142e231b6b945caab93f4d7beb23397c8ac43f7056e91d18f4bff0be1062f6ae966d221f877c229328c0cbbf29fd9f0
doc/irmin-git.unix/Irmin_git_unix/Maker/argument-1-G/Value/Tree/index.html
Module Value.Tree
type hash = hashtype nonrec entry = hash Git.Tree.entrytype nonrec t = hash Git.Tree.tval entry : name:string -> Git.Tree.perm -> hash -> entryentry ~name perm node is the entry to node with the name name and the mode perm.
v entries ties all entries into one tree object. It does not remove duplicate but re-order the given list such as:
Tree.digest (Tree.v [ { name= a; _ }; { name= b; _ }] ) ;;
- : hash = 8d14531846b95bfa3564b58ccfb7913a034323b8
Tree.digest (Tree.v [ { name= b; _ }; { name= a; _ }] ) ;;
- : hash = 8d14531846b95bfa3564b58ccfb7913a034323b8add entry tree returns a tree containing all elements of tree, plus entry. If entry was already in tree, tree is unchanged.
remove ~name tree returns a tree containing all elements of tree, except one with the name name. If any entries of the given tree don't have the name name, tree is returned unchanged.
val is_empty : t -> boolis_empty tree tests whether the given tree is empty or not.
digest t associates a hash to any value of t. It is guaranteed that if x = y or compare x y = 0, then digest x = digest y.
val hash : t -> inthash blob associates a non-negative integer to any value of t. It is guaranteed that if x = y or compare x y = 0, then hash x = hash y.
Sets and Maps.
val length : t -> int64length tree is the length of the given tree object.