Functor FilePath.GenericPath


module GenericPath: 
functor (OsOperation : OS_SPECIFICATION) -> sig .. end
Implementation of the META_PATH_SPECIFICATION
Parameters:
OsOperation : OS_SPECIFICATION

type filename = FilePath_type.filename_part list 
type extension = FilePath_type.extension 
val debug_print_component : FilePath_type.filename_part list -> unit
val filename_of_string : string -> FilePath_type.filename_part list
val string_of_filename : FilePath_type.filename_part list -> string
val reduce : FilePath_type.filename_part list -> FilePath_type.filename_part list

type filename_relation =
| SubDir
| UpDir
| Equal
| NoRelation of int
val relation_of_filename : FilePath_type.filename_part list ->
FilePath_type.filename_part list -> filename_relation
val is_subdir : FilePath_type.filename_part list -> FilePath_type.filename_part list -> bool
val is_updir : FilePath_type.filename_part list -> FilePath_type.filename_part list -> bool
val compare : FilePath_type.filename_part list -> FilePath_type.filename_part list -> int
val concat : FilePath_type.filename_part list ->
FilePath_type.filename_part list -> FilePath_type.filename_part list
val is_relative : FilePath_type.filename_part list -> bool
val is_implicit : FilePath_type.filename_part list -> bool
val is_valid : 'a -> bool
val is_current : FilePath_type.filename_part list -> bool
val is_parent : FilePath_type.filename_part list -> bool
val basename : 'a list -> 'a list
val dirname : 'a list -> 'a list
val split_extension : FilePath_type.filename_part list -> FilePath_type.filename_part list * string
val check_extension : FilePath_type.filename_part list -> string -> bool
val get_extension : FilePath_type.filename_part list -> string
val chop_extension : FilePath_type.filename_part list -> FilePath_type.filename_part list
val add_extension : FilePath_type.filename_part list ->
string -> FilePath_type.filename_part list
val extension_of_string : 'a -> 'a
val string_of_extension : 'a -> 'a
val make_absolute : FilePath_type.filename_part list ->
FilePath_type.filename_part list -> FilePath_type.filename_part list
val make_relative : FilePath_type.filename_part list ->
FilePath_type.filename_part list -> FilePath_type.filename_part list
val make_filename : string list -> FilePath_type.filename_part list
val reparent : FilePath_type.filename_part list ->
FilePath_type.filename_part list ->
FilePath_type.filename_part list -> FilePath_type.filename_part list
val identity : 'a -> 'a
val string_of_path : FilePath_type.filename_part list list -> string
val path_of_string : string -> FilePath_type.filename_part list list
val current_dir : FilePath_type.filename_part list
val parent_dir : FilePath_type.filename_part list