ojs_base
Ojs_base.Path
Handling file paths.
ojs_base.js
ojs_base.server
type t
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
module Map : Map.S with type key = t
module Set : Set.S with type elt = t
val dir_sep : char
val empty : t
val root : t
val is_absolute : t -> bool
val path : t -> string list
val of_string : string -> t
val to_string : t -> string
val basename : t -> string
Invalid_argument
is the path is empty.
val parent : t -> t
val append : t -> string list -> t
val append_path : t -> t -> t
val is_prefix : t -> t -> bool
val normalize : t -> t
normalize path returns path where Filename.parent_dir_name and Filename.current_dir_name have been handled so they don't appear anymore. Note that /.. becomes / (i.e. no error in case there are too many separators).
normalize path
path
Filename.parent_dir_name
Filename.current_dir_name
/..
/