Module type FilePath.PATH_STRING_SPECIFICATION

Generic operations, with type filename and extension as strings.

include PATH_SPECIFICATION with type filename = string and type extension = string
type filename = string
type extension = string

Converting abstract type from/to string

val string_of_filename : filename -> string

Create a filename from a string.

val filename_of_string : string -> filename

Create a string from a filename.

val extension_of_string : string -> extension

Create an extension from a string.

val string_of_extension : extension -> string

Return string representation of an extension.

Standard operations

val make_filename : string list -> filename

See FilePath.make_filename

val is_subdir : filename -> filename -> bool

See FilePath.is_subdir

val is_updir : filename -> filename -> bool

See FilePath.is_updir

val compare : filename -> filename -> int

See FilePath.compare

val basename : filename -> filename

See FilePath.basename

val dirname : filename -> filename

See FilePath.dirname

val concat : filename -> filename -> filename

See FilePath.concat

val reduce : ?no_symlink:bool -> filename -> filename

See FilePath.reduce

val make_absolute : filename -> filename -> filename

See FilePath.make_absolute

val make_relative : filename -> filename -> filename

See FilePath.make_relative

val reparent : filename -> filename -> filename -> filename

See FilePath.reparent

val identity : filename -> filename

See FilePath.identity

val is_valid : filename -> bool

See FilePath.is_valid

val is_relative : filename -> bool

See FilePath.is_relative

val is_current : filename -> bool

See FilePath.is_current

val is_parent : filename -> bool

See FilePath.is_parent

val chop_extension : filename -> filename

See FilePath.chop_extension

val get_extension : filename -> extension

See FilePath.get_extension

val check_extension : filename -> extension -> bool

See FilePath.check_extension

val add_extension : filename -> extension -> filename

See FilePath.add_extension

val replace_extension : filename -> extension -> filename

See FilePath.replace_extension

val string_of_path : filename list -> string

See FilePath.string_of_path

val path_of_string : string -> filename list

See FilePath.path_of_string

val current_dir : filename

See FilePath.current_dir

val parent_dir : filename

See FilePath.parent_dir