Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature OS_IO = |
2 | sig | |
3 | eqtype iodesc | |
4 | eqtype iodesc_kind | |
5 | ||
6 | val hash: iodesc -> word | |
7 | val compare: iodesc * iodesc -> order | |
8 | val kind: iodesc -> iodesc_kind | |
9 | ||
10 | structure Kind: | |
11 | sig | |
12 | val file: iodesc_kind | |
13 | val dir: iodesc_kind | |
14 | val symlink: iodesc_kind | |
15 | val tty: iodesc_kind | |
16 | val pipe: iodesc_kind | |
17 | val socket: iodesc_kind | |
18 | val device: iodesc_kind | |
19 | end | |
20 | ||
21 | eqtype poll_desc | |
22 | type poll_info | |
23 | val pollDesc: iodesc -> poll_desc option | |
24 | val pollToIODesc: poll_desc -> iodesc | |
25 | exception Poll | |
26 | val pollIn: poll_desc -> poll_desc | |
27 | val pollOut: poll_desc -> poll_desc | |
28 | val pollPri: poll_desc -> poll_desc | |
29 | val poll: poll_desc list * Time.time option -> poll_info list | |
30 | val isIn: poll_info -> bool | |
31 | val isOut: poll_info -> bool | |
32 | val isPri: poll_info -> bool | |
33 | val infoToPollDesc: poll_info -> poll_desc | |
34 | end |