dir.mli 1.25 KB
Newer Older
Idir Lankri's avatar
Idir Lankri committed
1
(**************************************************************************)
2
(*                                                                        *)
Idir Lankri's avatar
Idir Lankri committed
3 4 5 6 7 8 9
(*                     The Sanskrit Heritage Platform                     *)
(*                                                                        *)
(*                              Idir Lankri                               *)
(*                                                                        *)
(* ©2017 Institut National de Recherche en Informatique et en Automatique *)
(**************************************************************************)

10
(* Directory operations *)
11

12
(* [subdirs dir] returns the list of subdirectories of [dir].  The order
13 14
   of the returned list is unspecified.  Raise [Sys_error] when an
   operating system error occurs.  *)
15
value subdirs : string -> list string
16
;
17 18
(* [files_with_ext ext dir] returns the list of files in [dir] with the
   extension [ext] (e.g. ["txt"]).  The order of the returned list is
19 20
   unspecified.  Raise [Sys_error] when an operating system error
   occurs.  *)
21
value files_with_ext : string -> string -> list string
22
;
23 24 25 26
(* [split path] splits [path] into substrings corresponding to the
   subdirectories of [path].  *)
value split : string -> list string
;