-- 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 and make typing less
--   of a chore.
@package type-operators
@version 0.1.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 first-class type-functions. Example:
--   
--   <pre>
--   &gt;&gt;&gt; f :: Maybe Int ^&gt; String
--   f :: Maybe (Int -&gt; Int)
--   </pre>
type (^>) = (->)

-- | A flipped <a>^&gt;</a>.
--   
--   <pre>
--   &gt;&gt;&gt; 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>
--   &gt;&gt;&gt; f :: Either String $ Maybe Int
--   f :: Either String (Maybe Int)
--   </pre>
type ($) f a = f a

-- | A flipped <a>$</a>.
--   
--   <pre>
--   &gt;&gt;&gt; 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>
--   &gt;&gt;&gt; f :: Either $$ Int ^&gt; Int $ Int
--   f :: Either (Int -&gt; Int) Int
--   </pre>
type ($$) f a b = f a b

-- | Syntactic sugar for type constraints, allowing omission of repeat type
--   variables.
--   
--   <pre>
--   &gt;&gt;&gt; a :: (Num % Show) a =&gt; a -&gt; String
--   a :: (Num a, Show a) =&gt; a -&gt; String
--   </pre>
type (%) (c1 :: * -> Constraint) (c2 :: * -> Constraint) a = (c1 a, c2 a)