SCM Repository
Diff of /sml/branches/FLINT/src/compiler/PervEnv/Basis/mono-array2.sig
Parent Directory
|
Revision Log
|
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 |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |