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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
(** The module [Filesystem] contain helpers to browse and operate on files and directories of a file
system. It uses the abstraction provided by the module [Filepath]. *)
(** Exceptions *)
exception UnexpectedFileType of string
(** Raised by [remove_dir_content] whenever trying to delete a block or char device. *)
exception WriteFailed
(** Raised by [write_no_partial]. *)
val remove_dir_content : Filepath.filepath -> unit
(** Removes the contents of a directory. Raises [UnexpectedFileType] if the directory contain a file
representing a block or a character device. *)
val remove_dir : Filepath.filepath -> unit
(** Remove a directory and its content. *)
val iterate : (Filepath.filename -> unit) -> Filepath.filepath -> unit
(** [iterate f fp] calls [f] on each filename contained in [fp] (excluding "." and ".."). Note that
a filename can represent either a file or a directory in the file system. *)
val list_dir_pred_map : (Filepath.filename -> 'a option) -> Filepath.filepath -> 'a list
(** [list_dir_pred_map f fp] applies [f] to each filename contained in [fp] using [iterate], and
returns all elements that have been obtained when [f] did not return [None]. *)
val list_dir_pred : (Filepath.filename -> bool) -> Filepath.filepath -> Filepath.filename list
(** [list_dir_pred pred fp] returns a list of filenames (obtained with [iterate] that satisfy the
predicate [pred]. *)
val get_modification_time : Filepath.filepath -> float
(** Returns the modification time of a filepath, or returns [0.] if any error occured. *)
val exists : Filepath.filepath -> bool
(** Analogous of [Sys.file_exists] but for a filepath *)
val is_dir : Filepath.filepath -> bool
(** Analogous of [Sys.is_directory] but for a filepath *)
val mkdir_safe : Filepath.filepath -> Unix.file_perm -> bool
(** [mkdir_safe fp perms] creates a directory at [fp] unless a directory or a file already exists
here. Return [false] if a directory already exists, [true] if the directory has just been
created, and raise an exception [Failure] if a file already exists at this location. *)
val mkdir_safe_ : Filepath.filepath -> Unix.file_perm -> unit
(** Analogous to [ignore (mkdir_safe fp perms). *)
val mkdir_safe_recursive : Filepath.filepath -> Unix.file_perm -> unit
(** Recursively create directories with [mkdirSafe_] until the all directories on the filepath
specified as argument exists. *)
(** Functions for writing/reading to/from a file in a filesystem. *)
val write_file : Filepath.filepath -> string -> unit
val read_file : Filepath.filepath -> string
(** Functions for copying files. *)
val copy_file : Filepath.filepath -> Filepath.filepath -> unit
(** [copy_file src dst] will copy file [src] to [dst]. *)
val copy_to_dir : Filepath.filepath -> Filepath.filepath -> unit
(** [copy_to_dir src dst] fill copy file [src] in directory [dst]. *)
|
