Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature 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 |