Ticket #21: vector-iterate.dpatch

1 patch for repository http://code.haskell.org/vector:

Tue Jan  4 17:43:12 MSK 2011  Khudyakov Alexey <alexey.skladnoy@gmail.com>
  * Add iterate function

New patches:

[Add iterate function
Khudyakov Alexey <alexey.skladnoy@gmail.com>**20110104144312
 Ignore-this: 74cc3c91b966401f63a5814038a6527f
] {
hunk ./Data/Vector.hs 49
   -- * Construction
 
   -- ** Initialisation
-  empty, singleton, replicate, generate,
+  empty, singleton, replicate, generate, iterate,
 
   -- ** Monadic initialisation
   replicateM, create,
hunk ./Data/Vector.hs 164
                         filter, takeWhile, dropWhile, span, break,
                         elem, notElem,
                         foldl, foldl1, foldr, foldr1,
-                        all, any, and, or, sum, product, minimum, maximum,
+                        all, any, and, or, sum, product, minimum, maximum, iterate,
                         scanl, scanl1, scanr, scanr1,
                         enumFromTo, enumFromThenTo,
                         mapM, mapM_ )
hunk ./Data/Vector.hs 447
 {-# INLINE generate #-}
 generate = G.generate
 
+-- | /O(n)/ Apply function n times to value. Zeroth element is original value.
+iterate :: Int -> (a -> a) -> a -> Vector a
+{-# INLINE iterate #-}
+iterate = G.iterate
+
 -- Unfolding
 -- ---------
 
hunk ./Data/Vector/Fusion/Stream.hs 58
   and, or,
 
   -- * Unfolding
-  unfoldr, unfoldrN,
+  unfoldr, unfoldrN, iterate,
 
   -- * Scans
   prescanl, prescanl',
hunk ./Data/Vector/Fusion/Stream.hs 93
                         elem, notElem,
                         foldl, foldl1, foldr, foldr1,
                         and, or,
+                        iterate,
                         scanl, scanl1,
                         enumFromTo, enumFromThenTo,
                         mapM, mapM_ )
hunk ./Data/Vector/Fusion/Stream.hs 422
 {-# INLINE unfoldrN #-}
 unfoldrN = M.unfoldrN
 
+-- | Apply function n-1 times to value. Zeroth element is original value.
+iterate :: Int -> (a -> a) -> a -> Stream a
+{-# INLINE iterate #-}
+iterate = M.iterate
+
 -- Scans
 -- -----
 
hunk ./Data/Vector/Fusion/Stream/Monadic.hs 59
   -- * Unfolding
   unfoldr, unfoldrM,
   unfoldrN, unfoldrNM,
+  iterate, iterateM,
 
   -- * Scans
   prescanl, prescanlM, prescanl', prescanlM',
hunk ./Data/Vector/Fusion/Stream/Monadic.hs 90
                         elem, notElem,
                         foldl, foldl1, foldr, foldr1,
                         and, or,
+                        iterate,
                         scanl, scanl1,
                         enumFromTo, enumFromThenTo )
 
hunk ./Data/Vector/Fusion/Stream/Monadic.hs 998
                                  Nothing     -> Done
                              ) (f s)
 
+-- | Apply monadic function n times to value. Zeroth element is original value.
+iterateM :: Monad m => Int -> (a -> m a) -> a -> Stream m a
+{-# INLINE_STREAM iterateM #-}
+iterateM n f x0 = Stream step (x0,n) (Exact (delay_inline max n 0))
+  where
+    {-# INLINE_INNER step #-}
+    step (x,i) | i <= 0    = return Done
+               | i == n    = return $ Yield x (x,i-1)
+               | otherwise = do a <- f x
+                                return $ Yield a (a,i-1)
+
+-- | Apply function n times to value. Zeroth element is original value.
+iterate :: Monad m => Int -> (a -> a) -> a -> Stream m a
+{-# INLINE_STREAM iterate #-}
+iterate n f x0 = iterateM n (return . f) x0
+
 -- Scans
 -- -----
 
hunk ./Data/Vector/Generic.hs 39
   -- * Construction
 
   -- ** Initialisation
-  empty, singleton, replicate, generate,
+  empty, singleton, replicate, generate, iterate,
 
   -- ** Monadic initialisation
   replicateM, create,
hunk ./Data/Vector/Generic.hs 179
                         filter, takeWhile, dropWhile, span, break,
                         elem, notElem,
                         foldl, foldl1, foldr, foldr1,
-                        all, any, and, or, sum, product, maximum, minimum,
+                        all, any, and, or, sum, product, maximum, minimum, iterate,
                         scanl, scanl1, scanr, scanr1,
                         enumFromTo, enumFromThenTo,
                         mapM, mapM_ )
hunk ./Data/Vector/Generic.hs 489
 {-# INLINE generate #-}
 generate n f = unstream (Stream.generate n f)
 
+-- | /O(n)/ Apply function n times to value. Zeroth element is original value.
+iterate :: Vector v a => Int -> (a -> a) -> a -> v a
+{-# INLINE iterate #-}
+iterate n f x = unstream (Stream.iterate n f x)
+
 -- Unfolding
 -- ---------
 
hunk ./Data/Vector/Primitive.hs 42
   -- * Construction
 
   -- ** Initialisation
-  empty, singleton, replicate, generate,
+  empty, singleton, replicate, generate, iterate,
 
   -- ** Monadic initialisation
   replicateM, create,
hunk ./Data/Vector/Primitive.hs 154
                         filter, takeWhile, dropWhile, span, break,
                         elem, notElem,
                         foldl, foldl1, foldr, foldr1,
-                        all, any, sum, product, minimum, maximum,
+                        all, any, sum, product, minimum, maximum, iterate,
                         scanl, scanl1, scanr, scanr1,
                         enumFromTo, enumFromThenTo,
                         mapM, mapM_ )
hunk ./Data/Vector/Primitive.hs 448
 {-# INLINE generate #-}
 generate = G.generate
 
+-- | /O(n)/ Apply function n times to value. Zeroth element is original value.
+iterate :: Prim a => Int -> (a -> a) -> a -> Vector a
+{-# INLINE iterate #-}
+iterate = G.iterate
+
 -- Unfolding
 -- ---------
 
hunk ./Data/Vector/Storable.hs 39
   -- * Construction
 
   -- ** Initialisation
-  empty, singleton, replicate, generate,
+  empty, singleton, replicate, generate, iterate,
 
   -- ** Monadic initialisation
   replicateM, create,
hunk ./Data/Vector/Storable.hs 157
                         filter, takeWhile, dropWhile, span, break,
                         elem, notElem,
                         foldl, foldl1, foldr, foldr1,
-                        all, any, and, or, sum, product, minimum, maximum,
+                        all, any, and, or, sum, product, minimum, maximum, iterate,
                         scanl, scanl1, scanr, scanr1,
                         enumFromTo, enumFromThenTo,
                         mapM, mapM_ )
hunk ./Data/Vector/Storable.hs 457
 {-# INLINE generate #-}
 generate = G.generate
 
+-- | /O(n)/ Apply function n times to value. Zeroth element is original value.
+iterate :: Storable a => Int -> (a -> a) -> a -> Vector a
+{-# INLINE iterate #-}
+iterate = G.iterate
+
 -- Unfolding
 -- ---------
 
hunk ./Data/Vector/Unboxed.hs 62
   -- * Construction
 
   -- ** Initialisation
-  empty, singleton, replicate, generate,
+  empty, singleton, replicate, generate, iterate,
 
   -- ** Monadic initialisation
   replicateM, create,
hunk ./Data/Vector/Unboxed.hs 175
                         filter, takeWhile, dropWhile, span, break,
                         elem, notElem,
                         foldl, foldl1, foldr, foldr1,
-                        all, any, and, or, sum, product, minimum, maximum,
+                        all, any, and, or, sum, product, minimum, maximum, iterate,
                         scanl, scanl1, scanr, scanr1,
                         enumFromTo, enumFromThenTo,
                         mapM, mapM_ )
hunk ./Data/Vector/Unboxed.hs 423
 {-# INLINE generate #-}
 generate = G.generate
 
+-- | /O(n)/ Apply function n times to value. Zeroth element is original value.
+iterate :: Unbox a => Int -> (a -> a) -> a -> Vector a
+{-# INLINE iterate #-}
+iterate = G.iterate
+
 -- Unfolding
 -- ---------
 
}

Context:

[TAG 0.7.0.1
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20101104225111
 Ignore-this: e619f4e63ff96ca2b7c7753fdd53a4b
] 
[Bump versions and modify flags in benchmarks
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20101104223856
 Ignore-this: 23c742cd11bb4102b7da27f3fe714c41
] 
[Don't use package ghc
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20101104223805
 Ignore-this: e4d43fa6b80288568304f687ed36f49f
] 
[Bump version number
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20101104223731
 Ignore-this: 3fb2760ba56b833fb97b958f9bd400b6
] 
[TAG 0.7
Roman Leshchinskiy <rl@cse.unsw.edu.au>**20100920002654
 Ignore-this: 77ac1b66fdd584f1c40e4e1597c228c
] 
Patch bundle hash:
6d748b352e214c374d2e0b6695d8d3f6f762f740