module AbstractMacOSPath: GenericPath
(
sig
val dir_writer : FilePath_type.filename_part list -> string
val dir_reader : Lexing.lexbuf -> FilePath_type.filename_part list
val path_writer : string list -> string
val path_reader : Lexing.lexbuf -> FilePath_type.filename list
end
)
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