Import Upstream version 20180207
[hcoop/debian/mlton.git] / basis-library / libs / basis-1997 / system / file-sys.sig
CommitLineData
7f918cf1
CE
1signature OS_FILE_SYS_1997 =
2 sig
3 type dirstream
4
5 val openDir: string -> dirstream
6 val readDir: dirstream -> string
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 =
26 A_READ
27 | A_WRITE
28 | A_EXEC
29
30 val access: string * access_mode list -> bool
31 val tmpName: unit -> string
32
33 eqtype file_id
34 val fileId: string -> file_id
35 val hash: file_id -> word
36 val compare: file_id * file_id -> order
37 end