polyml/basis/Posix.sml

85     val int : signal
273         val nlink : stat -> int
276         val size : stat -> Position.int
294     val ftruncate : file_desc * Position.int -> unit
307     val readVec : file_desc * int -> Word8Vector.vector
308     val readArr: file_desc * Word8ArraySlice.slice -> int
309     val writeVec: file_desc * Word8VectorSlice.slice -> int
310     val writeArr: file_desc * Word8ArraySlice.slice -> int
335     val lseek : file_desc * Position.int * whence -> Position.int
346                      start : Position.int,
347                      len : Position.int,
352         val start : flock -> Position.int
353         val len : flock -> Position.int
368           initBlkMode : bool, chunkSize : int } -> BinPrimIO.writer
371           initBlkMode : bool, chunkSize : int } -> TextPrimIO.writer
407         val eof   : int
408         val eol   : int
409         val erase : int
410         val intr  : int
411         val kill  : int
412         val min   : int
413         val quit  : int
414         val susp  : int
415         val time  : int
416         val start : int
417         val stop  : int
418         val nccs : int
421         val cc : (int * char) list -> cc
422         val update : cc * (int * char) list -> cc
423         val sub : cc * int -> char
542         val sendbreak : file_desc * int -> unit
587     (* Posix.Signal.signal is made the same as int so that we can
591     where type Signal.signal = int
600         fun processEnvGeneral(code: int, arg:'a):'b = RunCall.unsafeCast(processEnvGeneralCall(RunCall.unsafeCast(code, arg)))
601         and osSpecificGeneral(code: int, arg:'a):'b = RunCall.unsafeCast(osSpecificGeneralCall(RunCall.unsafeCast(code, arg)))
602         and timingGeneral(code: int, arg:'a):'b = RunCall.unsafeCast(timingGeneralCall(RunCall.unsafeCast(code, arg)))
731         type signal = int
743         and int = fromWord(getConst 49)
762         type pid = int
818             fun doWait(kind: int, pid: pid, flags: W.flags list) =
907         type uid = int and gid = int
969             val doCall: int*unit -> Time.time = timingGeneral
1020             val doIo: int*file_desc*unit -> int = RunCall.rtsCallFull3 "PolyBasicIOGeneral"
1025             val doIo: int*unit*int -> file_desc = RunCall.rtsCallFull3 "PolyBasicIOGeneral"
1121         type dev = LargeInt.int and ino = LargeInt.int
1129             type stat = { mode: S.mode, kind: int, ino: ino, dev: dev,
1130                       nlink: int, uid: uid, gid: gid, size: Position.int,
1144             val nlink : stat -> int = #nlink
1147             val size : stat -> Position.int = #size
1264             fun readVec (strm: file_desc, len: int): Word8Vector.vector =
1331             (* Convert the datatype to the corresponding int. *)
1360             type flock = int (* lock type *) *
1361                      int (* whence *) *
1362                      Position.int (* start *) *
1363                      Position.int (* len *) *
1383             val start : flock -> Position.int = #3
1384             val len : flock -> Position.int = #4
1561         type speed = int
1616             type set_action = int
1621             type flow_action = int
1627             type queue_sel = int
1698        because it's now the same as int. *)