Private.File
File IO.
val cut_ext : fpath -> string * string
cut_ext f
is (fst, snd)
the pair that results from cutting the basename of f
at the rightmost '.'
(not included in the result) before the first Filename.dir_sep
. If there is no such character, fst is f
and snd
is ""
.
catch_sys_error f
invokes f ()
and catches any Sys_error
that may be raised and returns its message e
as Error e
.
with_open_in file f
open a channel on file
and gives it to f
. Ensures the channel is closed when the function returns and reports any Sys_error
or End_of_file
as an Error
.
with_open_out file f
open a channel on file
and gives it to f
. Ensures the channel is closed when the function returns and reports any Sys_error
or End_of_file
as an Error
.
val to_string : fpath -> (string, string) Stdlib.result
to_string file
reads file file
to a string.
val of_string : fpath -> string -> (unit, string) Stdlib.result
of_string file s
writes file file
with s
.
val exists : fpath -> (bool, string) Stdlib.result
exists file
is true
iff file
exists and is not a directory.
val delete : fpath -> (bool, string) Stdlib.result
delete file
deletes file file
. The boolean indicates whether the file actually existed.