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