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