Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/primop-branch/src/system/Basis/Implementation/IO/prim-io.sig
ViewVC logotype

Diff of /sml/branches/primop-branch/src/system/Basis/Implementation/IO/prim-io.sig

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1470, Mon Mar 29 22:45:55 2004 UTC revision 1471, Mon Mar 29 22:45:55 2004 UTC
# Line 3  Line 3 
3   * COPYRIGHT (c) 1995 AT&T Bell Laboratories.   * COPYRIGHT (c) 1995 AT&T Bell Laboratories.
4   *   *
5   *)   *)
   
6  signature PRIM_IO =  signature PRIM_IO =
7    sig    sig
     type array  
     type vector  
8      type elem      type elem
9        type vector
10        type vector_slice
11        type array
12        type array_slice
13    
14      eqtype pos      eqtype pos
15    
16      val compare : (pos * pos) -> order      val compare : (pos * pos) -> order
# Line 17  Line 19 
19          name      : string,          name      : string,
20          chunkSize : int,          chunkSize : int,
21          readVec   : (int -> vector) option,          readVec   : (int -> vector) option,
22          readArr   : ({buf : array, i : int, sz : int option} -> int) option,          readArr   : (array_slice -> int) option,
23          readVecNB : (int -> vector option) option,          readVecNB : (int -> vector option) option,
24          readArrNB : ({buf : array, i : int, sz : int option} -> int option) option,          readArrNB : (array_slice -> int option) option,
25          block     : (unit -> unit) option,          block     : (unit -> unit) option,
26          canInput  : (unit -> bool) option,          canInput  : (unit -> bool) option,
27          avail     : unit -> int option,          avail     : unit -> int option,
# Line 34  Line 36 
36      datatype writer = WR of {      datatype writer = WR of {
37          name       : string,          name       : string,
38          chunkSize  : int,          chunkSize  : int,
39          writeVec   : ({buf : vector, i : int, sz : int option} -> int) option,          writeVec   : (vector_slice -> int) option,
40          writeArr   : ({buf : array, i : int, sz : int option} -> int) option,          writeArr   : (array_slice -> int) option,
41          writeVecNB : ({buf : vector, i : int, sz : int option} -> int option) option,          writeVecNB : (vector_slice -> int option) option,
42          writeArrNB : ({buf : array, i : int, sz : int option} -> int option) option,          writeArrNB : (array_slice -> int option) option,
43          block      : (unit -> unit) option,          block      : (unit -> unit) option,
44          canOutput  : (unit -> bool) option,          canOutput  : (unit -> bool) option,
45          getPos     : (unit -> pos) option,          getPos     : (unit -> pos) option,
# Line 48  Line 50 
50          ioDesc     : OS.IO.iodesc option          ioDesc     : OS.IO.iodesc option
51        }        }
52    
53        val openVector : vector -> reader
54    
55        val nullRd : unit -> reader
56        val nullWr : unit -> writer
57    
58      val augmentReader : reader -> reader      val augmentReader : reader -> reader
59      val augmentWriter : writer -> writer      val augmentWriter : writer -> writer
60    
61    end    end
   
   

Legend:
Removed from v.1470  
changed lines
  Added in v.1471

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0