Overview  Index  Help 
Standard ML Basis Library

POSIX_Process


structure POSIX_Process =
struct
  structure Sig = POSIX_Signal
  structure W =
  struct
    datatype flags = WF of word
    val fromWord
    val toWord
    val flags
    val anySet
    val allSet
    val orF
    val untraced
  end
  type word = SysWord.word
  type s_int = SysInt.int
  type signal = Sig.signal
  datatype pid = PID of s_int
  datatype waitpid_arg =
           W_ANY_CHILD | W_CHILD of pid | W_SAME_GROUP | W_GROUP of pid
  datatype killpid_arg = K_PROC of pid | K_SAME_GROUP | K_GROUP of pid
  datatype exit_status =
           W_EXITED
         | W_EXITSTATUS of Word8.word
         | W_SIGNALED of signal
         | W_STOPPED of signal
  val ++
  val &
  val pidToWord
  val wordToPid
  val cfun
  val osval
  val w_osval
  val sysconf
  val fork'
  val fork
  val exec
  val exece
  val execp
  val waitpid'
  val argToInt
  val mkExitStatus
  val wnohang
  val waitpid
  val waitpid_nh
  val wait
  val exit
  val kill'
  val kill
  val alarm
  val sleep
  val pause
end

 
Type detail

word

type word = SysWord.word


s_int

type s_int = SysInt.int


signal

type signal = Sig.signal

 
Datatype detail

pid

datatype pid = PID of s_int


waitpid_arg

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


killpid_arg

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


exit_status

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

 
DataConstructor detail

PID

constructor PID : s_int -> pid


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


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


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

 
Value detail

++

val ++


&

val &


pidToWord

val pidToWord


wordToPid

val wordToPid


cfun

val cfun


osval

val osval


w_osval

val w_osval


sysconf

val sysconf


fork'

val fork'


fork

val fork


exec

val exec


exece

val exece


execp

val execp


waitpid'

val waitpid'


argToInt

val argToInt


mkExitStatus

val mkExitStatus


wnohang

val wnohang


waitpid

val waitpid


waitpid_nh

val waitpid_nh


wait

val wait


exit

val exit


kill'

val kill'


kill

val kill


alarm

val alarm


sleep

val sleep


pause

val pause

 


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