-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Generalised replicate functions
--   
--   
--   Generalised replicate functions
@package greplicate
@version 0.0.2

module Control.Replicate

-- | Replicate, potentially changing the remaining amount of replication.
--   
--   <pre>
--   &gt;&gt;&gt; let replicateN' :: (Int -&gt; [(Int, String)]) -&gt; Int -&gt; [[String]]; replicateN' = replicateN in replicateN' (\n -&gt; [(n, "abc")]) 3
--   [["abc","abc","abc"]]
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; let replicateN' :: (Int -&gt; [(Int, String)]) -&gt; Int -&gt; [[String]]; replicateN' = replicateN in replicateN' (\n -&gt; [(n, "abc"), (n-1, "def")]) 3
--   [["abc","abc","abc"],["abc","abc","def"],["abc","def"],["def","abc"],["def","def"]]
--   </pre>
replicateN :: (Monad m, Num n, Ord n, AsEmpty t, Cons t t a a) => (n -> m (n, a)) -> n -> m t

-- | Replicate with access to the current replication number.
--   
--   <pre>
--   &gt;&gt;&gt; let replicateO' :: (Int -&gt; [String]) -&gt; Int -&gt; [[String]]; replicateO' = replicateO in replicateO' (\n -&gt; [show n]) 3
--   [["3","2","1"]]
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; let replicateO' :: (Int -&gt; [String]) -&gt; Int -&gt; [[String]]; replicateO' = replicateO in replicateO' (\n -&gt; [show n, show (n-1)]) 3
--   [["3","2","1"],["3","2","0"],["3","1","1"],["3","1","0"],["2","2","1"],["2","2","0"],["2","1","1"],["2","1","0"]]
--   </pre>
replicateO :: (Monad m, Num n, Ord n, AsEmpty t, Cons t t a a) => (n -> m a) -> n -> m t