CCIO.File
A file should be represented by its absolute path, but currently this is not enforced.
val to_string : t -> string
val make : string -> t
Build a file representation from a path (absolute or relative).
val exists : t -> bool
val is_directory : t -> bool
val remove_exn : t -> unit
remove_exn path
tries to remove the file at path
from the file system.
val remove_noerr : t -> unit
Like remove_exn
but do not raise any exception on failure.
read_dir d
returns a sequence of files and directory contained in the directory d
(or an empty stream if d
is not a directory).
val read_exn : t -> string
Read the content of the given file, or raises some exception.
val append_exn : t -> string -> unit
Append the given string into the given file, possibly raising.
val write_exn : t -> string -> unit
Write the given string into the given file, possibly raising.
type walk_item = [ `File | `Dir ] * t
walk p
generates the files and directories contained in a directory tree by walking the tree. walk
treats anything for which is_directory
returns false
(including symlinks, etc.) as a file.
The argument is treated as part of its own directory tree, so the result of walk p
always includes p
.
This is similar to read_dir
with recurse=true
, except that read_dir
with recurse=true
only generates file entries.
Like walk
but returns a list (therefore it's eager and might take some time on large directories).
val walk_seq : t -> walk_item Stdlib.Seq.t
Like walk
but returns a Seq
val show_walk_item : walk_item -> string
with_temp ~prefix ~suffix f
will call f
with the name of a new temporary file (located in temp_dir
). After f
returns, the file is deleted. Best to be used in combination with with_out
. See Filename.temp_file
.