-- 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. ($), a tightly
--   binding (-&gt;), and the multi-constraint operator (Show <a>+</a> [a,
--   b]).
@package type-operators
@version 0.2.0.0


-- | 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; String)
--   </pre>
type (^>) = (->)
infixr 5 ^>

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

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

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

-- | Infix application that can take two arguments in combination with
--   <a>$</a>.
--   
--   <pre>
--   f :: Either $$ Int ^&gt; Int $ Int ^&gt; Int
--   =
--   f :: Either (Int -&gt; Int) (Int -&gt; Int)
--   </pre>
type f $$ a = f a
infixr 3 $$

-- | Map any constraints over any type variables.
--   
--   <pre>
--   a :: [Show, Read] &lt;+&gt; a =&gt; a -&gt; a
--   =
--   a :: (Show a, Read a) =&gt; a -&gt; a
--   
--   a :: Show &lt;+&gt; [a, b, c] =&gt; a -&gt; b -&gt; c -&gt; String
--   =
--   a :: (Show a, Show b, Show c) =&gt; a -&gt; b -&gt; c -&gt; String
--   </pre>
type family (<+>) (a :: k1) (b :: k2) :: Constraint
infixl 9 <+>

-- | 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>

-- | <i>Deprecated: Since (<a>+</a>) is now kind-polymorphic and accepts
--   the arguments on either side (<a>=</a>) will be removed in a future
--   version.</i>
type family (<=>) (c :: k -> Constraint) (as :: [k])
infixl 9 <=>