File system paths
type t = fpath
The type for file system paths.
append p q
appends q
to p
as follows:
- If
q
is absolute thenq
is returned - Otherwise appends
q
's segments top
using a"/"
if needed.
val is_dir_path : t -> bool
is_dir_path p
is true
iff p
represents a directory. This means that p
is .
, ..
or ends with /
, /..
or /.
.
val is_file_path : t -> bool
is_file_path p
is not (is_dir_path true)
.
val basename : t -> string
basename p
is p
's basename, the last non empty segment of p
.
val dirname : t -> string
dirname p
is p
's dirname, p
without its last non empty segment.
File extensions
val get_ext : t -> string
get_ext p
is p
's filename extension (including the '.'
) or the empty string if there is no extension
val has_ext : string -> t -> bool
has_ext e p
is true
iff e
is a suffix of p
.