| Standard ML Basis Library |
signature POSIX_IO =
sig
structure FD : sig include POSIX_FLAGS val cloexec : flags end
structure O :
sig
include POSIX_FLAGS
val append : flags
val dsync : flags
val nonblock : flags
val rsync : flags
val sync : flags
end
structure FLock :
sig
type flock
val flock
: {
l_type : lock_type,
l_whence : whence,
l_start : Position.int,
l_len : Position.int,
l_pid : pid option
} ->
flock
val ltype : flock -> lock_type
val whence : flock -> whence
val start : flock -> Position.int
val len : flock -> Position.int
val pid : flock -> pid option
end
eqtype file_desc
eqtype pid
datatype whence = SEEK_SET | SEEK_CUR | SEEK_END
datatype open_mode = O_RDONLY | O_WRONLY | O_RDWR
datatype lock_type = F_RDLCK | F_WRLCK | F_UNLCK
val pipe : unit -> {infd : file_desc, outfd : file_desc}
val dup : file_desc -> file_desc
val dup2 : {old : file_desc, new : file_desc} -> unit
val close : file_desc -> unit
val readVec : file_desc * int -> Word8Vector.vector
val readArr
: file_desc * {buf : Word8Array.array, i : int, sz : int option} -> int
val writeVec
: file_desc * {buf : Word8Vector.vector, i : int, sz : int option} -> int
val writeArr
: file_desc * {buf : Word8Array.array, i : int, sz : int option} -> int
val dupfd : {old : file_desc, base : file_desc} -> file_desc
val getfd : file_desc -> FD.flags
val setfd : file_desc * FD.flags -> unit
val getfl : file_desc -> O.flags * open_mode
val setfl : file_desc * O.flags -> unit
val getlk : file_desc * FLock.flock -> FLock.flock
val setlk : file_desc * FLock.flock -> FLock.flock
val setlkw : file_desc * FLock.flock -> FLock.flock
val lseek : file_desc * Position.int * whence -> Position.int
val fsync : file_desc -> unit
end
Type detail |
---|
eqtype file_desc
eqtype pid
Datatype detail |
---|
datatype whence = SEEK_SET | SEEK_CUR | SEEK_END
datatype open_mode = O_RDONLY | O_WRONLY | O_RDWR
datatype lock_type = F_RDLCK | F_WRLCK | F_UNLCK
DataConstructor detail |
---|
constructor SEEK_SET : whence
constructor SEEK_CUR : whence
constructor SEEK_END : whence
constructor O_RDONLY : open_mode
constructor O_WRONLY : open_mode
constructor O_RDWR : open_mode
constructor F_RDLCK : lock_type
constructor F_WRLCK : lock_type
constructor F_UNLCK : lock_type
Value detail |
---|
val pipe : unit -> {infd : file_desc, outfd : file_desc}
val dup : file_desc -> file_desc
val dup2 : {old : file_desc, new : file_desc} -> unit
val readVec : file_desc * int -> Word8Vector.vector
val readArr
: file_desc * {buf : Word8Array.array, i : int, sz : int option} -> int
val writeVec
: file_desc * {buf : Word8Vector.vector, i : int, sz : int option} -> int
val writeArr
: file_desc * {buf : Word8Array.array, i : int, sz : int option} -> int
val dupfd : {old : file_desc, base : file_desc} -> file_desc
val getfd : file_desc -> FD.flags
val setfd : file_desc * FD.flags -> unit
val getfl : file_desc -> O.flags * open_mode
val setfl : file_desc * O.flags -> unit
val getlk : file_desc * FLock.flock -> FLock.flock
val setlk : file_desc * FLock.flock -> FLock.flock
val setlkw : file_desc * FLock.flock -> FLock.flock
val lseek : file_desc * Position.int * whence -> Position.int
| 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). |