Overview  Index  Help 
Standard ML Basis Library

POSIX_IO


structure POSIX_IO =
struct
  open OM
  structure FS = POSIX_FileSys
  structure OM : sig datatype open_mode = O_RDONLY | O_WRONLY | O_RDWR end = FS
  structure FD =
  struct
    datatype flags = FDF of word
    val fromWord
    val toWord
    val flags
    val anySet
    val allSet
    val cloexec
  end
  structure O =
  struct
    datatype flags = FS of word
    val fromWord
    val toWord
    val flags
    val anySet
    val allSet
    val append
    val dsync
    val nonblock
    val rsync
    val sync
  end
  structure FLock =
  struct
    datatype flock =
             FLOCK of
             {
               l_type : lock_type,
               l_whence : whence,
               l_start : Position.int,
               l_len : Position.int,
               l_pid : pid option
             }
    val flock
    val ltype
    val whence
    val start
    val len
    val pid
  end
  type word = SysWord.word
  type s_int = SysInt.int
  type file_desc = FS.file_desc
  type pid = POSIX_Process.pid
  type flock_rep = s_int * s_int * Position.int * Position.int * s_int
  datatype whence = SEEK_SET | SEEK_CUR | SEEK_END
  datatype lock_type = F_RDLCK | F_WRLCK | F_UNLCK
  val ++
  val &
  val cfun
  val osval
  val w_osval
  val fail
  val pipe'
  val pipe
  val dup'
  val dup2'
  val dup
  val dup2
  val close'
  val close
  val read'
  val readbuf'
  val readArr
  val readVec
  val writevec'
  val writearr'
  val writeArr
  val writeVec
  val seek_set
  val seek_cur
  val seek_end
  val whToWord
  val whFromWord
  val fcntl_d
  val fcntl_gfd
  val fcntl_sfd
  val fcntl_gfl
  val fcntl_sfl
  val dupfd
  val getfd
  val setfd
  val getfl
  val setfl
  val fcntl_l
  val f_getlk
  val f_setlk
  val f_setlkw
  val f_rdlck
  val f_wrlck
  val f_unlck
  val flockToRep
  val flockFromRep
  val getlk
  val setlk
  val setlkw
  val lseek'
  val lseek
  val fsync'
  val fsync
end

 
Type detail

word

type word = SysWord.word


s_int

type s_int = SysInt.int


file_desc

type file_desc = FS.file_desc


pid

type pid = POSIX_Process.pid


flock_rep

type flock_rep = s_int * s_int * Position.int * Position.int * s_int

 
Datatype detail

whence

datatype whence = SEEK_SET | SEEK_CUR | SEEK_END


lock_type

datatype lock_type = F_RDLCK | F_WRLCK | F_UNLCK

 
DataConstructor detail

SEEK_SET

constructor SEEK_SET : whence


SEEK_CUR

constructor SEEK_CUR : whence


SEEK_END

constructor SEEK_END : whence


F_RDLCK

constructor F_RDLCK : lock_type


F_WRLCK

constructor F_WRLCK : lock_type


F_UNLCK

constructor F_UNLCK : lock_type

 
Value detail

++

val ++


&

val &


cfun

val cfun


osval

val osval


w_osval

val w_osval


fail

val fail


pipe'

val pipe'


pipe

val pipe


dup'

val dup'


dup2'

val dup2'


dup

val dup


dup2

val dup2


close'

val close'


close

val close


read'

val read'


readbuf'

val readbuf'


readArr

val readArr


readVec

val readVec


writevec'

val writevec'


writearr'

val writearr'


writeArr

val writeArr


writeVec

val writeVec


seek_set

val seek_set


seek_cur

val seek_cur


seek_end

val seek_end


whToWord

val whToWord


whFromWord

val whFromWord


fcntl_d

val fcntl_d


fcntl_gfd

val fcntl_gfd


fcntl_sfd

val fcntl_sfd


fcntl_gfl

val fcntl_gfl


fcntl_sfl

val fcntl_sfl


dupfd

val dupfd


getfd

val getfd


setfd

val setfd


getfl

val getfl


setfl

val setfl


fcntl_l

val fcntl_l


f_getlk

val f_getlk


f_setlk

val f_setlk


f_setlkw

val f_setlkw


f_rdlck

val f_rdlck


f_wrlck

val f_wrlck


f_unlck

val f_unlck


flockToRep

val flockToRep


flockFromRep

val flockFromRep


getlk

val getlk


setlk

val setlk


setlkw

val setlkw


lseek'

val lseek'


lseek

val lseek


fsync'

val fsync'


fsync

val fsync

 


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