Overview  Index  Help 
Standard ML Basis Library

OS_IO


structure OS_IO : OS_IO =
struct
  structure Kind =
  struct
    val file : iodesc_kind
    val dir : iodesc_kind
    val symlink : iodesc_kind
    val tty : iodesc_kind
    val pipe : iodesc_kind
    val socket : iodesc_kind
    val device : iodesc_kind
  end
  type iodesc = OS.IO.iodesc
  type poll_flags = {rd : bool, wr : bool, pri : bool}
  datatype iodesc_kind = K of string
  datatype poll_desc = PollDesc of iodesc * poll_flags
  datatype poll_info = PollInfo of iodesc * poll_flags
  exception Poll
  val hash : iodesc -> word
  val compare : iodesc * iodesc -> order
  val kind : iodesc -> iodesc_kind
  val pollDesc : iodesc -> poll_desc option
  val pollToIODesc : poll_desc -> iodesc
  val pollIn : poll_desc -> poll_desc
  val pollOut : poll_desc -> poll_desc
  val pollPri : poll_desc -> poll_desc
  val poll : poll_desc list * Time.time option -> poll_info list
  val isIn : poll_info -> bool
  val isOut : poll_info -> bool
  val isPri : poll_info -> bool
  val infoToPollDesc : poll_info -> poll_desc
end

 
Type detail

iodesc

type iodesc = OS.IO.iodesc


poll_flags

type poll_flags = {rd : bool, wr : bool, pri : bool}

 
Datatype detail

iodesc_kind

datatype iodesc_kind = K of string


poll_desc

datatype poll_desc = PollDesc of iodesc * poll_flags


poll_info

datatype poll_info = PollInfo of iodesc * poll_flags

 
DataConstructor detail

K

constructor K : string -> iodesc_kind


PollDesc

constructor PollDesc : iodesc * poll_flags -> poll_desc


PollInfo

constructor PollInfo : iodesc * poll_flags -> poll_info

 
Value detail

hash

val hash : iodesc -> word


compare

val compare : iodesc * iodesc -> order


kind

val kind : iodesc -> iodesc_kind


pollDesc

val pollDesc : iodesc -> poll_desc option


pollToIODesc

val pollToIODesc : poll_desc -> iodesc


pollIn

val pollIn : poll_desc -> poll_desc


pollOut

val pollOut : poll_desc -> poll_desc


pollPri

val pollPri : poll_desc -> poll_desc


poll

val poll : poll_desc list * Time.time option -> poll_info list


isIn

val isIn : poll_info -> bool


isOut

val isOut : poll_info -> bool


isPri

val isPri : poll_info -> bool


infoToPollDesc

val infoToPollDesc : poll_info -> poll_desc

 
Exception detail

Poll

exception Poll


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