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


-- | Various type-level operators
--   
--   A set of type-level operators meant to be helpful, e.g. ($) and a
--   tightly binding (->).
@package type-operators
@version 0.1.0.2


-- | A collection of type-level operators.
module Control.Type.Operator

-- | A tightly binding version of <tt>-&gt;</tt> that lets you strip
--   parentheses from function types in certain spots. Example:
--   
--   <pre>
--   f :: Maybe Int ^&gt; String
--   =
--   f :: Maybe (Int -&gt; Int)
--   </pre>
type (^>) = (->)

-- | A flipped <a>^&gt;</a>.
--   
--   <pre>
--   f :: Maybe String &lt;^ Int
--   </pre>
--   
--   Note: this is not partially applied like <a>^&gt;</a> and
--   <tt>-&gt;</tt>.
type (<^) a b = (^>) b a

-- | Infix application.
--   
--   <pre>
--   f :: Either String $ Maybe Int
--   =
--   f :: Either String (Maybe Int)
--   </pre>
type ($) f a = f a

-- | A flipped <a>$</a>.
--   
--   <pre>
--   f :: Maybe Int &amp; Maybe
--   =
--   f :: Maybe (Maybe Int)
--   </pre>
type (&) a f = f a

-- | Infix application that takes a two arguments rather than just one.
--   
--   <pre>
--   f :: Either $$ Int ^&gt; Int $ Int
--   =
--   f :: Either (Int -&gt; Int) Int
--   </pre>
type ($$) f a b = f a b

-- | Map several constraints over a single variable.
--   
--   <pre>
--   a :: [Show, Read] &lt;+&gt; a =&gt; a -&gt; a
--   =
--   a :: (Show a, Read a) =&gt; a -&gt; a
--   </pre>

-- | Map a constraint over several variables.
--   
--   <pre>
--   a :: Show &lt;=&gt; [a, b] =&gt; a -&gt; b -&gt; String
--   =
--   a :: (Show a, Show b) =&gt; a -&gt; b -&gt; String
--   </pre>
instance forall k (a :: k). Control.Type.Operator.Empty a