.{N"None 1 !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./012345678  NoneV9:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~V9:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~V9:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~NonefromNamed 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 $$"None4Is 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 Add/=remove brackets as suggested needBracket at 1-level of depth    None  Safe-Inferred   Nonerun in test mode? /which files to run it on, nothing = none given which settingsfiles to use *which settignsfiles were explicitly given )hints that are given on the command line where to generate reports the hints to ignore display all skipped items color the result options for CPP the data directory  the text encoding  "source files to look for hints in  #the extensions (may be prefixed by No)  supress all console output  Swork between source files, applies to hints such as duplicate code between modules  a proof script to check against *Exit out if you need to display help info 9 !"#$%&'(     )*+,-./0123456'(     )*+,.&%$#"! '(     ),+*-./0123456 None7Parse a Haskell module 89:;<=>?@7ABCDE !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./012345678 9:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~89:;<=>?7AB 89:;<=>?@7ABCDE 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. +FGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijkl FGHIJKLMNOPQRSTUVWXYZ\^_`adiFOIHGPQRPQJKLMNSXWVUTYZ[\]^_`abcdefghijklNonemnopqrstuvwxyz{|}~STUVWX^mnopqrstuvwxyz{|}~ mpnqrstuvwrstouxyz{|}~NoneGuess why a theorem is missing  None  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./012345678 9:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~89:;<=>?7ABSTUVWX^mnopqrstuvwxyz{|}~NoneNone   NoneNoneNoneNoneNone   NoneNone   NoneRThe 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 None/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. NoneNoneNone      None  Apply hints to a single file.  .Apply hints to the contents of a single file.  BApply hints to multiple files, allowing cross-file hints to fire. cGiven a list of settings (a way to classify) and a list of hints, run them over a list of modules. Like $, 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.            None;Given a set of hints, do all the MatchExp hints type check -First string may have stars in it (the want)  !"#$%&'()*+,-" !"#$%&'()*+,-!None./012/./012"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!" 3456734567None8 # $ % &"'"(")"*+,-./012312412512612712812912:1;<1;=1;>1?@1?A1?B1?C1?D1?E1?F1?G1?H1?I1?J1?K1?L1?M1?N1?O1?P1?Q1RS1RT1UV1UW1UX1UY1UZ1U[1U\1U]1U^1U_1U`1Ua1Ub1Uc1Ud1Ue1Uf1Ug1Uh1Ui1Ui1Uj1kl1km1no1np1nq1nr1ns1nt1nu1nv1nw1nx1ny1nz1n{1n|1n}1n~1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n1n111111111111111 1 1 1 1 1 1 1 1 11111111111111 1!1"1#1$1%1&1'1(1)1*1+1,1-1.1/101112131415161718191:1;1<1=1>1?1@1A1B1C1D1E1F1G1H1I1J1K1L1M1N1O1P1Q1R1S1T1U1V1W1X1Y1Z1[1\]1\^1_`1_`1ab1ac1ad1ae1af1ag1ah1ai1aj1ak1al1am1an1ao1ap1aq1ar1as1at1at1au1av1aw1ax1ay1az1az1a{1a|1a|1a}1a~1a1a1a1a1a1a1a1a1a1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 1 1 1 1 1 1 1111111111111111111 1!1"1#1$1%1&1'1(1)1*1+1,1-1.1/101112131415161718191:1;1<1=1>1>1?1@1A1B1B1C1D1C1E1E1F1G1H1F1I1I1J1J1K1L1M1N11O1P1Q1R11S1T1U1V1W1X1Y1Z1Z1[1\1]1^1_1`1a1b1c1d1e1f1g1f1h1i1j1k1l1m1n1o1p1q1q1r1s1t1u1v1w1x1y1z1{1|1}1~111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 1 1 1 1 111111111111111111111111 1!"#$"#%"#&"#'"#("#)"#)"#*"#+"#,"#-./0./1./2.34.35.36.37.38.39.3:.3;.3<.3=.3>.3?.3@.3A.3B.3C.3D.3E.3F.3G.3H.3I.3J.3K.3LMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                   !  " #  $ % & ' ( ) * + ! , - .  / 0 1 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A 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 stuvwxyz{|}~n                          ! " # $ % &!'!(!)!*!+"'","-"."/0 hlint-1.8.49Language.Haskell.HLintHSE.TypeHSE.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.13.5Language.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_Threadsafe KW_StdCallKW_CCall KW_CPlusPlus KW_DotNetKW_JvmKW_JsEOFToken Language.Haskell.Exts.ParseMonaddefaultParseModefromParseResultParseOk ParseFailed ParseResultfixitiesignoreLinePragmasignoreLanguagePragmas extensions parseFilename ParseModeLanguage.Haskell.Exts.Fixityinfix_infixl_infixr_ baseFixitiespreludeFixitiesFixityLanguage.Haskell.Exts.Syntax AssocNone AssocLeft AssocRightAssocLanguage.Haskell.Exts.ExtensionclassifyExtensionknownExtensions haskell2010 haskell98 glasgowExts impliesExtsOverlappingInstancesUndecidableInstancesIncoherentInstances RecursiveDoParallelListCompMultiParamTypeClassesNoMonomorphismRestrictionFunctionalDependenciesExplicitForAll Rank2Types RankNTypesPolymorphicComponentsExistentialQuantificationScopedTypeVariablesImplicitParamsFlexibleContextsFlexibleInstancesEmptyDataDeclsCPPKindSignatures BangPatternsTypeSynonymInstancesTemplateHaskellForeignFunctionInterfaceArrowsGenericsNoImplicitPreludeNamedFieldPuns PatternGuardsGeneralizedNewtypeDerivingExtensibleRecordsRestrictedTypeSynonyms HereDocuments MagicHash TypeFamiliesStandaloneDeriving UnicodeSyntaxPatternSignaturesUnliftedFFITypesLiberalTypeSynonyms TypeOperatorsRecordWildCards RecordPunsDisambiguateRecordFieldsOverloadedStringsGADTs MonoPatBindsNoMonoPatBindsRelaxedPolyRecExtendedDefaultRules UnboxedTuplesDeriveDataTypeableConstrainedClassMethodsNPlusKPatternsPackageImportsDoAndIfThenElseImpredicativeTypesNewQualifiedOperatorsPostfixOperators QuasiQuotesTransformListComp ViewPatterns XmlSyntaxRegularPatterns TupleSectionsUnknownExtension Extension*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 PlayRiskyPlaySafeSafetyStdCallCCall CPlusPlusDotNetJvmJsCallConvLanguagePragma 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.10$Data.Generics.Uniplate.Internal.Data transformBis transformer Transformer!Data.Generics.Uniplate.OperationsholesBi contextsBi rewriteBiM rewriteBi transformBiM transformBi childrenBi universeBiparaholescontextsrewriteMrewrite transformM transformchildrenuniversedescendMdescenduniplateUniplate descendBiM descendBibiplateBiplateopExpexpOp moduleDecls moduleName moduleImports modulePragmasfromModuleNameisCharfromCharisString fromString isPString fromPString fromParen fromPParen fromTyParenisVarisConisApp isInfixAppisListisAnyAppisParenisIfisLambdaisMDoisBoxed isDerivDecl isPBangPatisPExplTypeArg isPFieldPun isFieldPun isPWildCardisPFieldWildcardisFieldWildcard isPViewPat isParComp isPatTypeSig isQuasiQuote isSpliceDecl isSectiondeclBindallowRightSectionallowLeftSectionunqualfromQual isSpecialisDolisDotisDotAppdotAppdotAppsisLexemeisWHNF getEquations toFunBindfromGuardedAlts toGuardedAltsreplaceBranchesappsfromApps childrenApps descendApps descendAppsM universeApps transformAppstransformAppsM universeS childrenSvarspvarsuniverseParentExp 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'notNullheadDefisLeftisRight unzipEitherforlimitltrimtrimBy groupSortFstdisjointunsnocrevTakeswapdefaultEncodingreadFileEncoding 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 cmdLanguagecmdQuietcmdCrosscmdProofgetCmdOptsAnsiCrossQuietLanguage 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 optToLanguageextensionsHintminimalExtensionswarningsusedun&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