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


-- | Collection of combinators over standard typeclasses
--   
--   Collection of combinators over standard typeclasses
@package combinators
@version 0.1.1

module Combinators

-- | Generalization over many common natural transformations, including:
--   
--   <ul>
--   <li><tt>listToMaybe</tt></li>
--   <li><tt>maybeToList</tt></li>
--   <li><a>toList</a></li>
--   <li><pre><tt>either</tt> (<a>const</a> <tt>Nothing</tt>)
--   <tt>Just</tt></pre></li>
--   </ul>
alternate :: (Foldable f, Alternative g) => f a -> g a

-- | <a>alternate</a> extended with ability to map the wrapped value.
alternateMap :: (Foldable f, Alternative g) => (a -> b) -> f a -> g b

-- | <a>alternateMap</a> extended with ability to do the mapping in the
--   <a>Alternative</a> context.
alternateMapM :: (Foldable f, Alternative g) => (a -> g b) -> f a -> g b

-- | A generic version of the original list-specialized version:
--   
--   <pre>
--   intercalate :: [a] -&gt; [[a]] -&gt; [a]
--   </pre>
intercalate :: (Foldable f, Monoid a) => a -> f a -> a

-- | <a>intercalate</a> extended with ability to map the wrapped value.
intercalateMap :: (Foldable f, Monoid m) => m -> (a -> m) -> f a -> m

-- | Indexed version of <a>forM</a>.
iforM :: (Traversable f, Monad m) => f a -> (Int -> a -> m b) -> m (f b)

-- | Indexed version of <a>traverse</a>.
itraverse :: (Traversable f, Monad m) => (Int -> a -> m b) -> f a -> m (f b)