Overview  Index  Help 
Standard ML Basis Library

POSIX_PROCESS


signature POSIX_PROCESS =
sig
  structure W : sig include POSIX_FLAGS val untraced : flags end
  eqtype signal
  eqtype pid
  datatype waitpid_arg =
           W_ANY_CHILD | W_CHILD of pid | W_SAME_GROUP | W_GROUP of pid
  datatype exit_status =
           W_EXITED
         | W_EXITSTATUS of Word8.word
         | W_SIGNALED of signal
         | W_STOPPED of signal
  datatype killpid_arg = K_PROC of pid | K_SAME_GROUP | K_GROUP of pid
  val wordToPid : SysWord.word -> pid
  val pidToWord : pid -> SysWord.word
  val fork : unit -> pid option
  val exec : string * string list -> 'a
  val exece : string * string list * string list -> 'a
  val execp : string * string list -> 'a
  val wait : unit -> pid * exit_status
  val waitpid : waitpid_arg * W.flags list -> pid * exit_status
  val waitpid_nh : waitpid_arg * W.flags list -> (pid * exit_statusoption
  val exit : Word8.word -> 'a
  val kill : killpid_arg * signal -> unit
  val alarm : Time.time -> Time.time
  val pause : unit -> unit
  val sleep : Time.time -> Time.time
end

 
Type detail

signal

eqtype signal


pid

eqtype pid

 
Datatype detail

waitpid_arg

datatype waitpid_arg =
         W_ANY_CHILD | W_CHILD of pid | W_SAME_GROUP | W_GROUP of pid


exit_status

datatype exit_status =
         W_EXITED
       | W_EXITSTATUS of Word8.word
       | W_SIGNALED of signal
       | W_STOPPED of signal


killpid_arg

datatype killpid_arg = K_PROC of pid | K_SAME_GROUP | K_GROUP of pid

 
DataConstructor detail

W_ANY_CHILD

constructor W_ANY_CHILD : waitpid_arg


W_CHILD

constructor W_CHILD : pid -> waitpid_arg


W_SAME_GROUP

constructor W_SAME_GROUP : waitpid_arg


W_GROUP

constructor W_GROUP : pid -> waitpid_arg


W_EXITED

constructor W_EXITED : exit_status


W_EXITSTATUS

constructor W_EXITSTATUS : Word8.word -> exit_status


W_SIGNALED

constructor W_SIGNALED : signal -> exit_status


W_STOPPED

constructor W_STOPPED : signal -> exit_status


K_PROC

constructor K_PROC : pid -> killpid_arg


K_SAME_GROUP

constructor K_SAME_GROUP : killpid_arg


K_GROUP

constructor K_GROUP : pid -> killpid_arg

 
Value detail

wordToPid

val wordToPid : SysWord.word -> pid


pidToWord

val pidToWord : pid -> SysWord.word


fork

val fork : unit -> pid option


exec

val exec : string * string list -> 'a


exece

val exece : string * string list * string list -> 'a


execp

val execp : string * string list -> 'a


wait

val wait : unit -> pid * exit_status


waitpid

val waitpid : waitpid_arg * W.flags list -> pid * exit_status


waitpid_nh

val waitpid_nh : waitpid_arg * W.flags list -> (pid * exit_statusoption


exit

val exit : Word8.word -> 'a


kill

val kill : killpid_arg * signal -> unit


alarm

val alarm : Time.time -> Time.time


pause

val pause : unit -> unit


sleep

val sleep : Time.time -> Time.time

 


Overview  Index  Help 
Standard ML Basis Library

This document may be distributed freely over the internet as long as the copyright notice and license terms below are prominently displayed within every machine-readable copy.

Copyright © 2003 AT&T and Lucent Technologies. All rights reserved.

Permission is granted for internet users to make one paper copy for their own personal use. Further hardcopy reproduction is strictly prohibited. Permission to distribute the HTML document electronically on any medium other than the internet must be requested from the copyright holders by contacting the editors. Printed versions of the SML Basis Manual are available from Cambridge University Press. To order, please visit www.cup.org (North America) or www.cup.cam.ac.uk (outside North America).