val current_dir_name : 'a string
The conventional name for the current directory (e.g. .
in Unix).
val parent_dir_name : 'a string
The conventional name for the parent of the current directory
(e.g. ..
in Unix).
val concat : 'a string -> 'a string -> 'a string
concat dir file
returns a file name that designates file
file
in directory dir
.
val is_relative : 'a string -> 'a bool
Return true
if the file name is relative to the current
directory, false
if it is absolute (i.e. in Unix, starts
with /
).
val is_implicit : 'a string -> 'a bool
Return true
if the file name is relative and does not start
with an explicit reference to the current directory (./
or
../
in Unix), false
if it starts with an explicit reference
to the root directory or the current directory.
val check_suffix : 'a string -> 'a string -> 'a bool
check_suffix name suff
returns true
if the filename name
ends with the suffix suff
.
val chop_suffix : 'a string ->
'a string -{'b | Invalid_argument: 'b |}-> 'a string
with 'a < 'b
chop_suffix name suff
removes the suffix suff
from
the filename name
. The behavior is undefined if name
does not
end with the suffix suff
.
val chop_extension : 'a string -{'b | Invalid_argument: 'b |}-> 'a string
with 'a < 'b
Return the given file name without its extension. The extension
is the shortest suffix starting with a period, .xyz
for instance.
Raise Invalid_argument
if the given name does not contain
a period.
val basename : 'a string -> 'a string
Split a file name into directory name / base file name.
concat (dirname name) (basename name)
returns a file name
which is equivalent to name
.
val dirname : 'a string -> 'a string
See Filename.basename
.
val quote : 'a string -> 'a string
Return a quoted version of a file name, suitable for use as
one argument in a shell command line, escaping all shell
meta-characters.