package spotlib

  1. Overview
  2. Docs

Module Spotlib.FilepathSource

File path normalization. It does not access to the actual file system

Sourcetype os =
  1. | Unix
    (*

    We love

    *)
  2. | Win32
    (*

    We hate

    *)
  3. | Cygwin
    (*

    A failed effort of reconcillation

    *)
Sourceval os : os

The actual OS the program is running on

Sourcetype t

The type of path

Sourceval is_prefix : t -> t -> string list option

is_prefix a b checks a is a perfix of b.

For example,

is_prefix /a/b/c /a/b/c/d/e = Some ["d"; "e"] is_prefix a/b/c a/b/c/d/e = Some ["d"; "e"]

Sourceval of_string : os -> string -> t

Parsing. No normalization performed.

Sourceval to_string : t -> string

Printing

Sourceval normalize : t -> t

Normalize the path.

* Drive name capitalization/uncapitalization * Use backslashes in Win32 * Elimination of redundant /./ and /../, if possible.

Sourceval is_absolute : t -> bool
Sourceval is_relative : t -> bool
Sourceval is_root : t -> bool
Sourceval dirbase : t -> t * string option

Split the path into its directory and base parts.

If the path is the root, it returns None.

It fails and raises Invalid_argument "dirbase", when the path ends with "..".

Sourceval (^/) : t -> string -> t

Concatenation.

t ^/ "hello/world"

t ^/ x raises Invalid_argument "(^/)" when x is a string of an absolute path.

Sourceval concats : t -> string list -> t

Concatenation+

concats t ["hello"; "world"; "good/bye"]

should equal to

t ^/ "hello" ^/ "world" ^/ "good" ^/ "bye"

It raises Invalid_argument "(^/)" when the path components contain an absolute path.

Sourceval parent : t -> t
Sourceval wrap : os -> (t -> t) -> string -> string
Sourceval test : unit -> unit