package ojs_base

  1. Overview
  2. Docs
package ojs_base
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Ojs_base.PathSource

Handling file paths.

Sourcetype t
Sourceval to_yojson : t -> Yojson.Safe.t
Sourcemodule Map : Map.S with type key = t
Sourcemodule Set : Set.S with type elt = t
Sourceval dir_sep : char
Sourceval empty : t
Sourceval root : t
Sourceval is_absolute : t -> bool
Sourceval path : t -> string list
Sourceval of_string : string -> t
Sourceval to_string : t -> string
Sourceval basename : t -> string
Sourceval parent : t -> t
Sourceval append : t -> string list -> t
Sourceval append_path : t -> t -> t
Sourceval is_prefix : t -> t -> bool
Sourceval 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).