Import Upstream version 20180207
[hcoop/debian/mlton.git] / basis-library / libs / basis-1997 / system / path.sig
1 signature OS_PATH_1997 =
2 sig
3 exception Path
4 exception InvalidArc
5 val parentArc : string
6 val currentArc : string
7 val validVolume : {isAbs : bool, vol : string} -> bool
8 val fromString : string -> {isAbs : bool, vol : string, arcs : string list}
9 val toString : {isAbs : bool, vol : string, arcs : string list} -> string
10 val getVolume : string -> string
11 val getParent : string -> string
12 val splitDirFile : string -> {dir : string, file : string}
13 val joinDirFile : {dir : string, file : string} -> string
14 val dir : string -> string
15 val file : string -> string
16 val splitBaseExt : string -> {base : string, ext : string option}
17 val joinBaseExt : {base : string, ext : string option} -> string
18 val base : string -> string
19 val ext : string -> string option
20 val mkCanonical : string -> string
21 val isCanonical : string -> bool
22 val mkAbsolute : (string * string) -> string
23 val mkRelative : (string * string) -> string
24 val isAbsolute : string -> bool
25 val isRelative : string -> bool
26 val isRoot : string -> bool
27 val concat : (string * string) -> string
28 val toUnixPath : string -> string
29 val fromUnixPath : string -> string
30 end