X-Git-Url: https://git.xandkar.net/?p=dups.git;a=blobdiff_plain;f=lib%2Ffile.mli;fp=lib%2Ffile.mli;h=d6e6fa0490c81bb5917dd395d912861896f62fe9;hp=0000000000000000000000000000000000000000;hb=ddcbda0046a598d55746850e15d4fa99b3998ce0;hpb=21e1d14c1e23d2c586ebe1480add8e9d87e7ad7a

diff --git a/lib/file.mli b/lib/file.mli
new file mode 100644
index 0000000..d6e6fa0
--- /dev/null
+++ b/lib/file.mli
@@ -0,0 +1,17 @@
+module M = Metrics
+
+type t =
+  { path : string
+  ; size : int
+  }
+
+val find : string -> t Stream.t
+(** Find all files in the directory tree, starting from the given root path *)
+
+val lookup : string Stream.t -> t Stream.t
+(** Lookup file info for given paths *)
+
+val head : t -> len:int -> metrics:M.t -> string
+
+val filter_out_unique_sizes : t Stream.t -> metrics:M.t -> t Stream.t
+val filter_out_unique_heads : t Stream.t -> len:int -> metrics:M.t -> t Stream.t