Changeset 3919 for trunk/Library/Generator22D.fsi

Timestamp:

07/03/09 00:18:48 (5 months ago)

Author:

emoken

Message:

GoGs? for 2D arrays (modified)

Files:

• trunk/Library/Generator22D.fsi (modified) (1 diff)

trunk/Library/Generator22D.fsi

@@ -79 +79 @@
 rects[\ E, nat b0, nat s0, nat b1, nat s1 \](g : Array2[\E, b0, s0, b1, s1\]) : Rects[\E, b0, s0, b1, s1\]
 
+trait AbideWith[\T\] end
+
+trait SomeMSS2DTuple[\T\] end
+
+mssBody[\T\](v:T) : SomeMSS2DTuple[\T\] 
+
+object MSS2DReductionAbove[\T\](op, ot) extends { AssociativeReduction[\SomeMSS2DTuple[\T\]\], AbideWith[\MSS2DReductionBeside[\T\]\] }
+  getter asString(): String
+  simpleJoin(x: SomeMSS2DTuple[\T\], y: SomeMSS2DTuple[\T\]): SomeMSS2DTuple[\T\]
 end
+
+object MSS2DReductionBeside[\T\](op, ot) extends { AssociativeReduction[\SomeMSS2DTuple[\T\]\], AbideWith[\MSS2DReductionAbove[\T\]\] }
+    getter asString(): String 
+    simpleJoin(x: SomeMSS2DTuple[\T\], y: SomeMSS2DTuple[\T\]): SomeMSS2DTuple[\T\] 
+end
+
+end