Up – Package index » eio » Library eio.utils » Eio_utils » Nt_path

Module `Eio_utils.Nt_path`Source

Windows path syntax.

join dir step appends step to dir using "\\" as the directory separator, unless dir already ends in a separator. After a bare drive (C:) no separator is added, to keep the path drive-relative.

split: Volume prefixes (C:, \\server\share, \\?\..., \??\...) are never split.

include Eio.Fs.Pi.PATH

Sourceval split : Eio.Fs.path -> (Eio.Fs.path * string) option

The implementation of Path.split.

Sourceval join : Eio.Fs.path -> Eio.Fs.path -> Eio.Fs.path

The implementation of Path.(/).