úÎ3=-Ÿh      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefgportable (template-haskell) experimentalMatt Morrow <mjm2002@gmail.com>' TH doesn' t handle:  * implicit params  !"#$%hTH does' t handle  * unboxed tuples  * implicit params  * infix type constructors  * kind signatures * ij !"#$%kl&   !"#$%&    !"#$%portable (template-haskell) experimentalMatt Morrow <mjm2002@gmail.com>&'()&'()&'()&'()'()portable (template-haskell) experimentalMatt Morrow <mjm2002@gmail.com>portable (template-haskell) experimentalMatt Morrow <mjm2002@gmail.com>. ij !"#$%kl&'()portable (template-haskell) experimentalMatt Morrow <mjm2002@gmail.com>*+,-./0123456789*+,-./0123456789*+,-./0123456789*+,-./0123456789portable (template-haskell) experimentalMatt Morrow <mjm2002@gmail.com>> ij !"#$%kl&'()*+,-./0123456789.:;The type passed in must have a Show instance which 8 produces a valid Haskell expression. Returns an empty  String3 if this is not the case. This is not TH-specific,  but useful in general. <=>? unQ = unsafePerformIO . runQ@ABCDEFG5Infinite list of names composed of lowercase letters HGeneralisation of renameTs #renameT applied to a list of types IERename type variables in the Type according to the given association @ list. Normalise constructor names (remove qualification, etc.) J If a name is not found in the association list, replace it with one from F the fresh names list, and add this translation to the returned list. E The fresh names list should be infinite; myNames is a good example. JRemove qualification, etc. KLMProduces pretty code suitable  for human consumption. NOPQRSTUVWXYThe arity of a Type. Z[Randomly useful. \]^_`abc.The strategy for producing QuasiQuoters which 2 this datatype aims to facilitate is as follows. 0 Given a collection of datatypes which make up 1 the to-be-quasiquoted languages AST, make each 2 type in this collection an instance of at least  Show and Lift. Now, assuming parsePat and  parseExp, both of type  String -> Q a (where a 5 is the top level type of the AST), are the pair of 7 functions you wish to use for parsing in pattern and 3 expression context respectively, put them inside  a Quoter$ datatype and pass this to quasify. defg/:;<=>?@ABCDEFGmHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefg.:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefg.:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefgn      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvhaskell-src-meta-0.3&Language.Haskell.Meta.Syntax.Translate!Language.Haskell.Meta.Syntax.VarsLanguage.Haskell.Meta.ParseLanguage.Haskell.Meta.Utils"Language.Haskell.TH.Instances.LiftLanguage.Haskell.Meta.SyntaxLanguage.Haskell.MetaToLoctoLocToStmttoStmtToDectoDecToDecstoDecsToExptoExpToPattoPatToTypetoTypeToLittoLitToNametoNameerrorMsg toFieldExptoMatchtoBodytoKindtoTyVar.->.toCxtfoldAppT hsBindsToDecshsBangTypeToStrictTypequalConDeclToCon conDeclToConbangToVarStrictTypesbangToStrictTypehsMatchesToFunDhsMatchToClause hsRhsToBodyhsGuardedRhsToBody hsStmtToGuardVarsvarsfvsbvsparsePatparseExp parseType parseDecsmyDefaultParseModemyDefaultExtensionsparseResultToEither parseHsModule parseHsDecls parseHsType parseHsExp parseHsPat pprHsModule moduleDecls emptySrcLoc emptyHsModule cleanNamesprettyppppDocgprettyunQnameToRawCodeStr|$||.||->|unForall functionTmkVarTmyNamesrenameTsrenameT normaliseNameapplyTsubstTderiveLiftPrettysplitCon strictTypeTyvarStrictTypeTyconTypes conToConTypedecCons decTyVarsdecName foreignNameunwindTunwindEarityT typeToName nameSpaceOfconNamerecCName dataDCons fromDataConI fromTyConImkFunD mkClauseQtoExpQtoPatQ showToPatQeitherQ normalizeT $fToTypeTypetoGuardtransAct collectVars fixForall renameThings