package irmin-pack
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=9e72efdc13324602d8da46e0492b1f4e09ad524149845e1a9106882f60ad6e1f
sha512=ae9cb4b086c7b93962aafc2ea339ac85c6d66bdf769f70a16f62fa5c74d9b194e12ac00b510be5ffac5adff3aa20fd69c4ca4067dcc966767fefcf5c02bc9969
doc/irmin-pack.unix/Irmin_pack_unix/Checks/Make/argument-1-_/Snapshot/index.html
Module _.Snapshot
val kinded_hash_t : kinded_hash Irmin.Type.t
val entry_t : entry Irmin.Type.t
val inode_tree_t : inode_tree Irmin.Type.t
val v_t : v Irmin.Type.t
val inode_t : inode Irmin.Type.t
val t : t Irmin.Type.t
val export :
?on_disk:[ `Path of string ] ->
repo ->
(t -> unit Lwt.t) ->
root_key:Tree.kinded_key ->
int Lwt.t
export ?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_disk
is not specified, the index is in memory. - if
on_disk
is`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.
module Import : sig ... end