Ap      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 :;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnoNone$/9:;DIR[\%CDifferent classes of definitions that have different kind of names.&.Normal value definitions: functions, variables'Data constructors("Functions with operator-like names)%Constructors with operator-like names**UType definitions with operator-like names++The refactoring monad for the whole project,(The refactoring monad for a given module-$A monad that can be used to refactor0%The information a refactoring can use50Input and output information for the refactoring8sExceptions that can occur while loading modules or during internal operations (not during performing the refactor).=;Change in the project, modification or removal of a module.FThe type of a refactoringG*A refactoring that only affects one moduleH;Decides if a module is a .hs-boot file or a normal .hs fileKoModule name and marker to separate .hs-boot module definitions. Specifies a source file in a working directory.O"The name of the module and the ASTP7A type for the input and result of refactoring a moduleQAPerforms the given refactoring, transforming it into a Ghc actionR\Wraps a refactoring that only affects one module. Performs the per-module finishing touches.S-Transform the result of the local refactoringTfRe-inserts the elements removed from the AST that should be kept (for example preprocessor directives)UOAdds the imports that bring names into scope that are needed by the refactoring[hCreate a name that references the definition. Generates an import if the definition is not yet imported.\2Reference the name by the shortest suitable import].Get which category does a given name belong to^-Checks if a given name is a valid module name_=Check if a given name is valid for a given kind of definitionS%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstu?%&'()*+,-/.0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`aSPOKLMNHIJGF=>?@ABCDE89:;<utsQRSTUrqponmlkjihg56701234f-./edcb,+VWXYZ[\%&'()*]^_`a5%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuNone$/5:DLRT[\9The final version of our AST, with type infromation added(A quick function to try the refactorings>Adjust the source range to be applied to the refactored module'Set the given flags for the GHC session7Reloads the package database based on the session flags?Initialize GHC flags to default values that support refactoring(Sets up basic flags and settings for GHCDUse the given source directories when searching for imported modulesJDon't use the given source directories when searching for imported modulesoTranslates module name and working directory into the name of the file where the given module should be definednTranslates module name and working directory into the name of the file where the boot module should be defined5Get the source directory where the module is located./Gets the path to the source file of the module.Gets the module nameLLoad the summary of a module given by the working directory and module name.9Get the typed representation from a type-correct program.4Modifies the dynamic flags for performing a ghc task-Forces the code generation for a given module-Forces ASM code generation for a given module)Normalizes the flags for a module summary9Removes all flags that are unintelligable for refactoring-Read a source range from our textual format: line:col-line:col or line:col(Read a source location from our format: line:colNone #:LOT[f 3This data structure identifies a module collection.The state of a module.jThe modules of a library, executable, test or benchmark. A package contains one or more module collection.HSets up the ghc environment for compiling the modules of this collection3Sets up the ghc environment for dependency analysis5Find the module collection where the given module is.!Gets all ModuleCollections from a list of source directories. It also orders the source directories that are package roots so that they can be loaded in the order they are defined (no backward imports). This matters in those cases because for them there can be special compilation flags.Sorts model collection in an order to remove all backward references. Works because module collections defined by directories cannot be recursive. Get modules of the project with the indicated root directory. If there is a cabal file, it uses that, otherwise it just scans the directory recursively for haskell sourcefiles. Only returns the non-boot haskell modules, the boot modules will be found during loading.VLoad the module giving a directory. All modules loaded from the folder and subfolders.Load the module using a cabal file. The modules described in the cabal file will be loaded. The flags and extensions set in the cabal file will be used by default.8Map the cabal extensions to the ones that GHC recognizesPIT6NoneLFThe state common for refactoring tools, carrying the state of modules.1A common class for the state of refactoring toolsyLoad packages from the given directories. Loads modules, performs the given callback action, warns for duplicate modules.,Handle GHC exceptions and RefactorException.TReload the modules that have been changed (given by predicate). Pefrom the callback.*Reload a given module. Perform a callback.Re-load the module with code generation enabled. Must be used when the module had already been loaded, but code generation were not enabled by then.PCheck which modules can be reached from the module, if it uses template haskell.                    NoneL[}Remove a separator from the AST while keeping the textual parts of it that should not be removed (like preprocessor pragmas).|Remove an element from the AST while keeping the textual parts of it that should not be removed (like preprocessor pragmas).p.Extracts all text elements that should be keptqWWrites the elements to be kept into a writer monad with ranges and default line ending.pqpqNoneLFilters the elements of the list. By default it removes the separator before the element. Of course, if the first element is removed, the following separator is removed as well.hA version of filterList that cares about keeping non-removable code elements (like preprocessor pragmas)oA version of filterListIndexed that cares about keeping non-removable code elements (like preprocessor pragmas)%Selects the given indices from a list-Selects all but the given indices from a listInserts the element in the places where the two positioning functions (one checks the element before, one the element after) allows the placement.NChecks where the element will be inserted given the two positioning functions.Gets the elements and separators from a list. The first separator is zipped to the second element. To the first element, the "" string is zipped.    None:OT[ERemove the container (where or let) when the last binding is removed.bPuts the elements in the orginal order and remove duplicates (elements with the same source range) None:DR  ]A type class for handling definitions that can appear as both top-level and local definitions!GAccesses a type signature definition in a local or top-level definition"JAccesses a value or function definition in a local or top-level definition#GAccesses a type signature definition in a local or top-level definition$.Creates a new definition from a type signature%<Creates a new definition from a value or function definition&Creates a new fixity signature'0Checks if a given definition is a type signature(;Checks if a given definition is a function or value binding)2Checks if a given definition is a fixity signature !"#$%&'()*+,-  !"#$%&'()*+ !"#$%&'()-,*+ !"#$%&'()*+,-NoneLrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      $#"!   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'(%&'()*+,-/.0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`a !"#$%&'()*+&   $#"!!  None./).//../) None$*:0*12+,-.0122010*12+,-. None345345345345 None:6789678967896789None$*::;<=>?@A:;<=>?@A<;:=>?@A:;<=>?@ANone $*:DORT\f BWe need name information to identify bindings, and scope information to check which entities must be directly passed as parameters./Safely performs the transformation to introduce the local binding and replace the expression with the call. Checks if the introduction of the name causes a name conflict.0]Decides if a new name defined to be the given string will conflict with the given AST element1AAdds a local binding to the where clause of the enclosing binding22Puts a value definition into a list of local binds3BAll expressions that are bound stronger than function application.4UReplaces the expression with the call and stores the binding of the call in its state5BGets the values that have to be passed to the extracted definition65Generates the expression that calls the local binding77Generates the local binding for the selected expressionBCD/0812345967:BCDDBCBCD/0812345967:None$*:T[fEFGHIJKLEFGHIJKLIJEFGHKLEFGHIJKLNone*:DLRM,We need name information to generate exportsNlCreates an export list that imports standalone top-level definitions with all of their contained definitions;Get all the top-level definitions with flags that mark if they can contain other top-level definitions (classes and data declarations).<"Create the export for a give name.MN;<MNNMMN;<None $*:DLORTfR?Perform the refactoring on either local or top-level definition=7Generates the source-level type for a GHC internal type>9Check whether the definition already has a type signature OPQRBAccess for a top-level definition if it is the selected definitionCAccess for a definition list if it contains the selected definitionISelector for either local or top-level declaration in the definition list?@A=>BCDOPQRRQOP OPQR?@A=>BCDNoneSTUSTUSTUSTUNone$:OTVWEFVWWVVWEFNone *:DORT[\f G/Performs the inline binding on a single module.HETrue if the given module contains the name of the inlined definition.ILRemoves the inlined binding and the accompanying type and fixity signatures.JAs a top-down transformation, replaces the occurrences of the binding with generated expressions. This method passes the captured arguments of the function call to generate simpler results.KLSplits an application into function and arguments. Works also for operators.L8Rejoins the function and the arguments as an expression.MBCreate an expression that is equivalent to calling the given bind.N7Replaces names with expressions according to a mapping.OsMatches a pattern list with an expression list and generates bindings. Matches until an argument cannot be matched.PRMatches a pattern with an expression. Generates a mapping of names to expressions.Q>True for patterns that need to be parenthesized if in a lambdaRETrue for expresssions that need to be parenthesized if in applicationXYZGHISJKLMNOPTUQVRWXYZZXYXYZGHISJKLMNOPTUQVRWNone *:DLRT[fX'Sorts the imports in alphabetical orderY5Modify an import to only import names that are used.Z5Reduces the number of definitions used from an import[Group things as importable definitions. The second member of the pair will be true, when there is a sub-name that should be imported apart from the name of the importable definition.\fGets the importable definition for a (looked up) name. The bool flag tells if it is from a data type.]*Check each import if it is actually needed^?Narrows the import specification (explicitly imported elements)_@Reduces the number of definitions imported from a sub-specifier. [\]XYZ[\`]^_[\]][\ [\]XYZ[\`]^_None $*:DLRT[\f^_a`bc^_``_^^_a`bcNone$/5:DLRT[\aA refactoring commandkGExecutes a given command on the selected module and given other modulesl3Recognize a command from its textual representationm&Check the parts and return the commandabcdefghijk0The module in which the refactoring is performed Other moduleslmnajheicgbdfklmnkabcdefghijlmna bcdefghijklmnd !"#$%&'()*+,-./01/02/03/04/05/06/07/08/09/0:/0;/0</0=/0>/0?/0@/0ABCDEFGHIJKLMMNOPQQRSTUVWXYZ[\]^_`abcdeffghijklmnopqrstuvwxyz{|}~       !"#$%&'()*+,-./01234567 8 9 : ; < = > ? @ A B C D E F G H F I F I J F I J KHLFIJMNKOFPQRSTUVWXYZ[F\]F^_F`aFbcdefghijklmnopqrstuvwxyz{z|z}z~zzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~     / !"#$%&'()*+,-./0123456789:;<=<><?<@<A<B<CDEDFDGDHDIDJDKDLDMDNDODPDQDRDSDTDUDVDWDXDYDZD[D\D]D^D_D`DaDbDcDdDeDfDgDhDiDjDkDlDmDnDoDpDqDrDsDtDuDvDwDxDyDzD{D|D}D~DDDDDDDD      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKJLJMJNJOJPJQJRJSJTJUJVJWJXJYJZJ[J\J]^_^`^a^b^c^d^e^f^g^h^i^j^k^l^m^n^o^p^q^r^s^t^u^v^w^x^y^z^{^|^}^~^^      !"#$%&'()*+,-./0123456789:;<=>?@ABACADAEAFAGAHAIAJAKALAMANAOAPAQARASATAUAVAWAXAYAZA[A\A]A^A_A`AaAbAcAdAeAfAgAhAiAjAkAlAmAnAoApAqArAsAtAuAvAwAxAyAzA{A|A}A~AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAn8x0'/MNZPT7qrtgi?      !" # L J M N K$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXY4haskell-tools-refactor-0.7.0.0-ae3RVEPL6hKpSQWaB47tXLanguage.Haskell.Tools.Refactor,Language.Haskell.Tools.Refactor.RefactorBase'Language.Haskell.Tools.Refactor.Prepare*Language.Haskell.Tools.Refactor.GetModules'Language.Haskell.Tools.Refactor.Session)Language.Haskell.Tools.Refactor.ChangeAST.Language.Haskell.Tools.Refactor.ListOperations'Language.Haskell.Tools.Refactor.Helpers+Language.Haskell.Tools.Refactor.BindingElem8Language.Haskell.Tools.Refactor.Predefined.DataToNewtype4Language.Haskell.Tools.Refactor.Predefined.DollarApp5Language.Haskell.Tools.Refactor.Predefined.DollarApp15Language.Haskell.Tools.Refactor.Predefined.DollarApp25Language.Haskell.Tools.Refactor.Predefined.DollarApp39Language.Haskell.Tools.Refactor.Predefined.ExtractBinding3Language.Haskell.Tools.Refactor.Predefined.FloatOut:Language.Haskell.Tools.Refactor.Predefined.GenerateExports@Language.Haskell.Tools.Refactor.Predefined.GenerateTypeSignature8Language.Haskell.Tools.Refactor.Predefined.HelloRefactor5Language.Haskell.Tools.Refactor.Predefined.IfToGuards8Language.Haskell.Tools.Refactor.Predefined.InlineBinding:Language.Haskell.Tools.Refactor.Predefined.OrganizeImports;Language.Haskell.Tools.Refactor.Predefined.RenameDefinition'Language.Haskell.Tools.Refactor.Perform0haskell-tools-ast-0.7.0.0-8c6uZRwocvGB0Wdu7cGYu1Language.Haskell.Tools.AST.Ann isAnnNothingannJustannMaybesrcInfoSourceInfoType HasSourceInfosourceInfoTraversesourceInfoTraverseDownsourceInfoTraverseUpSourceInfoTraversalannList annListElems annListAnnotAnn shortShowSpanSrcTemplateStageDomainsetRangegetRangeHasRange8haskell-tools-prettyprint-0.7.0.0-BvgMlyyrVbzB1qFL1FIw1f/Language.Haskell.Tools.Transform.SourceTemplatesourceTemplateTextsrcTmpOptAftersrcTmpOptBeforesourceTemplateOptRangesrcTmpSeparatorssrcTmpIndentedsrcTmpDefaultSeparatorsrcTmpListAftersrcTmpListBeforesourceTemplateListRangesourceTemplateNodeElemssourceTemplateNodeRange _lineEndings_sourceTemplateText StayingText NormalTextSourceTemplateTextElem NameClassVariableCtor ValueOperatorDataCtorOperatorSynonymOperatorRefactor LocalRefactor RefactorMonad refactErrorliftGhc RefactorCtx refModuleName refCtxRoot refCtxImportsLocalRefactorT fromRefactorTRefactorExceptionIllegalExtensionsSourceCodeProblemModuleNotInPackageUnknownExceptionRefactorChangeContentChanged ModuleRemoved ModuleCreatedfromContentChangedremovedModuleNamecreatedModuleNamecreatedModuleContent sameLocation RefactoringLocalRefactoringIsBootNormalHsIsHsBoot SourceFileKey _sfkIsBoot_sfkModuleName ModuleDom UnnamedModule runRefactorlocalRefactoringlocalRefactoringRes insertTextaddGeneratedImportsregisteredNamesFromPreludeotherNamesFromPrelude qualifiedName referenceNamereferenceOperatorreferenceName' referenceBy classifyNamevalidModuleName nameValid isIdStartCharisOperatorChar$fRefactorMonadStateT$fRefactorMonadStateT0$fRefactorMonadLocalRefactorT$fRefactorMonadExceptT$fMonadTransLocalRefactorT$fExceptionMonadExceptT$fGhcMonadExceptT$fExceptionMonadReaderT$fGhcMonadReaderT$fExceptionMonadStateT$fGhcMonadStateT$fHasDynFlagsStateT$fExceptionMonadStateT0$fGhcMonadStateT0$fHasDynFlagsStateT0$fExceptionMonadWriterT$fGhcMonadWriterT$fShowRefactorChange$fExceptionRefactorException $fShowBag $fEqIsBoot $fOrdIsBoot $fShowIsBoot$fEqSourceFileKey$fOrdSourceFileKey$fShowSourceFileKey$fShowRefactorException$fFunctorLocalRefactorT$fApplicativeLocalRefactorT$fMonadLocalRefactorT$fMonadReaderLocalRefactorT$fMonadWriterLocalRefactorT$fMonadIOLocalRefactorT$fHasDynFlagsLocalRefactorT$fExceptionMonadLocalRefactorT$fGhcMonadLocalRefactorT sfkIsBoot sfkModuleName TypedModule tryRefactorcorrectRefactorSpanuseFlags reloadPkgDb initGhcFlagsinitGhcFlagsForTest initGhcFlags'useDirsderegisterDirs toFileNametoBootFileName getSourceDir getModSumOrig getModSumName loadModule parseTypedwithAlteredDynFlags forceCodeGen forceAsmGenmodSumNormalizeFlagsnormalizeFlags readSrcSpan readSrcLocModuleCollectionId DirectoryMC LibraryMC ExecutableMC TestSuiteMC BenchmarkMC ModuleRecordModuleNotLoaded ModuleParsed ModuleRenamedModuleTypeCheckedModuleCodeGenerated_recModuleWillNeedCode_parsedRecModule _modRecMS_renamedRecModule_typedRecModuleModuleCollection_mcId_mcRoot _mcSourceDirs _mcModules _mcFlagSetup_mcLoadFlagSetup_mcDependencies containingMCmoduleCollectionIdStringmoduleCollectionPkgId$fShowModuleCollection$fEqModuleCollection$fEqModuleCollectionId$fOrdModuleCollectionId$fShowModuleCollectionIdmcDependencies mcFlagSetupmcIdmcLoadFlagSetup mcModulesmcRoot mcSourceDirsToModuleCollectionmkModuleCollKey getBuildInfogetModuleNamesmodRecMSparsedRecModulerecModuleWillNeedCoderenamedRecModuletypedRecModulelookupModuleColllookupModInSCs removeModulehasGeneratedCodeneedsGeneratedCodecodeGeneratedForisAlreadyLoaded getAllModulesorderMCs getModulesmodulesFromDirectorysrcDirFromRootmodulesFromCabalFile isDirectoryMCcompileInContextapplyDependenciesonlyUseEnableddependencyToPkgFlagsetupLoadFlagsbreaksloadFlagsFromBuildInfoflagsFromBuildInfosetExtensionFlag'unSetExtensionFlag'turnOnturnOff impliedXFlagstranslateExtension$fToModuleCollectionBenchmark$fToModuleCollectionTestSuite$fToModuleCollectionExecutable$fToModuleCollectionLibrary$fShowModuleRecordRefactorSessionState __refSessMCs SummaryNodeNodeMapNodeKeyIsRefactSessionState refSessMCs initSession _refSessMCsloadPackagesFrom handleErrors keyFromMSgetMods getFileModsreloadChangedModulesgetReachableModules reloadModulecheckEvaluatedModscodeGenForModulegetEvaluatedMods modSumNamegetModFromNodemoduleGraphNodeshscSourceToIsBootsummaryNodeKey ms_home_impsms_home_srcimps home_imps*$fIsRefactSessionStateRefactorSessionStateremoveSeparator removeChild filterListfilterListIndexed filterListStfilterListIndexedStsublist notSublist insertWhere insertIndexzipWithSeparatorsreplaceWithJustreplaceWithNothingremoveEmptyBndsnormalizeElements BindingElemsigBindvalBind fixitySig createTypeSig createBindingcreateFixitySig isTypeSig isBinding isFixitySiggetValBindInListvalBindsInList$fBindingElemULocalBind$fBindingElemUDecltryItOut dataToNewtype DollarDomain dollarApp replaceExpr dollarName DollarMonad parenExpr parenDollarExtractBindingDomainextractBinding' FloatStateNotEncountered ExtractedInsertedFloatOutDefinitionfloatOutextractAndInsert checkConflictDomGenerateExportsgenerateExportsGenerateSignatureDomaingenerateTypeSignature'generateTypeSignature helloRefactor helloExpr ifToGuardsInlineBindingDomain inlineBindingOrganizeImportsDomainprojectOrganizeImportsorganizeImportsDomainRenameDefinitionrenameDefinition'renameDefinitionRefactorCommand NoRefactorOrganizeImportsProjectOrganizeImportsGenerateExportsGenerateSignatureRenameDefinitionExtractBinding InlineBindingFloatOutperformCommand readCommandanalyzeCommandrefactorCommands$fShowRefactorCommandkeptText writeStaying*Language.Haskell.Tools.AST.SemaInfoClasses HasNameInfo HasNameInfo' semanticsName HasIdInfo HasIdInfo' semanticsId HasFixityInfoHasFixityInfo'semanticsFixity HasScopeInfo HasScopeInfo'semanticsScopeHasDefiningInfoHasDefiningInfo'semanticsDefiningHasSourceInfoInSema'semanticsSourceInfo HasModuleInfoHasModuleInfo'semanticsModulesemanticsDynFlags isBootModulesemanticsImplicitImportssemanticsPrelOrphanInstssemanticsPrelFamInsts HasImportInfoHasImportInfo'semanticsImportedModulesemanticsAvailablesemanticsImportedsemanticsOrphanInstssemanticsFamInstsHasImplicitFieldsInfoHasImplicitFieldsInfo'semanticsImplicitFldsHasNoSemanticInfo"Language.Haskell.Tools.AST.HelpersinScopecompareRangeLengthgetNodeContainingnodesWithRange isContainednodesContainedisInsidenodesContaining semantics valBindPats typeParams declHeadNames bindingNameimportIsHiding importIsExactAnnList AnnNothingAnnJust NamedElement elementName%Language.Haskell.Tools.AST.References stringNodeStr simpleNameStrunqualifiedName qualifiers simpleName operatorNamepromotedStringValuepromotedIntValuepromotedElementspromotedConNamestringLitValue intLitValue fracLitValue floatLitValue charLitValue bracketTypebracketPattern bracketExpr bracketDeclqqString qqExprName qqExprBodyspliceId spliceExprfieldPatternWildcardfieldPatternName fieldPattern patternType patternSplice patternRhspatternOperator patternNamepatternLiteral patternLit patternLhs patternInner patternFields patternExpr patternElems patternArgspatQQ compStmts usingExprthenExprcompStmtbyExpr stmtPatternstmtExpr stmtBinds cmdStmtBindscaseGuardStmts caseGuardExpr rhsCaseGuards rhsCaseExpr pragmaStrpragmaSrcRange tupSecExpr fieldWildcard fieldValuefieldUpdateName fieldNamealtRhs altPatternaltBindstupleSectionElems tupleElems quotedName procPatternprocExpr listElems innerExprexprTypeexprThen exprStmts exprSpliceexprSigexprRhs exprRecName exprRecFieldsexprQQ exprPragma exprOperatorexprNameexprLitexprLhs exprInner exprIfAlts exprFunBindexprFunexprElseexprCondexprCase exprBracket exprBindingsexprArgexprAlts enumToFixenumToenumThenenumFromdoKindcompExprcompBody arrowAppl innerAsserts assertTypes assertRhsassertOp assertLhs assertImplVarassertImplType assertClsNamecontextAssertionkindVarkindType kindRightkindRhs kindPromoted kindParenkindLhskindLeft kindElemskindElem kindAppOp kindAppFun kindAppArgtypeWildcardNametypeType typeRight typeResulttypeQQ typeParam typeOperatortypeNametypeLefttypeKind typeInner typeElements typeElementtypeCtxtypeCon typeBoundedtypeArgtsSplice tpPromoted tyVarName tyVarKind valBindRhs valBindPat valBindLocalsfunBindMatches kindConstr matchLhsRhsmatchLhsOperator matchLhsName matchLhsLhs matchLhsArgstsTypetsNameprecedenceValuefixityPrecedencefixityOperators fixityAssoc localBindslocalVallocalSig localInline localFixityguardRhsguardPat guardCheck guardBinds guardStmts guardExpr rhsGuardsrhsExprmatchRhsmatchLhs matchBinds numberIntegersrToLinesrToCol srFromLine srFromCol srFileName minimalOrs minimalName minimalInner minimalAnds annotateName warnMessagespecializePragma pragmaRule pragmaObjects pragmaLineNum pragmaInlinepragmaFileName deprMessageannotationSubject annotateExprphaseNum phaseUntil phaseNumber ruleVarType ruleVarNameruleRhs rulePhaseruleNameruleLhs ruleBoundedteRhsteLhsihType ihOperatorihLeftOpihHeadihFun ihConNameirVarsirHeadirCtx oneDerived allDerived fieldType fieldNames conDeclRhs conDeclOp conDeclName conDeclLhs conDeclFields conDeclArgs conTypeCtx conTypeArgs funDepRhs funDepLhsfunDeps patSigType patSigName patOpposite patSynRhspatSynOp patSynLhspatNamepatArgspatRhsOpposite patRhsPatpatRhspatLhsgadtConResultTypegadtConRecordFieldsgadtConNormalTypegadtConTypeCtxgadtConTypeArgs gadtConType gadtConNames injAnnRes injAnnDeps tfSpecKind tfInjectivitytfSpectfKindtfHeadspecializeInstanceTypespecializeInstanceinstanceInlineinstBodyTypeSiginstBodyTypeEqninstBodyLhsTypeinstBodyGadtConsinstBodyDerivingsinstBodyDeclFunbindinstBodyDataNewinstBodyDataKindinstBodyDataCons instBodyDeclsdhRight dhOperatordhNamedhLeftdhBody dhAppOperanddhAppFun pragmaFormula clsInline clsFixity ceTypeSig ceTypeFamceTypeceNameceKindceHeadceBind cbElements declValBind declTypes declTypeSigdeclTypeFamilydeclType declSplice declSafety declRoles declRoleType declPragmadeclPatTypeSig declPatSyn declOverlap declNewtypedeclNamedeclKind declInstance declInstRule declInstDecldeclHeaddeclGadt declFunDepsdeclForeignType declFixity declDerivingdeclDecldeclCtxdeclCons declCallConvdeclBodydeclAssignedTypelangExtmoduleNameString importRenameimportSpecListimportSpecHiding importSpec importSource importSafeimportQualified importPkg importModuleimportAsopStr lpPragmas modWarningStrmodDeprecatedPragmaessList ieSubspecieName ieModifierexportModuleName exportDecl espExportsmhPragmamhName mhExports modImportsmodHeadmodDecl filePragmas'Language.Haskell.Tools.IndentationUtilssetMinimalIndent4haskell-tools-rewrite-0.7.0.0-7TpWhOWtv0x8k0nthT1P0d&Language.Haskell.Tools.AST.Match.Types ForallTypeCtxType FunctionType TupleTypeUnboxedTupleTypeListType ParArrayTypeTypeApp InfixTypeApp ParenTypeVarType KindedTypeBangTypeLazyType UnpackType NoUnpackType WildcardTypeNamedWildcardType SpliceTypeQuasiQuoteTypePromotedIntTypePromotedStringTypePromotedConTypePromotedListTypePromotedTupleTypePromotedUnitType TyVarDeclKindedTyVarDeclContext ClassAssert InfixAssertImplicitAssert TupleAssert#Language.Haskell.Tools.AST.Match.THIdSplice ParenSplice QuasiQuote ExprBracketPatternBracket TypeBracket DeclsBracket&Language.Haskell.Tools.AST.Match.ExprsVarLitInfixApp PrefixAppAppLambdaLetIfMultiIfCaseDo ParArrayCompTuple UnboxedTuple TupleSectionUnboxedTupleSectionListParArrayParen LeftSection RightSectionRecCon RecUpdateEnum ParArrayEnumListCompParArrayListCompTypeSigExplicitTypeAppVarQuote TypeQuote BracketExpr SpliceExprQuasiQuoteExpr ExprPragmaProcArrowApp LambdaCase StaticPointerNormalFieldUpdateFieldPun FieldWildcard TupSecPresent TupSecMissingAltCaseRhsGuardedCaseRhssGuardedCaseRhs CorePragma SccPragmaGeneratedPragma SourceRange ArrowAppCmd ArrowFormCmdAppCmdInfixCmd LambdaCmdParenCmdCaseCmdIfCmdLetCmdDoCmdLeftAppl RightAppl LeftHighApp RightHighApp&Language.Haskell.Tools.AST.Match.StmtsBindStmtExprStmtLetStmtRecStmt DoKeyword MDoKeyword ListCompBodyCompStmtThenStmt GroupStmt BindStmtCmd ExprStmtCmd LetStmtCmd RecStmtCmd)Language.Haskell.Tools.AST.Match.PatternsVarPatLitPat InfixAppPatAppPatTuplePat UnboxTuplePatListPat ParArrayPatParenPatRecPatAsPatWildPatIrrefutablePatBangPat TypeSigPatViewPat SplicePat QuasiQuotePat NPlusKPat FieldPatternFieldPunPatternFieldWildcardPattern&Language.Haskell.Tools.AST.Match.NamesNormalOp BacktickOp NormalName ParenName ImplicitName StringNode QualifiedNameNamePart(Language.Haskell.Tools.AST.Match.ModulesModule ModuleHead ExportSpecs ExportSpec ModuleExportIESpecSubAllSubList ImportDeclImportRenamingImportSpecListImportHidingList ModuleNameLanguagePragma OptionsPragmaLanguageExtensionModuleWarningPragmaModuleDeprecatedPragma)Language.Haskell.Tools.AST.Match.LiteralsCharLit StringLitIntLitFracLit PrimIntLit PrimWordLit PrimFloatLit PrimDoubleLit PrimCharLit PrimStringLit&Language.Haskell.Tools.AST.Match.KindsKindConstraintStarKind UnboxKindFunKind ParenKindVarKindAppKindListKindIntKind StringKindConKindListKindPromoted TupleKindUnitKind&Language.Haskell.Tools.AST.Match.DeclsTypeDeclStandaloneDeriving FixityDecl DefaultDecl TypeSigDecl ValueBinding SpliceDeclDataDecl GADTDataDecl GadtConDeclGadtRecordConDeclConDecl RecordConDecl InfixConDecl FieldDecl DerivingOne DerivingMulti DataKeywordNewtypeKeywordFunDepsFunDep ClassDecl ClassBody ClassElemSig ClassElemDefClassElemTypeFamClassElemDataFamClsDefaultType ClsDefaultSig ClsMinimal MinimalName MinimalParen MinimalOr MinimalAnd NameDeclHead ParenDeclHead DeclHeadApp InfixDeclHead InstanceDecl InstanceBody InstanceBindInstanceTypeSigInstanceTypeFamilyDefInstanceDataFamilyDefInstanceDataFamilyGADTDefInstanceSpecializePragma InstanceRule InstanceHeadInfixInstanceHeadParenInstanceHeadAppInstanceHead EnableOverlapDisableOverlap Overlappable OverlappingOverlapsIncoherentOverlapRoleDecl NominalRoleRepresentationalRole PhantomRole ForeignImport ForeignExportStdCallCCallCApiUnsafePatternSynonym ConPatSyn InfixPatSyn RecordPatSynSymmetricPatSyn OneWayPatSyn TwoWayPatSynPatternSignatureDeclPatternSignature TypeFamily DataFamily TypeInstance DataInstanceGadtDataInstanceClosedTypeFamilyTypeFamilyKindSpecTypeFamilyInjectivitySpecTypeEqn PragmaDecl RulePragma DeprPragma WarningPragma AnnPragma InlinePragmaNoInlinePragmaInlinablePragma LinePragmaSpecializePragmaPhaseControlFromPhaseControlUntil RewriteRuleNameAnnotationTypeAnnotationModuleAnnotationConlikeAnnotation&Language.Haskell.Tools.AST.Match.Binds SimpleBind FunctionBindMatchMatchLhsInfixLhs LocalBinds LocalValBind LocalTypeSig LocalFixity TypeSignatureInfixLInfixRInfix UnguardedRhs GuardedRhss GuardedRhs GuardBindGuardLet GuardCheck$Language.Haskell.Tools.AST.Gen.TypesmkTupleAssertionmkImplicitAssert mkInfixAssert mkClassAssert mkContextmkPromotedUnitTypemkPromotedTupleTypemkPromotedListTypemkPromotedConTypemkPromotedStringTypemkPromotedIntTypemkQuasiQuoteType mkSpliceTypemkNamedWildcardTypemkWildcardTypemkNoUnpackType mkUnpackType mkLazyType mkBangType mkKindedType mkVarTypemkKindedTypeVar mkTypeVar mkParenTypemkInfixTypeApp mkTypeAppmkParArrayType mkListTypemkUnboxedTupleType mkTupleTypemkFunctionType mkCtxType mkTypeVar' mkForallType!Language.Haskell.Tools.AST.Gen.THmkDeclsBracket mkTypeBracketmkPatternBracket mkExprBracket mkQuasiQuote mkParenSplice mkIdSplice$Language.Haskell.Tools.AST.Gen.StmtsmkRecCmd mkLetStmtCmd mkExprCmd mkBindCmd mkGroupStmt mkThenStmt mkCompStmtmkListCompBody mkRecStmt mkLetStmt mkExprStmt mkBindStmt$Language.Haskell.Tools.AST.Gen.Binds mkGuardCheck mkGuardLet mkGuardBind mkGuardedRhs mkGuardedRhssmkUnguardedRhsmkInfixmkInfixRmkInfixLmkTypeSignature mkLocalFixitymkLocalTypeSigmkLocalValBind mkLocalBinds' mkLocalBinds mkInfixLhs mkMatchLhsmkMatchmkFunctionBind'mkFunctionBind mkSimpleBind mkSimpleBind''Language.Haskell.Tools.AST.Gen.PatternsmkFieldWildcardPatternmkFieldPunPatternmkPatternFieldmkQuasiQuotePat mkSplicePat mkViewPat mkTypeSigPat mkBangPatmkIrrefutablePat mkWildPatmkAsPatmkRecPat mkParenPat mkParArrayPat mkListPatmkUnboxTuplePat mkTuplePatmkAppPat mkInfixAppPatmkLitPatmkVarPat&Language.Haskell.Tools.AST.Gen.ModulesmkModuleDeprecatedPragmamkModuleWarningPragma mkOptionsGHCmkLanguagePragma mkModuleNamemkImportHidingListmkImportSpecList mkImportDeclmkSubAll mkSubListmkPatternIESpecmkIESpecmkModuleExport mkExportSpec mkExportSpecs mkModuleHeadmkModule$Language.Haskell.Tools.AST.Gen.Names mkStringNode mkSimpleName mkSimpleName' mkNamePartmkQualifiedNamemkQualifiedName'mkImplicitName mkParenName mkNormalName mkUnqualName' mkQualName' mkUnqualOp mkUnqualOp' mkQualOp' mkBacktickOpmkQualOpmkName'Language.Haskell.Tools.AST.Gen.LiteralsmkPrimStringLit mkPrimCharLitmkPrimDoubleLitmkPrimFloatLit mkPrimWordLit mkPrimIntLit mkFracLitmkIntLit mkStringLit mkCharLit$Language.Haskell.Tools.AST.Gen.Kinds mkUnitKind mkTupleKind mkListKind mkConKind mkStringKind mkIntKind mkKindList mkKindApp mkKindVar mkKindParen mkKindFun mkKindUnbox mkKindStarmkKindConstraint$Language.Haskell.Tools.AST.Gen.ExprsmkRightHighApplmkLeftHighAppl mkRightAppl mkLeftApplmkDoCmdmkLetCmdmkIfCmd mkCaseCmd mkParenCmd mkLambdaCmd mkInfixCmdmkAppCmdmkArrowFromCmd mkArrowAppCmd mkSourceRangemkGeneratedPragma mkSccPragma mkCorePragmamkGuardedCaseRhsmkGuardedCaseRhss mkCaseRhsmkAltmkFieldWildcard mkFieldPun mkFieldUpdatemkStaticPointer mkLambdaCase mkArrowApp mkProcExpr mkExprPragmamkQuasiQuoteExpr mkSpliceExpr mkBracketExpr mkTypeQuote mkVarQuotemkExplicitTypeApp mkExprTypeSigmkParArrayComp mkListCompmkParArrayEnummkEnum mkRecUpdatemkRecConmkRightSection mkLeftSectionmkParen mkParArraymkListmkTupleUnboxedSectionmkTupleSectionmkUnboxedTuplemkTuple mkDoBlockmkCase mkMultiIfmkIfmkLetmkLambdamkApp mkPrefixApp mkInfixAppmkLitmkVar$Language.Haskell.Tools.AST.Gen.DeclsmkConlikeAnnotationmkModuleAnnotationmkTypeAnnotationmkNameAnnotation mkRuleVar mkRewriteRulemkPhaseControlUntilmkPhaseControlFrommkSpecializePragma mkLinePragmamkInlinablePragmamkNoInlinePragmamkInlinePragma mkAnnPragmamkWarningPragma mkDeprPragma mkRulePragma mkPragmaDeclmkPatternSignaturemkPatternSignatureDeclmkTwoWayPatSynmkOneWayPatSynmkSymmetricPatSynmkRecordPatSyn mkInfixPatSyn mkConPatSynmkPatternSynonymmkGadtDataInstancemkDataInstancemkTypeInstance mkTypeEqnmkTypeFamilyInjectivitySpecmkTypeFamilyKindSpec mkDataFamilymkClosedTypeFamily mkTypeFamilymkUnsafemkCApimkCCall mkStdCallmkForeignExportmkForeignImport mkPhantomRolemkRepresentationalRole mkNominalRole mkRoleDeclmkIncoherentOverlap mkOverlaps mkOverlappingmkOverlappablemkDisableOverlapmkEnableOverlapmkInstanceSpecializePragmamkInstanceDataFamilyGADTDefmkInstanceDataFamilyDefmkInstanceTypeFamilyDefmkInstanceTypeSigmkInstanceBindmkInstanceBodymkAppInstanceHeadmkParenInstanceHeadmkInfixInstanceHeadmkInstanceHeadmkInstanceRulemkInstanceDeclmkInfixDeclHead mkDeclHeadAppmkParenDeclHeadmkNameDeclHead mkMinimalAnd mkMinimalOrmkMinimalParen mkMinimalName mkClsMinimalmkFunDepmkClsDefaultSigmkClsDefaultTypemkClassElemDataFammkClassElemTypeFammkClassElemDefmkClassElemSig mkClassBody mkClassDeclmkNewtypeKeyword mkDataKeyword mkDeriving mkFieldDeclmkInfixConDeclmkRecordConDecl mkConDeclmkGadtRecordConDecl mkGadtConDeclmkGADTDataDecl mkDataDecl mkSpliceDeclmkValueBinding mkTypeSigDecl mkDefaultDecl mkFixityDeclmkStandaloneDeriving mkTypeDecl'Language.Haskell.Tools.AST.ElementTypesAnnMaybeSubSpec ModulePragma FilePragma ImportSpecImportQualified ImportSource ImportSafe TypeNamespaceDecl ClassElementDeclHeadInstBody InstBodyDecl GadtConTypeDataOrNewtypeKeywordDeriving OverlapPragmaTopLevelPragmaRuleRuleVarAnnotationSubjectMinimalFormulaTypeFamilySpecInjectivityAnn PatSynRhs PatSynLhs PatSynWhereRoleCallConvSafety ConlikeAnnot PhaseControl ValueBindRhsRhsGuard LocalBindFixitySignatureTypeTyVar AssertionKind PromotedKindExpr FieldUpdate TupSecElemCmdCmdAltStmtDoKindCmdStmtPattern PatternFieldSpliceBracketLiteralOperatorName MaybeContext MaybeDerivingMaybeLocalBindsMaybeTypeFamilySpecMaybeKindConstraintMaybeClassBody MaybeInstBody MaybeExprMaybeExportSpecsMaybeImportQualifiedMaybeImportSourceMaybeImportSafeMaybeImportSpecMaybeModuleHeadMaybeModulePragma MaybeSubSpecMaybeStringNodeMaybeImportRenaming MaybeSafetyMaybePhaseControlMaybeConlikeAnnot MaybeFunDeps MatchListDeclList PatternList OperatorListNameList LocalBindList IESpecList RhsGuardListGuardedRhsListGuardedCaseRhsList ConDeclList TypeEqnListTypeList FieldDeclListExprListFieldUpdateListGadtConDeclListClassElementListInstBodyDeclListInstanceHeadListAltListStmtListKindList TyVarListListCompBodyListExportSpecListFilePragmaListImportDeclListPatternFieldList AssertionList CompStmtListRuleList RuleVarListRoleListMinimalFormulaList FunDepListTupSecElemListCmdList CmdAltList CmdStmtListLanguageExtensionListStringNodeList NamePartListchangeDeclarationextractBinding isConflictingaddLocalBindinginsertLocalBindisParenLikeExpr doExtractgetExternalBinds generateCall generateBindextractThatBindactualContainingExprisValidBindingName getTopLevels createExportsgenerateTypeFortypeSignatureAlreadyExisthasScopedTypeSignatures genTypeSig generateTSForgetBindingNamegetExternalTVs isForalledTSchangeBindingscreateSimpleIfRhssinlineBinding'containInlinedremoveBindingAndSigreplaceInvocations splitAppsjoinAppscreateReplacement replaceExprsmatchArgumentsstaticPatternMatch compositePatcompositeExprsremoveBindingAndSig' replaceMatch wrapLocals parenIfNeeded createLambda sortImports narrowImports narrowImport groupThings getTopDef neededImportsnarrowImportSpecsnarrowImportSubspecscreateImportSpec renameModule conflicts sameNamespace