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/FLINT/src/compiler/PervEnv/Basis/mono-array2.sig
ViewVC logotype

Diff of /sml/branches/FLINT/src/compiler/PervEnv/Basis/mono-array2.sig

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

revision 131, Mon Sep 7 19:39:22 1998 UTC revision 132, Mon Sep 7 19:48:36 1998 UTC
# Line 7  Line 7 
7    sig    sig
8    
9      eqtype array      eqtype array
10        type vector
11      type elem      type elem
12      type region = {      type region = {
13          base : array,          base : array,
# Line 15  Line 16 
16        }        }
17      datatype traversal = datatype Array2.traversal      datatype traversal = datatype Array2.traversal
18    
     structure Vector : MONO_VECTOR  
       sharing type elem = Vector.elem  
   
19      val array : (int * int * elem) -> array      val array : (int * int * elem) -> array
20      val fromList : elem list list -> array      val fromList : elem list list -> array
21      val tabulate : traversal -> (int * int * ((int * int) -> elem)) -> array      val tabulate : traversal -> (int * int * ((int * int) -> elem)) -> array
# Line 26  Line 24 
24      val dimensions : array -> (int * int)      val dimensions : array -> (int * int)
25      val nCols : array -> int      val nCols : array -> int
26      val nRows : array -> int      val nRows : array -> int
27      val row : (array * int) -> Vector.vector      val row : (array * int) -> vector
28      val column : (array * int) -> Vector.vector      val column : (array * int) -> vector
29      val copy : {      val copy : {
30              src : region, dst : array, dst_row : int, dst_col : int              src : region, dst : array, dst_row : int, dst_col : int
31            } -> unit            } -> unit

Legend:
Removed from v.131  
changed lines
  Added in v.132

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