]#None M !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRST  NoneU@Return the variables, erring on the side of more free variables V@Return the variables, erring on the side of more free variables ,WUXVYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~WU]^_`'WUXVYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~NoneUUUNonefromNamed will return "" when it cannot be represented  toNamed may crash on "" $None  NoneNoneFAn encoding is a function to change a handle to a particular encoding %      !"#$%&'()*+%      !"#$%&'()*+#      !"#$%&'()*+ None,4Is this item lexically requiring no bracketing ever  i.e. is totally atomic -=Is the child safe free from brackets in the parent position. ) Err on the side of caution, True = don't know .1Add a Paren around something if it is not atomic /*Descend, and if something changes then add/remove brackets appropriately 0Add/=remove brackets as suggested needBracket at 1-level of depth 123,-./405678 123,-./405 123,-./405678 None9:99:  Safe-Inferred ;<=>?@ABCDE<ABCDE ;<=>?@ABCDE NoneFrun in test mode? G/which files to run it on, nothing = none given Hwhich settingsfiles to use I*which settignsfiles were explicitly given J)hints that are given on the command line Kwhere to generate reports Lthe hints to ignore Mdisplay all skipped items Ncolor the result Ooptions for CPP Pthe data directory Qthe text encoding R"source files to look for hints in S#the extensions (may be prefixed by No) Tsupress all console output USwork between source files, applies to hints such as duplicate code between modules V a proof script to check against W*Exit out if you need to display help info 9XYZ[\]^_`abcdefghijklmnopFGHIJKLMNOPQRSTUVqrstuWvwxyz{|}~opFGHIJKLMNOPQRSTUVqrstWvXnmlkjihgfedcba`_^]\[ZYopFGHIJKLMNOPQRSTUVqtsruWvwxyz{|}~ NoneParse a Haskell module  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRST WU]^_`123,-./4059 NoneHow severe an error is. JErrors are suggestions that should nearly always be a good idea to apply. RWarnings are things that some people may consider improvements, but some may not. &Ignored errors are only returned when --show is passed. + None NoneGuess why a theorem is missing  None  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRST WU]^_`123,-./4059NoneNone   NoneNoneNone           NoneNone     None!"#$%!"#$%!"#$%None&-What is derived on newtype, and on data type   'deriving'2 declarations may be on either, so we approximate '()*+,&-./012 '()*+,&-./012 '()*+,&-./012None3RThe position to return if we match at this point, and the map of where to go next E If two runs have the same vals, always use the first pos you find 345678953456789None:/Generate a lambda, but prettier (if possible). D Generally no lambda is good, but removing just some arguments isn' t so useful. ;<Convert expressions which have redundant junk in them away. @ Mainly so that later stages can match on fewer alternatives. :<;:<;:<;None=>?@ABCDEFGHIJKLMND=>?A@BCDEFGHIJKLMNNoneOPQRSOPQRSOPQRSNoneTU TUTU None VApply hints to a single file. W.Apply hints to the contents of a single file. XBApply hints to multiple files, allowing cross-file hints to fire. YcGiven a list of settings (a way to classify) and a list of hints, run them over a list of modules. ZLike [$, but also load the file from disk. [cReturn either an idea (a parse error) or the module. In IO because might call the C pre processor. \VGiven a line number, and some source code, put bird ticks around the appropriate bit. ]-Find which hints a list of settings implies. ^JGiven some settings, make sure the severity field of the Idea is correct. VWXYZ[\]^VWX VWXYZ[\]^!None_;Given a set of hints, do all the MatchExp hints type check `-First string may have stars in it (the want) abcdefghijklmnopqr_stuv`wxmabcdefghijklmnopqr_stuv`wx"Noneyz{|}zyz{|}#NoneA suggestion - the Show instance is of particular use. ;From a suggestion, extract the file location it refers to. /From a suggestion, determine how severe it is. YThis function takes a list of command line arguments, and returns the given suggestions. # To see a list of arguments type  hlint --help at the console. % This function writes to the stdout/stderr streams, unless --quiet is specified. As an example: 9 do hints <- hlint ["src", "--ignore=Use map","--quiet"] 6 when (length hints > 3) $ error "Too many hints!" ~~None$%&'#(#)#*#+,-./0123423523623723823923:23;2<=2<>2<?2@A2@B2@C2@D2@E2@F2@G2@H2@I2@J2@K2@L2@M2@N2@O2@P2@Q2@R2ST2SU2VW2VX2VY2VZ2V[2V\2V]2V^2V_2V`2Va2Vb2Vc2Vd2Ve2Vf2Vg2Vh2Vi2Vj2Vj2Vk2lm2ln2op2oq2or2os2ot2ou2ov2ow2ox2oy2oz2o{2o|2o}2o~2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o2o222222222222 2 2  2  2  2 2 2 2 22222222222222 2!2"2#2$2%2&2'2(2)2*2+2,2-2.2/202122232425262728292:2;2<2=2>2?2@2A2B2C2D2E2F2G2H2I2J2K2L2M2N2O2P2Q2R2S2T2U2V2W2X2Y2Z2[2\2]2^2_2`2a2b2c2d2e2f2g2h2i2j2k2l2m2n2o2p2q2r2s2t2u2v2wx2wy2z{2z{2|}2|~2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2|2222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222 2 2 2 2 2222222222222222222222 2!2"2#2$2%2&2&2'2'2(2)2*2+2,2-2.2/202122232425262728292:2;2<2=2>2?2@2A2B2C2D2E2F2G2H2I2J2K2L2M2N2O2P2Q2R2S2T2U2V2W2X2Y2Y2Z2[2\2]2]2^2_2^2`2`2a2b2c2a2d2d2e2e2f2g2h2i252j2k2l2m262n2o2p2q2r2s2t2u2u2v2w2x2y2z2{2|2}2~2222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222 2 2 2 2 22222222222222222222 2!2"2#2$2%2&2'2(2)2*2+2,2-2.2/20212223242/252627252828292:2:2;2;2<2=2>?@A?@B?@C?@D?@E?@F?@F?@G?@H?@I?@JKLMKLNKLOKPQKPRKPSKPTKPUKPVKPWKPXKPYKPZKP[KP\KP]KP^KP_KP`KPaKPbKPcKPdKPeKPfKPgKPhKPijklmnnopqrstuvwxyz{|}~       !"#$%&'()*+,-./0123456789 : ; < = > ? @ 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 [ \ ] ^ _ ` a b c d e f g h i  ' j  k l m n o p q r " s t u ! v w x x y z { | } ~                             !"#$%&'()*+,-./01123456789::;<=>>?@ABCDEFGHIJKLMNOP Q R S T U V W X Y!Z![!!!!!\!\!]!^!_!`!a!b!c!d!e!f!g!h!i!j!k!l!m!n!o!p"q"r"s"t"u#(#v#w#x#yz hlint-1.8.53Language.Haskell.HLintHSE.Type HSE.FreeVarsHSE.Util HSE.Match HSE.NameMatchParallelUtil HSE.Bracket HSE.Evaluate Paths_hlintCmdLineHSE.AllSettingsIdeaProof Hint.Type Hint.Match Hint.List Hint.Monad Hint.Bracket Hint.NamingHint.Structure Hint.Import Hint.PragmaHint.ExtensionsHint.Duplicate Hint.Util Hint.ListRec Hint.LambdaHint.AllApplyTestReportHLintSeverityErrorWarningIgnore SuggestionsuggestionLocationsuggestionSeverityhlintType_Pat_Exp_Decl_Module_Shaskell-src-exts-1.14.0Language.Haskell.Exts.AnnotatedreadExtensionsparseFileContentsWithCommentsparseFileContentsWithModeparseFileContentsWithExtsparseFileContentsparseFileWithCommentsparseFileWithModeparseFileWithExtsLanguage.Haskell.Exts.ParserparseWithComments parseWithMode Parseable$Language.Haskell.Exts.InternalParserparseStmtWithCommentsparseStmtWithMode parseStmtparseTypeWithCommentsparseTypeWithMode parseTypeparseDeclWithCommentsparseDeclWithMode parseDeclparsePatWithCommentsparsePatWithModeparsePatparseExpWithCommentsparseExpWithModeparseExpparseModuleWithCommentsparseModuleWithMode parseModule&Language.Haskell.Exts.Annotated.Fixity applyFixities AppFixityLanguage.Haskell.Exts.Pretty prettyPrintprettyPrintWithModeprettyPrintStyleMode defaultMode PPOffsideRule PPSemiColonPPInLine PPNoLayoutPPLayoutIndent linePragmaslayoutspacing onsideIndent whereIndent letIndent caseIndentdoIndent classIndentPPHsModePrettyLanguage.Haskell.Exts.LexerlexTokenStreamWithModelexTokenStream#Language.Haskell.Exts.InternalLexerVarIdQVarId IDupVarId ILinVarIdConIdQConIdDVarIdVarSymConSymQVarSymQConSymIntTokFloatTok Character StringTok IntTokHash WordTokHash FloatTokHash DoubleTokHash CharacterHash StringHash LeftParen RightParen LeftHashParenRightHashParen LeftCurlyBar RightCurlyBar SemiColon LeftCurly RightCurly VRightCurly LeftSquare RightSquareComma Underscore BackQuoteDotDotDotColon DoubleColonEquals BackslashBar LeftArrow RightArrowAtTilde DoubleArrowMinus ExclamationStar LeftArrowTailRightArrowTailLeftDblArrowTailRightDblArrowTail THExpQuote THPatQuote THDecQuote THTypQuote THCloseQuote THIdEscape THParenEscape THVarQuote THTyQuote THQuasiQuote RPGuardOpen RPGuardCloseRPCAt XCodeTagOpen XCodeTagClose XStdTagOpen XStdTagClose XCloseTagOpenXEmptyTagClose XChildTagOpenXPCDATA XRPatOpen XRPatClose PragmaEndRULESINLINEINLINE_CONLIKE SPECIALISESPECIALISE_INLINESOURCE DEPRECATEDWARNINGSCC GENERATEDCOREUNPACKOPTIONSLANGUAGEANNKW_AsKW_ByKW_CaseKW_ClassKW_Data KW_Default KW_DerivingKW_DoKW_MDoKW_Else KW_Family KW_ForallKW_Group KW_HidingKW_If KW_ImportKW_InKW_Infix KW_InfixL KW_InfixR KW_InstanceKW_Let KW_Module KW_NewTypeKW_OfKW_ProcKW_RecKW_ThenKW_TypeKW_UsingKW_Where KW_Qualified KW_Foreign KW_ExportKW_Safe KW_Unsafe KW_ThreadsafeKW_Interruptible KW_StdCallKW_CCall KW_CPlusPlus KW_DotNetKW_JvmKW_JsKW_CApiEOFToken Language.Haskell.Exts.ParseMonaddefaultParseModefromParseResultParseOk ParseFailed ParseResultfixitiesignoreLinePragmasignoreLanguagePragmas extensions baseLanguage parseFilename ParseModeLanguage.Haskell.Exts.Fixityinfix_infixl_infixr_ baseFixitiespreludeFixitiesFixityLanguage.Haskell.Exts.Syntax AssocNone AssocLeft AssocRightAssocLanguage.Haskell.Exts.ExtensiontoExtensionListprettyExtensionparseExtensionclassifyExtensiondeprecatedExtensionsknownExtensions ghcDefault glasgowExts impliesExtsprettyLanguageclassifyLanguageknownLanguages Haskell98 Haskell2010HaskellAllDisabledUnknownLanguageLanguageEnableExtensionDisableExtensionUnknownExtension ExtensionOverlappingInstancesUndecidableInstancesIncoherentInstances RecursiveDoParallelListCompMultiParamTypeClassesMonomorphismRestrictionFunctionalDependencies Rank2Types RankNTypesPolymorphicComponentsExistentialQuantificationScopedTypeVariablesPatternSignaturesImplicitParamsFlexibleContextsFlexibleInstancesEmptyDataDeclsCPPKindSignatures BangPatternsTypeSynonymInstancesTemplateHaskellForeignFunctionInterfaceArrowsGenericsImplicitPreludeNamedFieldPuns PatternGuardsGeneralizedNewtypeDerivingExtensibleRecordsRestrictedTypeSynonyms HereDocuments MagicHash TypeFamiliesStandaloneDeriving UnicodeSyntaxUnliftedFFITypesLiberalTypeSynonyms TypeOperatorsRecordWildCards RecordPunsDisambiguateRecordFieldsOverloadedStringsGADTs MonoPatBindsRelaxedPolyRecExtendedDefaultRules UnboxedTuplesDeriveDataTypeableConstrainedClassMethodsPackageImportsImpredicativeTypesNewQualifiedOperatorsPostfixOperators QuasiQuotesTransformListComp ViewPatterns XmlSyntaxRegularPatterns TupleSectionsGHCForeignImportPrimNPlusKPatternsDoAndIfThenElseRebindableSyntaxExplicitForAllDatatypeContextsMonoLocalBinds DeriveFunctorDeriveTraversableDeriveFoldableNondecreasingIndentationInterruptibleFFICApiFFIKnownExtension*Language.Haskell.Exts.Annotated.ExactPrint exactPrintExactPLanguage.Haskell.Exts.CommentsCommentLanguage.Haskell.Exts.SrcLoc<^^><**<+?><++> combSpanInfoinfoSpan noInfoSpanspanSize isNullSpan mergeSrcSpan mkSrcSpan srcSpanEnd srcSpanStartnoLoc srcColumnsrcLine srcFilenameSrcLocsrcSpanEndColumnsrcSpanEndLinesrcSpanStartColumnsrcSpanStartLinesrcSpanFilenameSrcSpanunLocLoc srcInfoPoints srcInfoSpan SrcSpanInfo startColumn startLinefileName getPointLoc fromSrcInfo toSrcInfoSrcInfo%Language.Haskell.Exts.Annotated.Build metaConPat metaFunctionnameBind patBindWherepatBind simpleFunsfungenNameswildcardnoBindsbindsletStmtgenStmtqualStmtpParenpeListeListlistEaltGWaltcaseEletElamEdoEintPcharPstrPintEcharEstrEfunction pvarTuplevarTuplepTupletuplepAppappFuninfixAppapppvarqvaropvarsymname&Language.Haskell.Exts.Annotated.Syntax=~= tuple_tyconunboxed_singleton_tycon list_tycon fun_tycon unit_tycontuple_tycon_nameunboxed_singleton_tycon_namelist_tycon_namefun_tycon_nameunit_tycon_name family_name forall_namejs_namejvm_name dotnet_namecplusplus_name ccall_name stdcall_namethreadsafe_name unsafe_name safe_name export_name star_namedot_name bang_name minus_name hiding_namequalified_nameas_nameunboxed_singleton_con tuple_conunit_conunboxed_singleton_con_namelist_cons_nametuple_con_name unit_con_name main_namemain_mod prelude_mod ModuleNameUnitConListConFunConTupleConConsUnboxedSingleCon SpecialConQualUnQualSpecialQNameIdentSymbolNameIPDupIPLinIPNameQVarOpQConOpQOpVarOpConOpOpVarNameConNameCNameModuleXmlPage XmlHybrid ModuleHeadExportSpecListEVarEAbs EThingAll EThingWithEModuleContents ExportSpec importSpecsimportAs importPkg importSrcimportQualified importModule importAnn ImportDeclImportSpecListIVarIAbs IThingAll IThingWith ImportSpecTypeDecl TypeFamDeclDataDecl GDataDecl DataFamDecl TypeInsDecl DataInsDecl GDataInsDecl ClassDeclInstDecl DerivDecl InfixDecl DefaultDecl SpliceDeclTypeSigFunBindPatBindForImpForExpRulePragmaDeclDeprPragmaDeclWarnPragmaDecl InlineSigInlineConlikeSigSpecSig SpecInlineSigInstSig AnnPragmaDeclAnnTypeAnn ModuleAnn AnnotationDataTypeNewType DataOrNewDHeadDHInfixDHParenDeclHeadIHeadIHInfixIHParenInstHeadDerivingBDeclsIPBindsBindsIPBindMatch InfixMatch QualConDeclConDecl InfixConDeclRecDecl FieldDeclGadtDeclClsDecl ClsDataFamClsTyFamClsTyDefInsDeclInsTypeInsDataInsGDataBangedTy UnBangedTy UnpackedTyBangType UnGuardedRhs GuardedRhssRhs GuardedRhsTyForallTyFunTyTupleTyListTyAppTyVarTyConTyParenTyInfixTyKindTypeBoxedUnboxed KindedVar UnkindedVar TyVarBindKindStarKindBangKindFn KindParenKindVarKindFunDepCxSingleCxTupleCxParenCxEmptyContextClassAInfixAIParamEqualPAsstCharStringIntFracPrimIntPrimWord PrimFloat PrimDoublePrimChar PrimStringLiteralVarIPVarConLitInfixAppAppNegAppLambdaLetIfCaseDoMDoTuple TupleSectionListParen LeftSection RightSection RecConstr RecUpdateEnumFrom EnumFromTo EnumFromThenEnumFromThenToListCompParComp ExpTypeSigVarQuoteTypQuote BracketExp SpliceExp QuasiQuoteXTagXETagXPcdataXExpTag XChildTag CorePragma SCCPragma GenPragmaProc LeftArrApp RightArrAppLeftArrHighAppRightArrHighAppExpXNameXDomNameXAttr ExpBracket PatBracket TypeBracket DeclBracketBracketIdSplice ParenSpliceSplice PlayRiskyPlaySafePlayInterruptibleSafetyStdCallCCall CPlusPlusDotNetJvmJsCApiCallConvLanguagePragma OptionsPragmaAnnModulePragma ModulePragmaGHCHUGSNHC98YHCHADDOCK UnknownToolTool ActiveFrom ActiveUntil ActivationRuleRuleVar TypedRuleVarDeprTextWarnText WarningTextPVarPLitPNegPNPlusK PInfixAppPAppPTuplePListPParenPRecPAsPat PWildCardPIrrPat PatTypeSigPViewPatPRPatPXTagPXETagPXPcdataPXPatTagPXRPats PExplTypeArg PQuasiQuotePBangPatPatPXAttrRPStarRPStarGRPPlusRPPlusGRPOptRPOptGRPatOpRPOpRPEitherRPSeqRPGuardRPCAsRPAsRPParenRPPatRPat PFieldPat PFieldPunPFieldWildcardPatField Generator QualifierLetStmtRecStmtStmtQualStmt ThenTransThenByGroupBy GroupUsing GroupByUsing FieldUpdateFieldPun FieldWildcardAlt UnGuardedAlt GuardedAlts GuardedAltamapann Annotatedpretty-1.1.1.0Text.PrettyPrint.HughesPJMode OneLineModeLeftMode ZigZagModePageModeStylemode lineLengthribbonsPerLinestyleuniplate-1.6.11$Data.Generics.Uniplate.Internal.Data transformBis transformer Transformer!Data.Generics.Uniplate.OperationsholesBi contextsBi rewriteBiM rewriteBi transformBiM transformBi childrenBi universeBiparaholescontextsrewriteMrewrite transformM transformchildrenuniversedescendMdescenduniplateUniplate descendBiM descendBibiplateBiplatefreeVarsallVarsFreeVarsAllVarsVarsboundfreedeclBindvarsvarsspvars^+^- freeVars_inFreeinVars unqualNamesunqualOp$fFreeVarsIPBind $fFreeVars[]$fAllVarsMatch $fAllVars[] $fAllVarsDecl $fAllVars[]0$fAllVarsBinds$fAllVarsMaybe $fAllVarsStmt $fAllVars[]1 $fAllVars[]2$fAllVarsQualStmt$fFreeVarsGuardedRhs $fFreeVarsRhs$fFreeVarsGuardedAlt$fFreeVarsGuardedAlts $fFreeVars[]0 $fFreeVarsAlt $fAllVars[]3 $fAllVarsPat $fFreeVars[]1 $fFreeVarsExp $fAllVarsVars $fFreeVarsSet $fMonoidVarsopExpexpOp moduleDecls moduleName moduleImports modulePragmasfromModuleNameisCharfromCharisString fromString isPString fromPString fromParen fromPParen fromTyParen fromDerivingisVarisConisApp isInfixAppisListisAnyAppisParenisIfisLambdaisMDoisBoxed isDerivDecl isPBangPatisPExplTypeArg isPFieldPun isFieldPun isPWildCardisPFieldWildcardisFieldWildcard isPViewPat isParComp isPatTypeSig isQuasiQuote isSpliceDecl isNewType isSectionallowRightSectionallowLeftSectionunqualfromQual isSpecialisDolisDotisDotAppdotAppdotAppsisLexemeisWHNF getEquations toFunBindfromGuardedAlts toGuardedAltsreplaceBranchesappsfromApps childrenApps descendApps descendAppsM universeApps transformAppstransformAppsM universeS childrenSuniverseParentExp showSrcLoctoSrcLoc nullSrcLocandropAnn/=~=elem_notElem_nub_ intersect_neqListeqListeqMaybe getFixityNamedtoNamed fromNamedVar_NoVar_PVar_NoPVar_App1NoApp1App2NoApp2Viewview~=isCtorisSym $fNamedDecl$fNamedDeclHead $fNamedMatch $fNamedQOp$fNamedTyVarBind $fNamedPat$fNamedModuleName $fNamedName $fNamedName0 $fNamedQName $fNamedQName0 $fNamedExp $fViewExpVar_$fViewPatPVar_ $fViewExpApp1 $fViewExpApp2Scope NameMatch moduleScope emptyScope scopeImports nameMatch nameQualify possModules possImportparallel parallel1 parallelNEncodingBoxEncoding_InternalgetDirectoryContentsRecursive partitionM concatMapMconcatMconcatZipWithMlistM'notNullheadDefisLeft_isRight_ unzipEitherforlimitltrimtrimBy groupSortFstdisjointunsnocrevTake concatUnzipswapdefaultEncodingreadFileEncoding newEncoding exitMessage captureOutput readFile'gzip descendIndexuniverseParentuniverseParentBidefaultExtensions badExtensionsisAtom needBracketparendescendBracket rebracket1BracketsremParenaddParentransformBracket appsBracket $fBracketsPat$fBracketsType $fBracketsExpevaluate evaluate1catchIOversionbindirlibdirdatadir libexecdir getBinDir getLibDir getDataDir getLibexecDirgetDataFileNamecmdTestcmdFiles cmdHintFiles cmdGivenHints cmdWithHints cmdReports cmdIgnore cmdShowAllcmdColorcmdCpp cmdDataDir cmdEncoding cmdFindHints cmdLanguagecmdQuietcmdCrosscmdProofgetCmdOptsAnsiCrossQuiet FindHintsDataDirExt SimpleCppIncludeDefineColorShowAllSkipPathWithHintHintsVerHelpCmdCppFlagsCpphs CppSimpleNoCppopts exitWithHelp versionTexthelpText<\>getFile getModule getHintFile getExtensions readExtension parseString ParseFlagscppFlagslanguageencodinginfixes parseFlagsparseFlagsNoLocationsrunCpp parseFile parseResult applyFixity cheapFixities askFixitySettingInfixBuiltinMatchExpscopelhsrhssidenotesClassify severityShintSfuncSNote ValidInstance RemovesErrorDecreasesLazinessIncreasesLazinessFuncNamedefaultHintName getSeverity isUnifyVaraddInfix showNotes isClassify isMatchExp readSettings readHints readSetting readPragmareadSide readFuncsgetNameserrorOn findSettings findSettingfindExp $fShowNote ParseErrormsgfuncseverityhintlocfromtonote isParseErrorshowANSIshowExrawIdeaideawarnerr $fShowIdeaclassifyMissingTheoremoriginallocationlemmaproof missingFuncsisabelleTheoremsreparen hintTheorems $fShowTheorem $fEqTheoremHint CrossHint crossHintModuHintmoduHintDeclHintdeclHintfmapAn readMatchreadRule dotVersion findIdeas matchIdeaunifyunifyDefunifyExpunifyPatisOtherchecksubst checkSide checkDefine performEval unqualify addBracketlistHintlistDecllistExpisAppendchecks useStringuseListuseCons typeListChar typeString stringTypebadFuncs monadHintmonadExp monadCall monadReturn monadJoinmonadLetfromRet bracketHintbracket fieldDecldollar splitInfix namingHintnamingshorten suggestName replaceNamesPattern structureHinthintsasGuards asPatternpatHintexpHint importHintwrapsimplify simplifyHeadreducereduce1newNames hierarchy desugarQual multiExport pragmaHint pragmaIdea languageDupes strToLanguage optToLanguagederivesextensionsHintminimalExtensionswarningsusedExtused hasDeriveun&hasThasT2hasShasDupe duplicateHintdupesfindaddduplicateOrdered niceLambda simplifyExp niceDotAppBranchBListBConsBNilListCase listRecHint recursiveStr recursive matchListRecasDofindCasedelCons eliminateArgs findBranchfindPatreadPat lambdaHint lambdaDecl etaReduce lambdaExp fromLambda staticHints dynamicHints applyHintFileapplyHintStringapplyHintFiles executeHintsparseModuleFileparseModuleStringcontextallHintsclassifytypeCheckHints matchStarResult _failures_totalpassfailureresultresultsprogressfailedtest testHintFiles testHintFiletestSourceFilestestInputOutputnameCheckHintscheckAnnotations parseTestFile parseTestcheckInputOutput matchStarStar$fMonoidResult writeTemplate writeReportcode writeIdea escapeHTMLfromSuggestionreadAllSettingsrunHints$fShowSuggestion