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


-- | Combinators for unorthodox function composition
--   
--   Combinators for unorthodox function composition
@package composition
@version 1.0.0.1

module Data.Composition

-- | Compose two functions. <tt>f .: g</tt> is similar to <tt>f . g</tt>
--   except that <tt>g</tt> will be fed <i>two</i> arguments instead of one
--   before handing its result to <tt>f</tt>.
--   
--   This function is defined as
--   
--   <pre>
--   (f .: g) x y = f (g x y)
--   </pre>
--   
--   Example usage:
--   
--   <pre>
--   concatMap :: (a -&gt; b) -&gt; [a] -&gt; [b]
--   concatMap = concat .: map
--   </pre>
--   
--   Notice how <i>two</i> arguments (the function <i>and</i> the list)
--   will be given to <tt>map</tt> before the result is passed to
--   <tt>concat</tt>. This is equivalent to:
--   
--   <pre>
--   concatMap f xs = concat (map f xs)
--   </pre>
(.:) :: (c -> d) -> (a -> b -> c) -> a -> b -> d

-- | Equivalent to <a>.:</a>
--   
--   The pattern of appending asterisks is more straightforward to extend
--   to similar functions: (compose2 = .*, compose3 = .**, etc). However,
--   <tt>.:</tt> has been commonly adopted amongst Haskellers, and the need
--   for compose3 and beyond is rare in practice.
(.*) :: (c -> d) -> (a -> b -> c) -> a -> b -> d
(.**) :: (d -> e) -> (a -> b -> c -> d) -> a -> b -> c -> e
(.***) :: (d -> e) -> (a -> a1 -> b -> c -> d) -> a -> a1 -> b -> c -> e
(.****) :: (d -> e) -> (a -> a1 -> a2 -> b -> c -> d) -> a -> a1 -> a2 -> b -> c -> e
(.*****) :: (d -> e) -> (a -> a1 -> a2 -> a3 -> b -> c -> d) -> a -> a1 -> a2 -> a3 -> b -> c -> e
(.******) :: (d -> e) -> (a -> a1 -> a2 -> a3 -> a4 -> b -> c -> d) -> a -> a1 -> a2 -> a3 -> a4 -> b -> c -> e
(.*******) :: (d -> e) -> (a -> a1 -> a2 -> a3 -> a4 -> a5 -> b -> c -> d) -> a -> a1 -> a2 -> a3 -> a4 -> a5 -> b -> c -> e
(.********) :: (d -> e) -> (a -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> b -> c -> d) -> a -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> b -> c -> e
compose2 :: (c -> d) -> (a -> b -> c) -> a -> b -> d
compose3 :: (d -> e) -> (a -> b -> c -> d) -> a -> b -> c -> e
compose4 :: (d -> e) -> (a -> a1 -> b -> c -> d) -> a -> a1 -> b -> c -> e
compose5 :: (d -> e) -> (a -> a1 -> a2 -> b -> c -> d) -> a -> a1 -> a2 -> b -> c -> e
compose6 :: (d -> e) -> (a -> a1 -> a2 -> a3 -> b -> c -> d) -> a -> a1 -> a2 -> a3 -> b -> c -> e
compose7 :: (d -> e) -> (a -> a1 -> a2 -> a3 -> a4 -> b -> c -> d) -> a -> a1 -> a2 -> a3 -> a4 -> b -> c -> e
compose8 :: (d -> e) -> (a -> a1 -> a2 -> a3 -> a4 -> a5 -> b -> c -> d) -> a -> a1 -> a2 -> a3 -> a4 -> a5 -> b -> c -> e
compose9 :: (d -> e) -> (a -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> b -> c -> d) -> a -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> b -> c -> e