Note:

You are viewing a development version of the library. Goto the latest version.

Module type FilePath.PATH_SPECIFICATION

module type PATH_SPECIFICATION = sig .. end
Generic operations.

type filename 
type extension 

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