blob: 191002123ba832274ecd8fafac55a4d0e1951124 (
plain) (
tree)
|
|
-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/
@package test
@version 0.0.0
module Bug873
-- | Application operator. This operator is redundant, since ordinary
-- application <tt>(f x)</tt> means the same as <tt>(f <a>$</a> x)</tt>.
-- However, <a>$</a> has low, right-associative binding precedence, so it
-- sometimes allows parentheses to be omitted; for example:
--
-- <pre>
-- f $ g $ h x = f (g (h x))
-- </pre>
--
-- It is also useful in higher-order situations, such as <tt><a>map</a>
-- (<a>$</a> 0) xs</tt>, or <tt><a>zipWith</a> (<a>$</a>) fs xs</tt>.
--
-- Note that <tt>($)</tt> is levity-polymorphic in its result type, so
-- that foo $ True where foo :: Bool -> Int# is well-typed
($) :: () => (a -> b) -> a -> b
infixr 0 $
($$) :: (a -> b) -> a -> b
infixr 0 $$
|