basis-library/system/unix.sig

   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