package irmin-pack
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=6aa5ba4c6a0233747d4bd3ab396f2b3a33bb80f9d8ed4a178c83a035033c0e52
sha512=8a5506a57e8569a11c883ca25b3c60ae7a9a03c2da111668193d7b4296434c43f1a310e78f189e4b38c234da790259d2961c6a0ae481282c18bb97f618fccfb6
doc/irmin-pack.unix/Irmin_pack_unix/Maker/Make/Snapshot/index.html
Module Make.SnapshotSource
val export :
?on_disk:[ `Path of string ] ->
repo ->
(t -> unit Lwt.t) ->
root_key:Tree.kinded_key ->
int Lwt.texport ?on_disk repo f ~root_key applies f to all inodes and contents in a rooted tree, with root specified by root_key.
The traversal requires an index to keep track of visited elements.
- if
on_diskis not specified, the index is in memory. - if
on_diskis`Path path, a temporary index is created at path.
The traversal order is stable. In Inode_tree, it is lexicographic on the index function (see Conf.inode_child_order). In Inode_value, it is lexicographic on the steps.
f is called in post-order, that is f is first called on the leaves, and the last call to f is on the root designated by root_key.
The traversal skips objects that are structurally equal to objects that were already traversed. In other words, export internally uses a hash set in order to guarantee that all the objects passed to f don't hash the same way.
Returns the total number of elements visited.