Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature OS_FILE_SYS = |
2 | sig | |
3 | type dirstream | |
4 | ||
5 | val openDir: string -> dirstream | |
6 | val readDir: dirstream -> string option | |
7 | val rewindDir: dirstream -> unit | |
8 | val closeDir: dirstream -> unit | |
9 | val chDir: string -> unit | |
10 | ||
11 | val getDir: unit -> string | |
12 | val mkDir: string -> unit | |
13 | val rmDir: string -> unit | |
14 | val isDir: string -> bool | |
15 | val isLink: string -> bool | |
16 | val readLink: string -> string | |
17 | val fullPath: string -> string | |
18 | val realPath: string -> string | |
19 | val modTime: string -> Time.time | |
20 | val fileSize: string -> Position.int | |
21 | val setTime: string * Time.time option -> unit | |
22 | val remove: string -> unit | |
23 | val rename: {old: string, new: string} -> unit | |
24 | ||
25 | datatype access_mode = A_READ | A_WRITE | A_EXEC | |
26 | ||
27 | val access: string * access_mode list -> bool | |
28 | val tmpName: unit -> string | |
29 | ||
30 | eqtype file_id | |
31 | val fileId: string -> file_id | |
32 | val hash: file_id -> word | |
33 | val compare: file_id * file_id -> order | |
34 | end |