| 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 |