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


-- | Generate (non-recursive) utility functions for tuples of statically known size
--   
--   Template Haskell functions for generating functions similar to those
--   in Data.List for tuples of statically known size.
@package tuple-th
@version 0.1


-- | Note: One-tuples are currently understood as just the original type by
--   Template Haskell (though this could be an undefined case which is not
--   guaranteed to work this way?), so for example, we get
--   
--   <pre>
--   $(<a>catTuples</a> 1 2) = \x (y,z) -&gt; (x,y,z)
--   </pre>
module TupleTH

-- | Makes a homogenous tuple type of the given size and element type
--   
--   <pre>
--   $(htuple 2) [t| Char |] = (Char,Char)
--   </pre>
htuple :: Int -> TypeQ -> TypeQ

-- | Type of the generated expression:
--   
--   <pre>
--   (a -&gt; b) -&gt; (a, ..) -&gt; (b, ..)
--   </pre>
mapTuple :: Int -> ExpQ

-- | Takes the mapping as a quoted expression. This can sometimes produce
--   an expression that typechecks when the analogous expression using
--   <a>filterTuple</a> does not, e.g.:
--   
--   <pre>
--   $(mapTuple 2) Just        ((),"foo") -- Type error 
--   $(mapTuple' 2 [| Just |]) ((),"foo") -- OK
--   </pre>
mapTuple' :: Int -> ExpQ -> Q Exp

-- | Type of the generated expression:
--   
--   <pre>
--   (a -&gt; Bool) -&gt; (a, ..) -&gt; [a]
--   </pre>
filterTuple :: Int -> ExpQ

-- | Takes the predicate as a quoted expression. See <a>mapTuple'</a> for
--   how this can be useful.
filterTuple' :: Int -> ExpQ -> ExpQ

-- | <tt>reindexTuple n js</tt> creates the function
--   
--   <pre>
--   \(x_0, ..., x_{n-1}) -&gt; (x_{js !! 0}, x_{js !! 1}, .. x_{last js})
--   </pre>
--   
--   For example,
--   
--   <pre>
--   $(reindexTuple 3 [1,1,0,0]) ('a','b','c') == ('b','b','a','a')
--   </pre>
--   
--   Each element of <tt>js</tt> must be nonnegative and less than
--   <tt>n</tt>.
reindexTuple :: Int -> [Int] -> Q Exp

-- | Like <a>reverse</a>.
reverseTuple :: Int -> Q Exp

-- | <tt>rotateTuple n k</tt> creates a function which rotates an
--   <tt>n</tt>-tuple rightwards by <tt>k</tt> positions (<tt>k</tt> may be
--   negative or greater than <tt>n-1</tt>).
rotateTuple :: Int -> Int -> Q Exp

-- | Like <a>zip</a>.
--   
--   Type of the generated expression:
--   
--   <pre>
--   (a1, a2, ..) -&gt; (b1, b2, ..) -&gt; ((a1,b1), (a2,b2), ..)
--   </pre>
zipTuple :: Int -> Q Exp

-- | Type of the generated expression:
--   
--   <pre>
--   (a1, ..) -&gt; (b1, ..) -&gt; (a1, .., b1, ..)
--   </pre>
catTuples :: Int -> Int -> Q Exp

-- | <tt>uncatTuple n m</tt> is the inverse function of <tt>uncurry
--   (catTuples n m)</tt>.
uncatTuple :: Int -> Int -> Q Exp

-- | Like <a>zipWith</a>.
--   
--   Type of the generated expression:
--   
--   <pre>
--   (a -&gt; b -&gt; c) -&gt; (a, ..) -&gt; (b, ..) -&gt; (c, ..)
--   </pre>
zipTupleWith :: Int -> ExpQ

-- | Takes the zipping function as a quoted expression. See
--   <a>mapTuple'</a> for how this can be useful.
zipTupleWith' :: Int -> ExpQ -> ExpQ

-- | Type of the generated expression:
--   
--   <pre>
--   [a] -&gt; Maybe (a, ..)
--   </pre>
safeTupleFromList :: Int -> Q Exp

-- | Type of the generated expression:
--   
--   <pre>
--   [a] -&gt; (a, ..)
--   </pre>
--   
--   The generated function is partial.
tupleFromList :: Int -> Q Exp
constTuple :: Int -> Q Exp

-- | <pre>
--   Generate a projection (like 'fst' and 'snd').
--   </pre>
proj :: Int -> Int -> ExpQ

-- | Like <a>elem</a>.
--   
--   Type of generated expression:
--   
--   <pre>
--   Eq a =&gt; a -&gt; (a, ..) -&gt; Bool
--   </pre>
elemTuple :: Int -> Q Exp
tupleToList :: Int -> Q Exp
sumTuple :: Int -> Q Exp

-- | Type of the generated expression:
--   
--   <pre>
--   (a -&gt; r -&gt; r) -&gt; r -&gt; (a, ..) -&gt; r
--   </pre>
foldrTuple :: Int -> ExpQ

-- | Takes the folding function (but not the seed element) as a quoted
--   expression. See <a>mapTuple'</a> for how this can be useful.
foldrTuple' :: Int -> ExpQ -> ExpQ

-- | Type of the generated expression:
--   
--   <pre>
--   (a -&gt; a -&gt; a) -&gt; (a, ..) -&gt; a
--   </pre>
foldr1Tuple :: Int -> ExpQ

-- | Takes the folding function as a quoted expression. See
--   <a>mapTuple'</a> for how this can be useful.
foldr1Tuple' :: Int -> ExpQ -> Q Exp

-- | Type of the generated expression:
--   
--   <pre>
--   (r -&gt; a -&gt; r) -&gt; r -&gt; (a, ..) -&gt; r
--   </pre>
foldlTuple :: Int -> ExpQ

-- | Takes the folding function (but not the seed element) as a quoted
--   expression. See <a>mapTuple'</a> for how this can be useful.
foldlTuple' :: Int -> ExpQ -> ExpQ

-- | Type of the generated expression:
--   
--   <pre>
--   (a -&gt; a -&gt; a) -&gt; (a, ..) -&gt; a
--   </pre>
foldl1Tuple :: Int -> ExpQ

-- | Takes the folding function as a quoted expression. See
--   <a>mapTuple'</a> for how this can be useful.
foldl1Tuple' :: Int -> ExpQ -> Q Exp

-- | Like <a>and</a>.
andTuple :: Int -> Q Exp

-- | Like <a>or</a>.
orTuple :: Int -> Q Exp

-- | Like <a>any</a>.
anyTuple :: Int -> Q Exp
anyTuple' :: Int -> Q Exp -> Q Exp

-- | Like <a>all</a>.
allTuple :: Int -> Q Exp
allTuple' :: Int -> Q Exp -> Q Exp

-- | Like <a>sequence</a>.
sequenceTuple :: Int -> Q Exp

-- | Like <tt>sequenceA</tt>.
sequenceATuple :: Int -> Q Exp