Sophie

Sophie

distrib > Mageia > 5 > i586 > media > core-release > by-pkgid > 6e204a966e8c42d976f99a1700ce5f20 > files > 4104

ghc-7.4.2-4.mga5.i586.rpm

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Language.Haskell.TH.Lib</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Language-Haskell-TH-Lib.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">template-haskell-2.7.0.0</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Language.Haskell.TH.Lib</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Type synonyms
</a></li><li><a href="#g:2">Lowercase pattern syntax functions
</a></li><li><a href="#g:3">Stmt
</a></li><li><a href="#g:4">Range
</a></li><li><a href="#g:5">Body
</a></li><li><a href="#g:6">Guard
</a></li><li><a href="#g:7">Match and Clause
</a></li><li><a href="#g:8">Exp
</a><ul><li><a href="#g:9"><code><a href="Language-Haskell-TH-Lib.html#v:arithSeqE">arithSeqE</a></code> Shortcuts
</a></li></ul></li><li><a href="#g:10">Dec
</a></li><li><a href="#g:11">Type
</a></li><li><a href="#g:12">Kind
</a></li><li><a href="#g:13">Callconv
</a></li><li><a href="#g:14">Safety
</a></li><li><a href="#g:15">InlineSpec
</a></li><li><a href="#g:16">FunDep
</a></li><li><a href="#g:17">FamFlavour
</a></li><li><a href="#g:18">Useful helper function
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>TH.Lib contains lots of useful helper functions for
 generating and manipulating Template Haskell terms
</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">type</span> <a href="#t:InfoQ">InfoQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Info">Info</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:PatQ">PatQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Pat">Pat</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:FieldPatQ">FieldPatQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:FieldPat">FieldPat</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:ExpQ">ExpQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Exp">Exp</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:DecQ">DecQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Dec">Dec</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:DecsQ">DecsQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> [<a href="Language-Haskell-TH-Syntax.html#t:Dec">Dec</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:ConQ">ConQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Con">Con</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:TypeQ">TypeQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Type">Type</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:CxtQ">CxtQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Cxt">Cxt</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:PredQ">PredQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Pred">Pred</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:MatchQ">MatchQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Match">Match</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:ClauseQ">ClauseQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Clause">Clause</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:BodyQ">BodyQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Body">Body</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:GuardQ">GuardQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Guard">Guard</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:StmtQ">StmtQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Stmt">Stmt</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:RangeQ">RangeQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Range">Range</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:StrictTypeQ">StrictTypeQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:StrictType">StrictType</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:VarStrictTypeQ">VarStrictTypeQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:VarStrictType">VarStrictType</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:FieldExpQ">FieldExpQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:FieldExp">FieldExp</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:InlineSpecQ">InlineSpecQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:InlineSpec">InlineSpec</a></li><li class="src short"><a href="#v:intPrimL">intPrimL</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Integer">Integer</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></li><li class="src short"><a href="#v:wordPrimL">wordPrimL</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Integer">Integer</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></li><li class="src short"><a href="#v:floatPrimL">floatPrimL</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Rational">Rational</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></li><li class="src short"><a href="#v:doublePrimL">doublePrimL</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Rational">Rational</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></li><li class="src short"><a href="#v:integerL">integerL</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Integer">Integer</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></li><li class="src short"><a href="#v:charL">charL</a> :: <a href="../base-4.5.1.0/Data-Char.html#t:Char">Char</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></li><li class="src short"><a href="#v:stringL">stringL</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></li><li class="src short"><a href="#v:stringPrimL">stringPrimL</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></li><li class="src short"><a href="#v:rationalL">rationalL</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Rational">Rational</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></li><li class="src short"><a href="#v:litP">litP</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></li><li class="src short"><a href="#v:varP">varP</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></li><li class="src short"><a href="#v:tupP">tupP</a> :: [<a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></li><li class="src short"><a href="#v:unboxedTupP">unboxedTupP</a> :: [<a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></li><li class="src short"><a href="#v:conP">conP</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></li><li class="src short"><a href="#v:infixP">infixP</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></li><li class="src short"><a href="#v:uInfixP">uInfixP</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></li><li class="src short"><a href="#v:parensP">parensP</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></li><li class="src short"><a href="#v:tildeP">tildeP</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></li><li class="src short"><a href="#v:bangP">bangP</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></li><li class="src short"><a href="#v:asP">asP</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></li><li class="src short"><a href="#v:wildP">wildP</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></li><li class="src short"><a href="#v:recP">recP</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:FieldPatQ">FieldPatQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></li><li class="src short"><a href="#v:listP">listP</a> :: [<a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></li><li class="src short"><a href="#v:sigP">sigP</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></li><li class="src short"><a href="#v:viewP">viewP</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></li><li class="src short"><a href="#v:fieldPat">fieldPat</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:FieldPatQ">FieldPatQ</a></li><li class="src short"><a href="#v:bindS">bindS</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a></li><li class="src short"><a href="#v:letS">letS</a> :: [<a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a></li><li class="src short"><a href="#v:noBindS">noBindS</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a></li><li class="src short"><a href="#v:parS">parS</a> :: [[<a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a>]] -&gt; <a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a></li><li class="src short"><a href="#v:fromR">fromR</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:RangeQ">RangeQ</a></li><li class="src short"><a href="#v:fromThenR">fromThenR</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:RangeQ">RangeQ</a></li><li class="src short"><a href="#v:fromToR">fromToR</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:RangeQ">RangeQ</a></li><li class="src short"><a href="#v:fromThenToR">fromThenToR</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:RangeQ">RangeQ</a></li><li class="src short"><a href="#v:normalB">normalB</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:BodyQ">BodyQ</a></li><li class="src short"><a href="#v:guardedB">guardedB</a> :: [<a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> (<a href="Language-Haskell-TH-Syntax.html#t:Guard">Guard</a>, <a href="Language-Haskell-TH-Syntax.html#t:Exp">Exp</a>)] -&gt; <a href="Language-Haskell-TH-Lib.html#t:BodyQ">BodyQ</a></li><li class="src short"><a href="#v:normalG">normalG</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:GuardQ">GuardQ</a></li><li class="src short"><a href="#v:normalGE">normalGE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> (<a href="Language-Haskell-TH-Syntax.html#t:Guard">Guard</a>, <a href="Language-Haskell-TH-Syntax.html#t:Exp">Exp</a>)</li><li class="src short"><a href="#v:patG">patG</a> :: [<a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:GuardQ">GuardQ</a></li><li class="src short"><a href="#v:patGE">patGE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> (<a href="Language-Haskell-TH-Syntax.html#t:Guard">Guard</a>, <a href="Language-Haskell-TH-Syntax.html#t:Exp">Exp</a>)</li><li class="src short"><a href="#v:match">match</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:BodyQ">BodyQ</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:MatchQ">MatchQ</a></li><li class="src short"><a href="#v:clause">clause</a> :: [<a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:BodyQ">BodyQ</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ClauseQ">ClauseQ</a></li><li class="src short"><a href="#v:dyn">dyn</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Exp">Exp</a></li><li class="src short"><a href="#v:global">global</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:varE">varE</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:conE">conE</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:litE">litE</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:appE">appE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:parensE">parensE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:uInfixE">uInfixE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:infixE">infixE</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:infixApp">infixApp</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:sectionL">sectionL</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:sectionR">sectionR</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:lamE">lamE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:lam1E">lam1E</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:tupE">tupE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:unboxedTupE">unboxedTupE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:condE">condE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:letE">letE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:caseE">caseE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:MatchQ">MatchQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:doE">doE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:compE">compE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:arithSeqE">arithSeqE</a> :: <a href="Language-Haskell-TH-Lib.html#t:RangeQ">RangeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:listE">listE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:sigE">sigE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:recConE">recConE</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> (<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>, <a href="Language-Haskell-TH-Syntax.html#t:Exp">Exp</a>)] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:recUpdE">recUpdE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> (<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>, <a href="Language-Haskell-TH-Syntax.html#t:Exp">Exp</a>)] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:stringE">stringE</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:fieldExp">fieldExp</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> (<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>, <a href="Language-Haskell-TH-Syntax.html#t:Exp">Exp</a>)</li><li class="src short"><a href="#v:fromE">fromE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:fromThenE">fromThenE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:fromToE">fromToE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:fromThenToE">fromThenToE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short"><a href="#v:valD">valD</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:BodyQ">BodyQ</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></li><li class="src short"><a href="#v:funD">funD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:ClauseQ">ClauseQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></li><li class="src short"><a href="#v:tySynD">tySynD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></li><li class="src short"><a href="#v:dataD">dataD</a> :: <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a>] -&gt; [<a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a>] -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></li><li class="src short"><a href="#v:newtypeD">newtypeD</a> :: <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></li><li class="src short"><a href="#v:classD">classD</a> :: <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a>] -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:FunDep">FunDep</a>] -&gt; [<a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></li><li class="src short"><a href="#v:instanceD">instanceD</a> :: <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></li><li class="src short"><a href="#v:sigD">sigD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></li><li class="src short"><a href="#v:forImpD">forImpD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Callconv">Callconv</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Safety">Safety</a> -&gt; <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></li><li class="src short"><a href="#v:pragInlD">pragInlD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:InlineSpecQ">InlineSpecQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></li><li class="src short"><a href="#v:pragSpecD">pragSpecD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></li><li class="src short"><a href="#v:pragSpecInlD">pragSpecInlD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:InlineSpecQ">InlineSpecQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></li><li class="src short"><a href="#v:familyNoKindD">familyNoKindD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:FamFlavour">FamFlavour</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></li><li class="src short"><a href="#v:familyKindD">familyKindD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:FamFlavour">FamFlavour</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a>] -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Kind">Kind</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></li><li class="src short"><a href="#v:dataInstD">dataInstD</a> :: <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>] -&gt; [<a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a>] -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></li><li class="src short"><a href="#v:newtypeInstD">newtypeInstD</a> :: <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></li><li class="src short"><a href="#v:tySynInstD">tySynInstD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></li><li class="src short"><a href="#v:cxt">cxt</a> :: [<a href="Language-Haskell-TH-Lib.html#t:PredQ">PredQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a></li><li class="src short"><a href="#v:classP">classP</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:PredQ">PredQ</a></li><li class="src short"><a href="#v:equalP">equalP</a> :: <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PredQ">PredQ</a></li><li class="src short"><a href="#v:normalC">normalC</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:StrictTypeQ">StrictTypeQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a></li><li class="src short"><a href="#v:recC">recC</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:VarStrictTypeQ">VarStrictTypeQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a></li><li class="src short"><a href="#v:infixC">infixC</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> (<a href="Language-Haskell-TH-Syntax.html#t:Strict">Strict</a>, <a href="Language-Haskell-TH-Syntax.html#t:Type">Type</a>) -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> (<a href="Language-Haskell-TH-Syntax.html#t:Strict">Strict</a>, <a href="Language-Haskell-TH-Syntax.html#t:Type">Type</a>) -&gt; <a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a></li><li class="src short"><a href="#v:forallC">forallC</a> :: [<a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a></li><li class="src short"><a href="#v:forallT">forallT</a> :: [<a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></li><li class="src short"><a href="#v:varT">varT</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></li><li class="src short"><a href="#v:conT">conT</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></li><li class="src short"><a href="#v:appT">appT</a> :: <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></li><li class="src short"><a href="#v:arrowT">arrowT</a> :: <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></li><li class="src short"><a href="#v:listT">listT</a> :: <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></li><li class="src short"><a href="#v:tupleT">tupleT</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></li><li class="src short"><a href="#v:unboxedTupleT">unboxedTupleT</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></li><li class="src short"><a href="#v:sigT">sigT</a> :: <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Kind">Kind</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></li><li class="src short"><a href="#v:isStrict">isStrict</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Strict">Strict</a></li><li class="src short"><a href="#v:unpacked">unpacked</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Strict">Strict</a></li><li class="src short"><a href="#v:notStrict">notStrict</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Strict">Strict</a></li><li class="src short"><a href="#v:strictType">strictType</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Strict">Strict</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:StrictTypeQ">StrictTypeQ</a></li><li class="src short"><a href="#v:varStrictType">varStrictType</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:StrictTypeQ">StrictTypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:VarStrictTypeQ">VarStrictTypeQ</a></li><li class="src short"><a href="#v:plainTV">plainTV</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a></li><li class="src short"><a href="#v:kindedTV">kindedTV</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Kind">Kind</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a></li><li class="src short"><a href="#v:starK">starK</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Kind">Kind</a></li><li class="src short"><a href="#v:arrowK">arrowK</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Kind">Kind</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Kind">Kind</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Kind">Kind</a></li><li class="src short"><a href="#v:cCall">cCall</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Callconv">Callconv</a></li><li class="src short"><a href="#v:stdCall">stdCall</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Callconv">Callconv</a></li><li class="src short"><a href="#v:unsafe">unsafe</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Safety">Safety</a></li><li class="src short"><a href="#v:interruptible">interruptible</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Safety">Safety</a></li><li class="src short"><a href="#v:safe">safe</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Safety">Safety</a></li><li class="src short"><a href="#v:inlineSpecNoPhase">inlineSpecNoPhase</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -&gt; <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:InlineSpecQ">InlineSpecQ</a></li><li class="src short"><a href="#v:inlineSpecPhase">inlineSpecPhase</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -&gt; <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -&gt; <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -&gt; <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:InlineSpecQ">InlineSpecQ</a></li><li class="src short"><a href="#v:funDep">funDep</a> :: [<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>] -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>] -&gt; <a href="Language-Haskell-TH-Syntax.html#t:FunDep">FunDep</a></li><li class="src short"><a href="#v:typeFam">typeFam</a> :: <a href="Language-Haskell-TH-Syntax.html#t:FamFlavour">FamFlavour</a></li><li class="src short"><a href="#v:dataFam">dataFam</a> :: <a href="Language-Haskell-TH-Syntax.html#t:FamFlavour">FamFlavour</a></li><li class="src short"><a href="#v:appsE">appsE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li></ul></div><div id="interface"><h1 id="g:1">Type synonyms
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:InfoQ" class="def">InfoQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Info">Info</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:PatQ" class="def">PatQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Pat">Pat</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:FieldPatQ" class="def">FieldPatQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:FieldPat">FieldPat</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:ExpQ" class="def">ExpQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Exp">Exp</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:DecQ" class="def">DecQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Dec">Dec</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:DecsQ" class="def">DecsQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> [<a href="Language-Haskell-TH-Syntax.html#t:Dec">Dec</a>]</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:ConQ" class="def">ConQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Con">Con</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:TypeQ" class="def">TypeQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Type">Type</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:CxtQ" class="def">CxtQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Cxt">Cxt</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:PredQ" class="def">PredQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Pred">Pred</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:MatchQ" class="def">MatchQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Match">Match</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:ClauseQ" class="def">ClauseQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Clause">Clause</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:BodyQ" class="def">BodyQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Body">Body</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:GuardQ" class="def">GuardQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Guard">Guard</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:StmtQ" class="def">StmtQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Stmt">Stmt</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:RangeQ" class="def">RangeQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Range">Range</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:StrictTypeQ" class="def">StrictTypeQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:StrictType">StrictType</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:VarStrictTypeQ" class="def">VarStrictTypeQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:VarStrictType">VarStrictType</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:FieldExpQ" class="def">FieldExpQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:FieldExp">FieldExp</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:InlineSpecQ" class="def">InlineSpecQ</a> = <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:InlineSpec">InlineSpec</a></p></div><h1 id="g:2">Lowercase pattern syntax functions
</h1><div class="top"><p class="src"><a name="v:intPrimL" class="def">intPrimL</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Integer">Integer</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></p></div><div class="top"><p class="src"><a name="v:wordPrimL" class="def">wordPrimL</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Integer">Integer</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></p></div><div class="top"><p class="src"><a name="v:floatPrimL" class="def">floatPrimL</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Rational">Rational</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></p></div><div class="top"><p class="src"><a name="v:doublePrimL" class="def">doublePrimL</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Rational">Rational</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></p></div><div class="top"><p class="src"><a name="v:integerL" class="def">integerL</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Integer">Integer</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></p></div><div class="top"><p class="src"><a name="v:charL" class="def">charL</a> :: <a href="../base-4.5.1.0/Data-Char.html#t:Char">Char</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></p></div><div class="top"><p class="src"><a name="v:stringL" class="def">stringL</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></p></div><div class="top"><p class="src"><a name="v:stringPrimL" class="def">stringPrimL</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></p></div><div class="top"><p class="src"><a name="v:rationalL" class="def">rationalL</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Rational">Rational</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a></p></div><div class="top"><p class="src"><a name="v:litP" class="def">litP</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></p></div><div class="top"><p class="src"><a name="v:varP" class="def">varP</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></p></div><div class="top"><p class="src"><a name="v:tupP" class="def">tupP</a> :: [<a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></p></div><div class="top"><p class="src"><a name="v:unboxedTupP" class="def">unboxedTupP</a> :: [<a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></p></div><div class="top"><p class="src"><a name="v:conP" class="def">conP</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></p></div><div class="top"><p class="src"><a name="v:infixP" class="def">infixP</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></p></div><div class="top"><p class="src"><a name="v:uInfixP" class="def">uInfixP</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></p></div><div class="top"><p class="src"><a name="v:parensP" class="def">parensP</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></p></div><div class="top"><p class="src"><a name="v:tildeP" class="def">tildeP</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></p></div><div class="top"><p class="src"><a name="v:bangP" class="def">bangP</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></p></div><div class="top"><p class="src"><a name="v:asP" class="def">asP</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></p></div><div class="top"><p class="src"><a name="v:wildP" class="def">wildP</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></p></div><div class="top"><p class="src"><a name="v:recP" class="def">recP</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:FieldPatQ">FieldPatQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></p></div><div class="top"><p class="src"><a name="v:listP" class="def">listP</a> :: [<a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></p></div><div class="top"><p class="src"><a name="v:sigP" class="def">sigP</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></p></div><div class="top"><p class="src"><a name="v:viewP" class="def">viewP</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a></p></div><div class="top"><p class="src"><a name="v:fieldPat" class="def">fieldPat</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:FieldPatQ">FieldPatQ</a></p></div><h1 id="g:3">Stmt
</h1><div class="top"><p class="src"><a name="v:bindS" class="def">bindS</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a></p></div><div class="top"><p class="src"><a name="v:letS" class="def">letS</a> :: [<a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a></p></div><div class="top"><p class="src"><a name="v:noBindS" class="def">noBindS</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a></p></div><div class="top"><p class="src"><a name="v:parS" class="def">parS</a> :: [[<a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a>]] -&gt; <a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a></p></div><h1 id="g:4">Range
</h1><div class="top"><p class="src"><a name="v:fromR" class="def">fromR</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:RangeQ">RangeQ</a></p></div><div class="top"><p class="src"><a name="v:fromThenR" class="def">fromThenR</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:RangeQ">RangeQ</a></p></div><div class="top"><p class="src"><a name="v:fromToR" class="def">fromToR</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:RangeQ">RangeQ</a></p></div><div class="top"><p class="src"><a name="v:fromThenToR" class="def">fromThenToR</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:RangeQ">RangeQ</a></p></div><h1 id="g:5">Body
</h1><div class="top"><p class="src"><a name="v:normalB" class="def">normalB</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:BodyQ">BodyQ</a></p></div><div class="top"><p class="src"><a name="v:guardedB" class="def">guardedB</a> :: [<a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> (<a href="Language-Haskell-TH-Syntax.html#t:Guard">Guard</a>, <a href="Language-Haskell-TH-Syntax.html#t:Exp">Exp</a>)] -&gt; <a href="Language-Haskell-TH-Lib.html#t:BodyQ">BodyQ</a></p></div><h1 id="g:6">Guard
</h1><div class="top"><p class="src"><a name="v:normalG" class="def">normalG</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:GuardQ">GuardQ</a></p></div><div class="top"><p class="src"><a name="v:normalGE" class="def">normalGE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> (<a href="Language-Haskell-TH-Syntax.html#t:Guard">Guard</a>, <a href="Language-Haskell-TH-Syntax.html#t:Exp">Exp</a>)</p></div><div class="top"><p class="src"><a name="v:patG" class="def">patG</a> :: [<a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:GuardQ">GuardQ</a></p></div><div class="top"><p class="src"><a name="v:patGE" class="def">patGE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> (<a href="Language-Haskell-TH-Syntax.html#t:Guard">Guard</a>, <a href="Language-Haskell-TH-Syntax.html#t:Exp">Exp</a>)</p></div><h1 id="g:7">Match and Clause
</h1><div class="top"><p class="src"><a name="v:match" class="def">match</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:BodyQ">BodyQ</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:MatchQ">MatchQ</a></p><div class="doc"><p>Use with <code><a href="Language-Haskell-TH-Lib.html#v:caseE">caseE</a></code>
</p></div></div><div class="top"><p class="src"><a name="v:clause" class="def">clause</a> :: [<a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:BodyQ">BodyQ</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ClauseQ">ClauseQ</a></p><div class="doc"><p>Use with <code><a href="Language-Haskell-TH-Lib.html#v:funD">funD</a></code>
</p></div></div><h1 id="g:8">Exp
</h1><div class="top"><p class="src"><a name="v:dyn" class="def">dyn</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Exp">Exp</a></p><div class="doc"><p>Dynamically binding a variable (unhygenic)
</p></div></div><div class="top"><p class="src"><a name="v:global" class="def">global</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:varE" class="def">varE</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:conE" class="def">conE</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:litE" class="def">litE</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Lit">Lit</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:appE" class="def">appE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:parensE" class="def">parensE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:uInfixE" class="def">uInfixE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:infixE" class="def">infixE</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:infixApp" class="def">infixApp</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:sectionL" class="def">sectionL</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:sectionR" class="def">sectionR</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:lamE" class="def">lamE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:lam1E" class="def">lam1E</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p><div class="doc"><p>Single-arg lambda
</p></div></div><div class="top"><p class="src"><a name="v:tupE" class="def">tupE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:unboxedTupE" class="def">unboxedTupE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:condE" class="def">condE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:letE" class="def">letE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:caseE" class="def">caseE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:MatchQ">MatchQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:doE" class="def">doE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:compE" class="def">compE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:StmtQ">StmtQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:arithSeqE" class="def">arithSeqE</a> :: <a href="Language-Haskell-TH-Lib.html#t:RangeQ">RangeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:listE" class="def">listE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:sigE" class="def">sigE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:recConE" class="def">recConE</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> (<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>, <a href="Language-Haskell-TH-Syntax.html#t:Exp">Exp</a>)] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:recUpdE" class="def">recUpdE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> (<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>, <a href="Language-Haskell-TH-Syntax.html#t:Exp">Exp</a>)] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:stringE" class="def">stringE</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:fieldExp" class="def">fieldExp</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> (<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>, <a href="Language-Haskell-TH-Syntax.html#t:Exp">Exp</a>)</p></div><h2 id="g:9"><code><a href="Language-Haskell-TH-Lib.html#v:arithSeqE">arithSeqE</a></code> Shortcuts
</h2><div class="top"><p class="src"><a name="v:fromE" class="def">fromE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:fromThenE" class="def">fromThenE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:fromToE" class="def">fromToE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><div class="top"><p class="src"><a name="v:fromThenToE" class="def">fromThenToE</a> :: <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div><h1 id="g:10">Dec
</h1><div class="top"><p class="src"><a name="v:valD" class="def">valD</a> :: <a href="Language-Haskell-TH-Lib.html#t:PatQ">PatQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:BodyQ">BodyQ</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></p></div><div class="top"><p class="src"><a name="v:funD" class="def">funD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:ClauseQ">ClauseQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></p></div><div class="top"><p class="src"><a name="v:tySynD" class="def">tySynD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></p></div><div class="top"><p class="src"><a name="v:dataD" class="def">dataD</a> :: <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a>] -&gt; [<a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a>] -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></p></div><div class="top"><p class="src"><a name="v:newtypeD" class="def">newtypeD</a> :: <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></p></div><div class="top"><p class="src"><a name="v:classD" class="def">classD</a> :: <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a>] -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:FunDep">FunDep</a>] -&gt; [<a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></p></div><div class="top"><p class="src"><a name="v:instanceD" class="def">instanceD</a> :: <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></p></div><div class="top"><p class="src"><a name="v:sigD" class="def">sigD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></p></div><div class="top"><p class="src"><a name="v:forImpD" class="def">forImpD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Callconv">Callconv</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Safety">Safety</a> -&gt; <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></p></div><div class="top"><p class="src"><a name="v:pragInlD" class="def">pragInlD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:InlineSpecQ">InlineSpecQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></p></div><div class="top"><p class="src"><a name="v:pragSpecD" class="def">pragSpecD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></p></div><div class="top"><p class="src"><a name="v:pragSpecInlD" class="def">pragSpecInlD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:InlineSpecQ">InlineSpecQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></p></div><div class="top"><p class="src"><a name="v:familyNoKindD" class="def">familyNoKindD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:FamFlavour">FamFlavour</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></p></div><div class="top"><p class="src"><a name="v:familyKindD" class="def">familyKindD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:FamFlavour">FamFlavour</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a>] -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Kind">Kind</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></p></div><div class="top"><p class="src"><a name="v:dataInstD" class="def">dataInstD</a> :: <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>] -&gt; [<a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a>] -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></p></div><div class="top"><p class="src"><a name="v:newtypeInstD" class="def">newtypeInstD</a> :: <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a> -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></p></div><div class="top"><p class="src"><a name="v:tySynInstD" class="def">tySynInstD</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:DecQ">DecQ</a></p></div><div class="top"><p class="src"><a name="v:cxt" class="def">cxt</a> :: [<a href="Language-Haskell-TH-Lib.html#t:PredQ">PredQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a></p></div><div class="top"><p class="src"><a name="v:classP" class="def">classP</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:PredQ">PredQ</a></p></div><div class="top"><p class="src"><a name="v:equalP" class="def">equalP</a> :: <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:PredQ">PredQ</a></p></div><div class="top"><p class="src"><a name="v:normalC" class="def">normalC</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:StrictTypeQ">StrictTypeQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a></p></div><div class="top"><p class="src"><a name="v:recC" class="def">recC</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; [<a href="Language-Haskell-TH-Lib.html#t:VarStrictTypeQ">VarStrictTypeQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a></p></div><div class="top"><p class="src"><a name="v:infixC" class="def">infixC</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> (<a href="Language-Haskell-TH-Syntax.html#t:Strict">Strict</a>, <a href="Language-Haskell-TH-Syntax.html#t:Type">Type</a>) -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> (<a href="Language-Haskell-TH-Syntax.html#t:Strict">Strict</a>, <a href="Language-Haskell-TH-Syntax.html#t:Type">Type</a>) -&gt; <a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a></p></div><div class="top"><p class="src"><a name="v:forallC" class="def">forallC</a> :: [<a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:ConQ">ConQ</a></p></div><h1 id="g:11">Type
</h1><div class="top"><p class="src"><a name="v:forallT" class="def">forallT</a> :: [<a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:CxtQ">CxtQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></p></div><div class="top"><p class="src"><a name="v:varT" class="def">varT</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></p></div><div class="top"><p class="src"><a name="v:conT" class="def">conT</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></p></div><div class="top"><p class="src"><a name="v:appT" class="def">appT</a> :: <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></p></div><div class="top"><p class="src"><a name="v:arrowT" class="def">arrowT</a> :: <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></p></div><div class="top"><p class="src"><a name="v:listT" class="def">listT</a> :: <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></p></div><div class="top"><p class="src"><a name="v:tupleT" class="def">tupleT</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></p></div><div class="top"><p class="src"><a name="v:unboxedTupleT" class="def">unboxedTupleT</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></p></div><div class="top"><p class="src"><a name="v:sigT" class="def">sigT</a> :: <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Kind">Kind</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></p></div><div class="top"><p class="src"><a name="v:isStrict" class="def">isStrict</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Strict">Strict</a></p></div><div class="top"><p class="src"><a name="v:unpacked" class="def">unpacked</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Strict">Strict</a></p></div><div class="top"><p class="src"><a name="v:notStrict" class="def">notStrict</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Strict">Strict</a></p></div><div class="top"><p class="src"><a name="v:strictType" class="def">strictType</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Q">Q</a> <a href="Language-Haskell-TH-Syntax.html#t:Strict">Strict</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:StrictTypeQ">StrictTypeQ</a></p></div><div class="top"><p class="src"><a name="v:varStrictType" class="def">varStrictType</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:StrictTypeQ">StrictTypeQ</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:VarStrictTypeQ">VarStrictTypeQ</a></p></div><h1 id="g:12">Kind
</h1><div class="top"><p class="src"><a name="v:plainTV" class="def">plainTV</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a></p></div><div class="top"><p class="src"><a name="v:kindedTV" class="def">kindedTV</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Kind">Kind</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:TyVarBndr">TyVarBndr</a></p></div><div class="top"><p class="src"><a name="v:starK" class="def">starK</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Kind">Kind</a></p></div><div class="top"><p class="src"><a name="v:arrowK" class="def">arrowK</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Kind">Kind</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Kind">Kind</a> -&gt; <a href="Language-Haskell-TH-Syntax.html#t:Kind">Kind</a></p></div><h1 id="g:13">Callconv
</h1><div class="top"><p class="src"><a name="v:cCall" class="def">cCall</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Callconv">Callconv</a></p></div><div class="top"><p class="src"><a name="v:stdCall" class="def">stdCall</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Callconv">Callconv</a></p></div><h1 id="g:14">Safety
</h1><div class="top"><p class="src"><a name="v:unsafe" class="def">unsafe</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Safety">Safety</a></p></div><div class="top"><p class="src"><a name="v:interruptible" class="def">interruptible</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Safety">Safety</a></p></div><div class="top"><p class="src"><a name="v:safe" class="def">safe</a> :: <a href="Language-Haskell-TH-Syntax.html#t:Safety">Safety</a></p></div><h1 id="g:15">InlineSpec
</h1><div class="top"><p class="src"><a name="v:inlineSpecNoPhase" class="def">inlineSpecNoPhase</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -&gt; <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:InlineSpecQ">InlineSpecQ</a></p></div><div class="top"><p class="src"><a name="v:inlineSpecPhase" class="def">inlineSpecPhase</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -&gt; <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -&gt; <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -&gt; <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -&gt; <a href="Language-Haskell-TH-Lib.html#t:InlineSpecQ">InlineSpecQ</a></p></div><h1 id="g:16">FunDep
</h1><div class="top"><p class="src"><a name="v:funDep" class="def">funDep</a> :: [<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>] -&gt; [<a href="Language-Haskell-TH-Syntax.html#t:Name">Name</a>] -&gt; <a href="Language-Haskell-TH-Syntax.html#t:FunDep">FunDep</a></p></div><h1 id="g:17">FamFlavour
</h1><div class="top"><p class="src"><a name="v:typeFam" class="def">typeFam</a> :: <a href="Language-Haskell-TH-Syntax.html#t:FamFlavour">FamFlavour</a></p></div><div class="top"><p class="src"><a name="v:dataFam" class="def">dataFam</a> :: <a href="Language-Haskell-TH-Syntax.html#t:FamFlavour">FamFlavour</a></p></div><h1 id="g:18">Useful helper function
</h1><div class="top"><p class="src"><a name="v:appsE" class="def">appsE</a> :: [<a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a>] -&gt; <a href="Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.11.0</p></div></body></html>