BatPathGen.PathType.Operators

# Module BatPathGen.PathType.Operators

    module Operators: sig .. end

Infix operators for path construction. They are in separate module, so one can `open Path.Operators` to use them.

    val (/:) : BatPathGen.PathType.t -> BatPathGen.PathType.ustring -> BatPathGen.PathType.t

`path/:name` is a path of `name` located in a directory `path`. For example:

- `BatPathGen.PathType.root``/:"var"/:"log"` builds absolute path "/var/log"
- `[user]/:".ssh"` can be either:
  - absolute path "/.ssh" in case `user` is an empty string
  - relative path otherwise

`BatPathGen.PathType.default_validator` is applied to the argument. `name` must not contain path separator (causes Illegal_char exception).
Raises `Illegal_char` (raised by validator on any bad character)

    val (//@) : BatPathGen.PathType.t -> BatPathGen.PathType.t -> BatPathGen.PathType.t

`basepath//@relpath` catenates two paths.

Windows: As a special exception it is possible to pass absolute path as `relpath`, provided that `basepath` is simple absolute path (i.e. of the form `[...; ""]`) and `relpath` is not simple absolute path.
Raises `Invalid_argument` if the second argument is an absolute path (Windows: see above).