1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
(**********************************************************************)
(* Streams of words or lines from text files: *)
(**********************************************************************)
val read_words : string -> string stream;;
val read_lines : string -> string stream;;
(**********************************************************************)
(* Streams of file names: *)
(**********************************************************************)
type directory_option =
List_hidden
| List_self
| List_parent
| List_sorted of (string -> string -> int);;
val directory : string -> string stream;;
(* without ., .., and w/o .files; sorted according to the "C" locale *)
val directory_with : directory_option list -> string -> string stream;;
type tree_option =
Traverse_hidden
| Traverse_preorder
| Traverse_postorder
| Traverse_sorted of (string -> string -> int);;
| Prune_if of (string -> bool)
| Unreadable of (string -> unit)
;;
val tree : string -> string stream;;
(* without ., .., and w/o .files; sorted according to the "C" locale;
* "preorder"
*)
val tree_with : tree_option list -> string -> string stream;;
(**********************************************************************)
(* Common filters *)
(**********************************************************************)
val sort : string stream -> string stream;;
val sort_by : (string -> string -> int) -> string stream -> string stream;;
val
|
