[MLton-commit] r6628

[Vesa Karvonen]

Added for (app reversed).
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/sequence/mk-seq-common-ext.fun
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/array.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/vector.sig

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/sequence/mk-seq-common-ext.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/sequence/mk-seq-common-ext.fun	2008-05-30 13:05:04 UTC (rev 6627)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/sequence/mk-seq-common-ext.fun	2008-05-30 13:06:14 UTC (rev 6628)
@@ -8,7 +8,8 @@
                         val tabulate : Int.t * (Int.t -> 'a) -> 'a t
                         val foldr : ('a * 'b -> 'b) -> 'b -> 'a t -> 'b
                         val fromList : 'a List.t -> 'a t
-                        val maxLen : Int.t) = struct
+                        val maxLen : Int.t
+                        val app : 'a Effect.t -> 'a t Effect.t) = struct
    fun empty () = tabulate (0, Basic.undefined)
    fun unfoldi fis (n, s) = let
       fun lp (i, s, xs) =
@@ -18,4 +19,5 @@
    end
    fun toList t = foldr op :: [] t
    val isoList = (toList, fromList)
+   fun for xs ef = app ef xs
 end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/array.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/array.sig	2008-05-30 13:05:04 UTC (rev 6627)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/array.sig	2008-05-30 13:06:14 UTC (rev 6628)
@@ -22,6 +22,8 @@
     * equivalent to {tabulate (length a, fn i => sub (a, i))}.
     *)
 
+   val for : 'a t -> 'a Effect.t Effect.t
+
    (** == HOFs == *)
 
    val unfoldi : (Int.t * 'b -> 'a * 'b) -> Int.t * 'b -> 'a t * 'b

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/vector.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/vector.sig	2008-05-30 13:05:04 UTC (rev 6627)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/sequence/vector.sig	2008-05-30 13:06:14 UTC (rev 6628)
@@ -21,6 +21,8 @@
     * bi+1) = f (i, bi)}.
     *)
 
+   val for : 'a t -> 'a Effect.t Effect.t
+
    (** == Conversions == *)
 
    val toList : 'a t -> 'a List.t