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/trunk/src/system/Basis/Implementation/IO/prim-io.sig
ViewVC logotype

Diff of /sml/trunk/src/system/Basis/Implementation/IO/prim-io.sig

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

revision 1380, Wed Sep 17 20:20:51 2003 UTC revision 1381, Wed Sep 17 21:28:41 2003 UTC
# Line 6  Line 6 
6    
7  signature PRIM_IO =  signature PRIM_IO =
8    sig    sig
     type array  
     type vector  
9      type elem      type elem
10        type vector
11        type vector_slice
12        type array
13        type array_slice
14    
15      eqtype pos      eqtype pos
16    
17      val compare : (pos * pos) -> order      val compare : (pos * pos) -> order
# Line 17  Line 20 
20          name      : string,          name      : string,
21          chunkSize : int,          chunkSize : int,
22          readVec   : (int -> vector) option,          readVec   : (int -> vector) option,
23          readArr   : ({buf : array, i : int, sz : int option} -> int) option,          readArr   : (array_slice -> int) option,
24          readVecNB : (int -> vector option) option,          readVecNB : (int -> vector option) option,
25          readArrNB : ({buf : array, i : int, sz : int option} -> int option) option,          readArrNB : (array_slice -> int option) option,
26          block     : (unit -> unit) option,          block     : (unit -> unit) option,
27          canInput  : (unit -> bool) option,          canInput  : (unit -> bool) option,
28          avail     : unit -> int option,          avail     : unit -> int option,
# Line 34  Line 37 
37      datatype writer = WR of {      datatype writer = WR of {
38          name       : string,          name       : string,
39          chunkSize  : int,          chunkSize  : int,
40          writeVec   : ({buf : vector, i : int, sz : int option} -> int) option,          writeVec   : (vector_slice -> int) option,
41          writeArr   : ({buf : array, i : int, sz : int option} -> int) option,          writeArr   : (array_slice -> int) option,
42          writeVecNB : ({buf : vector, i : int, sz : int option} -> int option) option,          writeVecNB : (vector_slice -> int option) option,
43          writeArrNB : ({buf : array, i : int, sz : int option} -> int option) option,          writeArrNB : (array_slice -> int option) option,
44          block      : (unit -> unit) option,          block      : (unit -> unit) option,
45          canOutput  : (unit -> bool) option,          canOutput  : (unit -> bool) option,
46          getPos     : (unit -> pos) option,          getPos     : (unit -> pos) option,

Legend:
Removed from v.1380  
changed lines
  Added in v.1381

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