| Standard ML Basis Library |
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 |
---|
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 detail |
---|
datatype whence = SEEK_SET | SEEK_CUR | SEEK_END
datatype lock_type = F_RDLCK | F_WRLCK | F_UNLCK
DataConstructor detail |
---|
constructor SEEK_SET : whence
constructor SEEK_CUR : whence
constructor SEEK_END : whence
constructor F_RDLCK : lock_type
constructor F_WRLCK : lock_type
constructor F_UNLCK : lock_type
Value detail |
---|
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
| 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). |