Import Upstream version 20180207
[hcoop/debian/mlton.git] / basis-library / system / file-sys.sig
CommitLineData
7f918cf1
CE
1signature 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