Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature UNIX = |
2 | sig | |
3 | type ('a, 'b) proc | |
4 | type signal | |
5 | datatype exit_status = | |
6 | W_EXITED | |
7 | | W_EXITSTATUS of Word8.word | |
8 | | W_SIGNALED of signal | |
9 | | W_STOPPED of signal | |
10 | ||
11 | val binInstreamOf: (BinIO.instream, 'a) proc -> BinIO.instream | |
12 | val binOutstreamOf: ('a, BinIO.outstream) proc -> BinIO.outstream | |
13 | val execute: string * string list -> ('a, 'b) proc | |
14 | val executeInEnv: string * string list * string list -> ('a, 'b) proc | |
15 | val exit: Word8.word -> 'a | |
16 | val fromStatus: OS.Process.status -> exit_status | |
17 | val kill: ('a, 'b) proc * signal -> unit | |
18 | val reap: ('a, 'b) proc -> OS.Process.status | |
19 | val streamsOf: ((TextIO.instream, TextIO.outstream) proc | |
20 | -> TextIO.instream * TextIO.outstream) | |
21 | val textInstreamOf: (TextIO.instream, 'a) proc -> TextIO.instream | |
22 | val textOutstreamOf: ('a, TextIO.outstream) proc -> TextIO.outstream | |
23 | end |