| Standard ML Basis Library |
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_status) option
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 |
---|
eqtype signal
eqtype pid
Datatype detail |
---|
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
DataConstructor detail |
---|
constructor W_ANY_CHILD : waitpid_arg
constructor W_CHILD : pid -> waitpid_arg
constructor W_SAME_GROUP : waitpid_arg
constructor W_GROUP : pid -> waitpid_arg
constructor W_EXITED : exit_status
constructor W_EXITSTATUS : Word8.word -> exit_status
constructor W_SIGNALED : signal -> exit_status
constructor W_STOPPED : signal -> exit_status
constructor K_PROC : pid -> killpid_arg
constructor K_SAME_GROUP : killpid_arg
constructor K_GROUP : pid -> killpid_arg
Value detail |
---|
val wordToPid : SysWord.word -> pid
val pidToWord : pid -> SysWord.word
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_status) option
val exit : Word8.word -> 'a
val kill : killpid_arg * signal -> unit
val alarm : Time.time -> Time.time
val sleep : Time.time -> Time.time
| 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). |