| addTimeoutMessage | Wingman.AbstractLSP.TacticActions |
| AgdaMatch | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| algebraicTyCon | Wingman.GHC |
| allEvidenceToSubst | Wingman.Judgements.Theta |
| allNames | Wingman.Tactics |
| allOccNames | Wingman.GHC |
| AlreadyDestructed | Wingman.Types |
| AMatch | Wingman.GHC |
| amBody | Wingman.Types |
| amPats | Wingman.Types |
| Ann | Wingman.Metaprogramming.ProofState |
| annotateMetaprograms | Wingman.LanguageServer |
| appDollar | Wingman.CodeGen.Utils, Wingman.CodeGen |
| application | Wingman.Tactics |
| apply | Wingman.Tactics |
| applyByName | Wingman.Tactics |
| applyByType | Wingman.Tactics |
| applyMethod | Wingman.Tactics |
| assume | Wingman.Tactics |
| assumption | Wingman.Tactics |
| attemptOn | Wingman.Tactics |
| attemptWhen | Wingman.Machinery |
| attempt_it | Wingman.Metaprogramming.Parser |
| Auto | Wingman.Types |
| auto | Wingman.Auto |
| auto' | Wingman.Tactics |
| BeginMetaprogram | Wingman.Types |
| Bind | Wingman.Metaprogramming.Parser.Documentation |
| bindOne | Wingman.Tactics |
| blacklistingDestruct | Wingman.Judgements |
| blockComment | Wingman.Metaprogramming.Lexer |
| braces | Wingman.Metaprogramming.Lexer |
| brackets | Wingman.Metaprogramming.Lexer |
| buildDataCon | Wingman.CodeGen |
| buildHypothesis | Wingman.Judgements |
| buildPatHy | Wingman.LanguageServer |
| buildTopLevelHypothesis | Wingman.LanguageServer |
| bvar' | Wingman.CodeGen.Utils, Wingman.CodeGen |
| camelTerms | Wingman.Naming |
| canUnify | Wingman.Machinery |
| Case | Wingman.GHC |
| cata | Wingman.Tactics |
| cfg_auto_gas | Wingman.Types |
| cfg_max_use_ctor_actions | Wingman.Types |
| cfg_proofstate_styling | Wingman.Types |
| cfg_timeout_seconds | Wingman.Types |
| ClassMethodPrv | Wingman.Types |
| cloneTyVar | Wingman.GHC |
| codeFence | Wingman.Metaprogramming.Parser.Documentation |
| coerceName | Wingman.CodeGen.Utils, Wingman.CodeGen |
| collapse | Wingman.Tactics |
| command | Wingman.Metaprogramming.Parser.Documentation |
| commandProvider | Wingman.LanguageServer.TacticProviders |
| commands | Wingman.Metaprogramming.Parser |
| commandTactic | Wingman.LanguageServer.TacticProviders |
| Config | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| conLikeExTys | Wingman.CodeGen |
| conLikeInstOrigArgTys' | Wingman.CodeGen |
| consume | Refinery.Future |
| consumeChan | Wingman.Machinery |
| containsHole | Wingman.GHC |
| containsHsVar | Wingman.GHC |
| Context | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| Continuation | |
| 1 (Data Constructor) | Wingman.Naming |
| 2 (Type/Class) | Wingman.AbstractLSP.Types |
| 3 (Data Constructor) | Wingman.AbstractLSP.Types |
| ContinuationResult | Wingman.AbstractLSP.Types |
| Count | Wingman.Metaprogramming.Parser.Documentation |
| count | Wingman.Metaprogramming.ProofState |
| countFinished | Wingman.Metaprogramming.ProofState |
| createImportedHyInfo | Wingman.Machinery |
| ctxConfig | Wingman.Types |
| ctxDefiningFuncs | Wingman.Types |
| ctxFamInstEnvs | Wingman.Types |
| ctxInstEnvs | Wingman.Types |
| ctxModuleFuncs | Wingman.Types |
| ctxTheta | Wingman.Types |
| ctx_hscEnv | Wingman.Types |
| ctx_module | Wingman.Types |
| ctx_occEnv | Wingman.Types |
| CType | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| cut | Wingman.Machinery |
| c_makeCommand | Wingman.AbstractLSP.Types |
| c_runCommand | Wingman.AbstractLSP.Types |
| c_sort | Wingman.AbstractLSP.Types |
| deep | Wingman.Tactics |
| deepening | Wingman.Tactics |
| defaultTacticState | Wingman.Types |
| deriveArbitrary | Wingman.KnownStrategies.QuickCheck |
| deriveFmap | Wingman.KnownStrategies |
| deriveMappend | Wingman.KnownStrategies |
| deriveMempty | Wingman.KnownStrategies |
| descriptor | Wingman.Plugin, Ide.Plugin.Tactic |
| Destruct | Wingman.Types |
| destruct | Wingman.Tactics |
| destruct' | Wingman.CodeGen |
| DestructAll | Wingman.Types |
| destructAll | Wingman.Tactics |
| destructAuto | Wingman.Tactics |
| destructionFor | Wingman.CodeGen |
| DestructLambdaCase | Wingman.Types |
| destructLambdaCase | Wingman.Tactics |
| destructLambdaCase' | Wingman.CodeGen |
| destructMatches | Wingman.CodeGen |
| destructOrHomoAuto | Wingman.Tactics |
| DestructPun | Wingman.Types |
| destructPun | Wingman.Tactics |
| Determinism | Wingman.Metaprogramming.Parser.Documentation |
| Deterministic | Wingman.Metaprogramming.Parser.Documentation |
| DisallowedPrv | Wingman.Types |
| disallowing | Wingman.Judgements |
| DisallowReason | Wingman.Types |
| doesTypeContain | Wingman.KnownStrategies.QuickCheck |
| dropEveryOther | Wingman.Types |
| EHI | Wingman.Metaprogramming.Parser.Documentation |
| ehi_name | Wingman.Metaprogramming.Parser.Documentation |
| ehi_type | Wingman.Metaprogramming.Parser.Documentation |
| EmptyCase | Wingman.EmptyCase |
| emptyCaseInteraction | Wingman.EmptyCase |
| emptyCaseQ | Wingman.EmptyCase |
| emptyCaseScrutinees | Wingman.EmptyCase |
| EmptyCaseSort | Wingman.EmptyCase |
| EmptyCaseT | |
| 1 (Type/Class) | Wingman.EmptyCase |
| 2 (Data Constructor) | Wingman.EmptyCase |
| emptyConfig | Wingman.Types |
| emptyContext | Wingman.Types |
| EmptyLamCase | Wingman.EmptyCase |
| enableQuasiQuotes | Wingman.StaticPlugin |
| eqRdrName | Wingman.GHC |
| ErrorMessages | Wingman.AbstractLSP.Types |
| everythingContaining | Wingman.Judgements.SYB |
| Evidence | Wingman.Judgements.Theta |
| evidenceToCoercions | Wingman.Judgements.Theta |
| evidenceToHypothesis | Wingman.Judgements.Theta |
| evidenceToSubst | Wingman.Judgements.Theta |
| evidenceToThetaType | Wingman.Judgements.Theta |
| exact | Wingman.Machinery |
| Example | |
| 1 (Type/Class) | Wingman.Metaprogramming.Parser.Documentation |
| 2 (Data Constructor) | Wingman.Metaprogramming.Parser.Documentation |
| ExampleHyInfo | Wingman.Metaprogramming.Parser.Documentation |
| ExampleType | |
| 1 (Type/Class) | Wingman.Metaprogramming.Parser.Documentation |
| 2 (Data Constructor) | Wingman.Metaprogramming.Parser.Documentation |
| expandDisallowed | Wingman.Judgements |
| expandTyFam | Wingman.GHC |
| ExtractM | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| extremelyStupid__definingFunction | Wingman.Judgements |
| ex_args | Wingman.Metaprogramming.Parser.Documentation |
| ex_ctx | Wingman.Metaprogramming.Parser.Documentation |
| ex_goal | Wingman.Metaprogramming.Parser.Documentation |
| ex_hyp | Wingman.Metaprogramming.Parser.Documentation |
| ex_result | Wingman.Metaprogramming.Parser.Documentation |
| fc_range | Wingman.AbstractLSP.Types |
| fc_uri | Wingman.AbstractLSP.Types |
| fetchTargetArgs | Wingman.AbstractLSP.Types |
| FileContext | |
| 1 (Type/Class) | Wingman.AbstractLSP.Types |
| 2 (Data Constructor) | Wingman.AbstractLSP.Types |
| filterAncestry | Wingman.Judgements |
| filterPosition | Wingman.Judgements |
| filterReplace | Wingman.Naming |
| filterSameTypeFromOtherPositions | Wingman.Judgements |
| findDconPositionVals | Wingman.Judgements |
| findPositionVal | Wingman.Judgements |
| fixErrorOffset | Wingman.Metaprogramming.Parser |
| forceMarkdownNewlines | Wingman.Metaprogramming.ProofState |
| freshTyvars | Wingman.GHC |
| freshUnique | Wingman.Types |
| fromMaybeT | Wingman.EmptyCase |
| fromPatCompat | Wingman.GHC |
| Function | Wingman.Naming |
| functionNames | Wingman.Naming |
| Generator | |
| 1 (Type/Class) | Wingman.KnownStrategies.QuickCheck |
| 2 (Data Constructor) | Wingman.KnownStrategies.QuickCheck |
| genericIsSubspan | Wingman.Judgements.SYB |
| genExpr | Wingman.KnownStrategies.QuickCheck |
| genRecursiveCount | Wingman.KnownStrategies.QuickCheck |
| getAllMetaprograms | Wingman.LanguageServer |
| getAlreadyDestructed | Wingman.LanguageServer |
| getAncestry | Wingman.Judgements |
| getCurrentDefinitions | Wingman.Machinery |
| getDefiningType | Wingman.Machinery |
| getEvidenceAtHole | Wingman.Judgements.Theta |
| getExampleType | Wingman.Metaprogramming.Parser.Documentation |
| getFunBindId | Wingman.Context |
| getIdeDynflags | Wingman.LanguageServer |
| getInScope | Wingman.Naming |
| getInstance | Wingman.Context |
| getKnownInstance | Wingman.Machinery |
| getMetaprogramAtSpan | Wingman.LanguageServer |
| GetMetaprograms | |
| 1 (Type/Class) | Wingman.LanguageServer |
| 2 (Data Constructor) | Wingman.LanguageServer |
| getNfp | Wingman.AbstractLSP.Types |
| getOccNameType | Wingman.Machinery |
| getPatVal | Wingman.Judgements |
| getPurposes | Wingman.Naming |
| getRecordFields | Wingman.GHC |
| getRhsPosVals | Wingman.LanguageServer |
| getSpanAndTypeAtHole | Wingman.LanguageServer |
| getStem | Wingman.Naming |
| getSubstForJudgement | Wingman.Machinery |
| getTacticConfig | Wingman.LanguageServer |
| getTyThing | Wingman.Machinery |
| getVar | Wingman.Metaprogramming.Parser.Documentation |
| getViaUnique | Wingman.Types |
| globalHoleRef | Wingman.Types |
| Goal | Wingman.Metaprogramming.ProofState |
| GoalMismatch | Wingman.Types |
| graftDecl | Wingman.AbstractLSP.TacticActions |
| GraftEdit | Wingman.AbstractLSP.Types |
| graftHole | Wingman.AbstractLSP.TacticActions |
| graftMatchGroup | Wingman.EmptyCase |
| hasClassInstance | Wingman.Context |
| hasPositionalAncestry | Wingman.Judgements |
| hi_name | Wingman.Types |
| hi_provenance | Wingman.Types |
| hi_type | Wingman.Types |
| hj_ctx | Wingman.Types |
| hj_dflags | Wingman.Types |
| hj_hole_sort | Wingman.Types |
| hj_jdg | Wingman.Types |
| hj_range | Wingman.Types |
| hoistListT | Refinery.Future |
| Hole | Wingman.Types |
| HoleJudgment | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| HoleSort | Wingman.Types |
| holeSortFor | Wingman.LanguageServer |
| HoleTarget | |
| 1 (Type/Class) | Wingman.AbstractLSP.Types |
| 2 (Data Constructor) | Wingman.AbstractLSP.Types |
| homo | Wingman.Tactics |
| homoLambdaCase | Wingman.Tactics |
| Homomorphism | Wingman.Types |
| HomomorphismLambdaCase | Wingman.Types |
| hoverProvider | Wingman.LanguageServer.Metaprogram |
| hush | Wingman.EmptyCase |
| hyByName | Wingman.Judgements |
| hyDiff | Wingman.Tactics |
| hyFilter | Wingman.Judgements |
| HyInfo | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| hyNamesInScope | Wingman.Judgements |
| Hypoth | Wingman.Metaprogramming.ProofState |
| Hypothesis | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| hypothesisFromBindings | Wingman.Judgements |
| hySingleton | Wingman.Judgements |
| ichar | Wingman.Metaprogramming.Lexer |
| identifier | Wingman.Metaprogramming.Lexer |
| idiom | Wingman.Tactics |
| idiomize | Wingman.CodeGen |
| illegalNames | Wingman.Naming |
| ImportPrv | Wingman.Types |
| infixCall | Wingman.CodeGen.Utils, Wingman.CodeGen |
| infixifyPatIfNecessary | Wingman.CodeGen |
| InfrastructureError | Wingman.Types |
| installInteractions | Wingman.AbstractLSP |
| instantiateType | Wingman.GHC |
| Integral | Wingman.Naming |
| Interaction | |
| 1 (Type/Class) | Wingman.AbstractLSP.Types |
| 2 (Data Constructor) | Wingman.AbstractLSP.Types |
| IntroAndDestruct | Wingman.Types |
| introAndDestruct | Wingman.Tactics |
| introduce | Wingman.Judgements |
| IntroduceAllUnnamed | Wingman.Tactics |
| introduceHypothesis | Wingman.Judgements |
| IntroduceOnlyNamed | Wingman.Tactics |
| IntroduceOnlyUnnamed | Wingman.Tactics |
| IntroParams | Wingman.Tactics |
| Intros | Wingman.Types |
| intros | Wingman.Tactics |
| intros' | Wingman.Tactics |
| isAlreadyDestructed | Wingman.Judgements |
| IsContinuationSort | Wingman.AbstractLSP.Types |
| isDestructBlacklisted | Wingman.Judgements |
| isDisallowed | Wingman.Judgements |
| IsFunction | Wingman.Naming |
| isFunction | Wingman.GHC |
| isHole | Wingman.GHC |
| IsList | Wingman.Naming |
| isLocalHypothesis | Wingman.Judgements |
| IsMaybe | Wingman.Naming |
| isPatternMatch | Wingman.Judgements |
| IsPredicate | Wingman.Naming |
| isRhsHoleWithoutWhere | Wingman.LanguageServer |
| isSplitWhitelisted | Wingman.Judgements |
| IsString | Wingman.Naming |
| IsTarget | Wingman.AbstractLSP.Types |
| isTopHole | Wingman.Judgements |
| isTopLevel | Wingman.Judgements |
| IsTyConned | Wingman.Naming |
| IsTyVarred | Wingman.Naming |
| iterateSplit | Wingman.CaseSplit |
| jAcceptableDestructTargets | Wingman.Judgements |
| jAncestryMap | Wingman.Judgements |
| jEntireHypothesis | Wingman.Judgements |
| jGoal | Wingman.Judgements |
| jHasBoundArgs | Wingman.Judgements |
| jHypothesis | Wingman.Judgements |
| jLocalHypothesis | Wingman.Judgements |
| jNeedsToBindArgs | Wingman.Judgements |
| jPatHypothesis | Wingman.Judgements |
| Judgement | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| Judgement' | Wingman.Types |
| judgementForHole | Wingman.LanguageServer |
| j_coercion | Wingman.Types |
| keyword | Wingman.Metaprogramming.Lexer |
| known | Wingman.KnownStrategies |
| knownClass | Wingman.Machinery |
| knownStrategies | Wingman.KnownStrategies |
| Lambda | Wingman.GHC |
| lambdaCaseable | Wingman.GHC |
| lambdaHypothesis | Wingman.Judgements |
| LamCase | Wingman.GHC |
| layout | Wingman.Metaprogramming.ProofState |
| learnFromFundeps | Wingman.Machinery |
| letBind | Wingman.Tactics |
| letForEach | Wingman.CodeGen |
| lexeme | Wingman.Metaprogramming.Lexer |
| le_config | Wingman.AbstractLSP.Types |
| le_dflags | Wingman.AbstractLSP.Types |
| le_fileContext | Wingman.AbstractLSP.Types |
| le_ideState | Wingman.AbstractLSP.Types |
| le_pluginId | Wingman.AbstractLSP.Types |
| liftMaybe | Wingman.GHC |
| lineComment | Wingman.Metaprogramming.Lexer |
| List | Wingman.Naming |
| locallyDefinedMethods | Wingman.Context |
| localTactic | Wingman.Tactics |
| Log | |
| 1 (Type/Class) | Wingman.LanguageServer |
| 2 (Type/Class) | Wingman.Plugin, Ide.Plugin.Tactic |
| LogShake | Wingman.LanguageServer |
| LogWingmanLanguageServer | Wingman.Plugin, Ide.Plugin.Tactic |
| lookupNameInContext | Wingman.Machinery |
| LspEnv | |
| 1 (Type/Class) | Wingman.AbstractLSP.Types |
| 2 (Data Constructor) | Wingman.AbstractLSP.Types |
| makeMPParser | Wingman.Metaprogramming.Parser.Documentation |
| makeParser | Wingman.Metaprogramming.Parser.Documentation |
| makeTacticInteraction | Wingman.AbstractLSP.TacticActions |
| Many | Wingman.Metaprogramming.Parser.Documentation |
| mappendIfNotNull | Wingman.Metaprogramming.Parser.Documentation |
| mappingExtract | Wingman.Machinery |
| mapTrace | Wingman.Types |
| markRecursion | Wingman.Machinery |
| matchContextFixity | Wingman.AbstractLSP.TacticActions |
| matching | Wingman.Tactics |
| Maybe | Wingman.Naming |
| MC | Wingman.Metaprogramming.Parser.Documentation |
| md_kind | Wingman.AbstractLSP.Types |
| md_preferred | Wingman.AbstractLSP.Types |
| md_title | Wingman.AbstractLSP.Types |
| Metadata | |
| 1 (Type/Class) | Wingman.AbstractLSP.Types |
| 2 (Data Constructor) | Wingman.AbstractLSP.Types |
| Metaprogram | Wingman.Types |
| metaprogram | Wingman.Tactics |
| metaprogramAtQ | Wingman.Judgements.SYB |
| MetaprogramCommand | Wingman.Metaprogramming.Parser.Documentation |
| metaprogramHoleName | Wingman.StaticPlugin |
| metaprogramQ | Wingman.Judgements.SYB |
| MetaprogramSyntax | Wingman.StaticPlugin |
| methodHypothesis | Wingman.GHC |
| mkApply | Wingman.CodeGen |
| mkArbitraryCall | Wingman.KnownStrategies.QuickCheck |
| mkCon | Wingman.CodeGen.Utils, Wingman.CodeGen |
| mkContext | Wingman.Context |
| mkDerivedConHypothesis | Wingman.LanguageServer |
| mkDerivedRecordHypothesis | Wingman.LanguageServer |
| mkDestructPat | Wingman.CodeGen |
| mkDiagnostic | Wingman.LanguageServer |
| mkEmptyCaseLensDesc | Wingman.EmptyCase |
| mkEvidence | Wingman.Judgements.Theta |
| mkFakeVar | Wingman.LanguageServer |
| mkFirstAgda | Wingman.CaseSplit |
| mkFirstJudgement | Wingman.Judgements |
| mkFunc | Wingman.CodeGen.Utils, Wingman.CodeGen |
| mkGenerator | Wingman.KnownStrategies.QuickCheck |
| mkGoodName | Wingman.Naming |
| mkIdHypothesis | Wingman.LanguageServer |
| mkJudgementAndContext | Wingman.LanguageServer |
| mkManyGoodNames | Wingman.Naming |
| mkMetaHoleName | Wingman.Types |
| mkNumericSuffix | Wingman.Naming |
| mkQ1 | Wingman.Judgements.SYB |
| mkShowMessageParams | Wingman.LanguageServer |
| mkTyConName | Wingman.Naming |
| mkTyName | Wingman.Naming |
| mkUserFacingMessage | Wingman.AbstractLSP.TacticActions |
| mkVal | Wingman.CodeGen.Utils, Wingman.CodeGen |
| mkWorkspaceEdits | Wingman.LanguageServer |
| mpc_description | Wingman.Metaprogramming.Parser.Documentation |
| mpc_det | Wingman.Metaprogramming.Parser.Documentation |
| mpc_examples | Wingman.Metaprogramming.Parser.Documentation |
| mpc_name | Wingman.Metaprogramming.Parser.Documentation |
| mpc_syntax | Wingman.Metaprogramming.Parser.Documentation |
| mpc_tactic | Wingman.Metaprogramming.Parser.Documentation |
| Name | Wingman.Types |
| name | Wingman.Metaprogramming.Lexer |
| nary | Wingman.Tactics |
| nested | Wingman.Tactics |
| newSubgoal | Wingman.Machinery |
| newUnivar | Wingman.Machinery |
| NoApplicableTactic | Wingman.Types |
| Nondeterministic | Wingman.Metaprogramming.Parser.Documentation |
| nonrecLet | Wingman.CodeGen |
| NoProgress | Wingman.Types |
| normalizeHypothesis | Wingman.Judgements |
| normalizeJudgement | Wingman.Judgements |
| normalizeType | Wingman.GHC |
| NotEnoughGas | Wingman.Types |
| NothingToDo | Wingman.Types |
| NotInScope | Wingman.Types |
| Nullary | Wingman.Metaprogramming.Parser.Documentation |
| nullary | Wingman.Metaprogramming.Parser |
| Number | Wingman.Naming |
| obvious | Wingman.Tactics |
| OccName | Wingman.Types |
| One | Wingman.Metaprogramming.Parser.Documentation |
| oneTactic | Wingman.Metaprogramming.Parser |
| operators | Wingman.Metaprogramming.Parser |
| OutOfGas | Wingman.Types |
| overAlgebraicTerms | Wingman.Tactics |
| overFunctions | Wingman.Tactics |
| overProvenance | Wingman.Types |
| parens | Wingman.Metaprogramming.Lexer |
| parseMetaprogram | Wingman.Metaprogramming.Parser |
| Parser | Wingman.Metaprogramming.Lexer |
| PatCompat | Wingman.GHC |
| PatCompattable | Wingman.GHC |
| patSynExTys | Wingman.CodeGen |
| patternHypothesis | Wingman.Judgements |
| PatternMatchPrv | Wingman.Types |
| PatVal | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| Penalize | |
| 1 (Type/Class) | Wingman.Machinery |
| 2 (Data Constructor) | Wingman.Machinery |
| Predicate | Wingman.Naming |
| prettyCommand | Wingman.Metaprogramming.Parser.Documentation |
| prettyCount | Wingman.Metaprogramming.Parser.Documentation |
| prettyDeterminism | Wingman.Metaprogramming.Parser.Documentation |
| prettyExample | Wingman.Metaprogramming.Parser.Documentation |
| prettyHyInfo | |
| 1 (Function) | Wingman.Metaprogramming.Parser.Documentation |
| 2 (Function) | Wingman.Metaprogramming.ProofState |
| prettyHypothesis | Wingman.Metaprogramming.ProofState |
| prettyReadme | Wingman.Metaprogramming.Parser.Documentation |
| prettySubgoal | Wingman.Metaprogramming.ProofState |
| prettySyntax | Wingman.Metaprogramming.Parser.Documentation |
| prettyType | Wingman.Metaprogramming.ProofState |
| proofState | Wingman.Metaprogramming.ProofState |
| properties | Wingman.LanguageServer |
| provAncestryOf | Wingman.Judgements |
| Provenance | Wingman.Types |
| Purpose | Wingman.Naming |
| purposeToName | Wingman.Naming |
| pv_ancestry | Wingman.Types |
| pv_datacon | Wingman.Types |
| pv_position | Wingman.Types |
| pv_scrutinee | Wingman.Types |
| rangeToRealSrcSpan | Wingman.Range |
| rangeToSrcSpan | Wingman.Range |
| RawEdit | Wingman.AbstractLSP.Types |
| recursion | Wingman.Tactics |
| RecursiveCall | Wingman.Types |
| recursiveHypothesis | Wingman.Judgements |
| RecursivePrv | Wingman.Types |
| Ref | Wingman.Metaprogramming.Parser.Documentation |
| Refine | Wingman.Types |
| refine | Wingman.Tactics |
| renderAnn | Wingman.Metaprogramming.ProofState |
| renderSimplyDecorated | Wingman.Metaprogramming.ProofState |
| renderUnann | Wingman.Metaprogramming.ProofState |
| requireConcreteHole | Wingman.Machinery |
| requireNewHoles | Wingman.Tactics |
| restrictPositionForApplication | Wingman.Tactics |
| Reward | |
| 1 (Type/Class) | Wingman.Machinery |
| 2 (Data Constructor) | Wingman.Machinery |
| Rose | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| rose | Wingman.Types |
| rtr_ctx | Wingman.Types |
| rtr_extract | Wingman.Types |
| rtr_jdg | Wingman.Types |
| rtr_other_solns | Wingman.Types |
| rtr_subgoals | Wingman.Types |
| rtr_timed_out | Wingman.Types |
| rtr_trace | Wingman.Types |
| Rule | Wingman.Types |
| RuleM | Wingman.Types |
| runCurrentIde | Wingman.LanguageServer |
| runIde | Wingman.LanguageServer |
| runIdeAction | Wingman.LanguageServer |
| RunMetaprogram | Wingman.Types |
| runStaleIde | Wingman.LanguageServer |
| runStreamingTacticT | Refinery.Future |
| runTactic | Wingman.Machinery, Wingman.Tactics |
| RunTacticResults | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| sameTypeModuloLastApp | Wingman.Judgements.SYB |
| Saturated | Wingman.Tactics |
| Saturation | Wingman.Tactics |
| sc | Wingman.Metaprogramming.Lexer |
| scoreSolution | Wingman.Machinery |
| scrutinzedType | Wingman.EmptyCase |
| seconds | Wingman.AbstractLSP.TacticActions |
| self | Wingman.Tactics |
| Shadowed | Wingman.Types |
| showLspMessage | Wingman.LanguageServer |
| simplify | Wingman.Simplify |
| SingleLet | Wingman.GHC |
| SinglePatMatch | Wingman.GHC |
| sloppyEqOccName | Wingman.GHC |
| SMC | Wingman.Metaprogramming.Parser.Documentation |
| solutionSize | Wingman.Machinery |
| SomeMetaprogramCommand | Wingman.Metaprogramming.Parser.Documentation |
| sorry | Wingman.Tactics |
| Span | Wingman.Types |
| spliceProvenance | Wingman.LanguageServer |
| split | Wingman.Tactics |
| splitAuto | Wingman.Tactics |
| splitConLike | Wingman.Tactics |
| splitDataCon | Wingman.Tactics |
| splitId | Wingman.Context |
| splitSingle | Wingman.Tactics |
| splitToDecl | Wingman.CaseSplit |
| staticPlugin | Wingman.StaticPlugin |
| Status | Wingman.Metaprogramming.ProofState |
| stem | Wingman.Naming |
| String | Wingman.Naming |
| subgoalWith | Wingman.Tactics |
| substCTy | Wingman.Machinery |
| substJdg | Wingman.Judgements |
| symbol | Wingman.Metaprogramming.Lexer |
| symbol_ | Wingman.Metaprogramming.Lexer |
| symchar | Wingman.Metaprogramming.Lexer |
| Syntax | Wingman.Metaprogramming.Parser.Documentation |
| SynthesizeCodeAction | Wingman.AbstractLSP.Types |
| SynthesizeCodeLens | Wingman.AbstractLSP.Types |
| SynthesizeCommand | Wingman.AbstractLSP.Types |
| Synthesized | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| syn_recursion_count | Wingman.Types |
| syn_scoped | Wingman.Types |
| syn_trace | Wingman.Types |
| syn_used_vals | Wingman.Types |
| syn_val | Wingman.Types |
| Tactic | Wingman.Metaprogramming.Parser.Documentation |
| tactic | Wingman.Metaprogramming.Parser |
| TacticCommand | Wingman.Types |
| tacticDesc | Wingman.LanguageServer |
| TacticError | Wingman.Types |
| TacticErrors | Wingman.Types |
| TacticPanic | Wingman.Types |
| tacticProgram | Wingman.Metaprogramming.Parser |
| TacticProviderData | |
| 1 (Type/Class) | Wingman.LanguageServer.TacticProviders |
| 2 (Data Constructor) | Wingman.LanguageServer.TacticProviders |
| tacticsGetDataCons | Wingman.GHC |
| TacticsM | Wingman.Types |
| tacticsSplitFunTy | Wingman.GHC |
| TacticState | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| tacticsThetaTy | Wingman.GHC |
| tacticTitle | Wingman.Types |
| tacticToRule | Wingman.Machinery |
| TargetArgs | Wingman.AbstractLSP.Types |
| tcCommandName | Wingman.LanguageServer |
| tcTyVar_maybe | Wingman.GHC |
| textSpaces | Wingman.Metaprogramming.ProofState |
| TimedOut | Wingman.Types |
| toCommandId | Wingman.AbstractLSP.Types |
| TooPolymorphic | Wingman.Types |
| toPatCompat | Wingman.GHC |
| TopLevelArgPrv | Wingman.Types |
| TopLevelRHS | Wingman.GHC |
| tpd_hole_sort | Wingman.LanguageServer.TacticProviders |
| tpd_jdg | Wingman.LanguageServer.TacticProviders |
| tpd_lspEnv | Wingman.LanguageServer.TacticProviders |
| Trace | Wingman.Types |
| trace | Wingman.Debug, Wingman.Types |
| traceFX | Wingman.Debug, Wingman.Types |
| traceIdX | Wingman.Debug, Wingman.Types |
| traceM | Wingman.Debug, Wingman.Types |
| traceMX | Wingman.Debug, Wingman.Types |
| tracePrim | Wingman.Machinery |
| traceShowId | Wingman.Debug, Wingman.Types |
| traceX | Wingman.Debug, Wingman.Types |
| tracing | Wingman.Machinery |
| try' | Wingman.Machinery |
| tryUnifyUnivarsButNotSkolems | Wingman.GHC |
| tryUnifyUnivarsButNotSkolemsMany | Wingman.GHC |
| ts_skolems | Wingman.Types |
| ts_unifier | Wingman.Types |
| ts_unique_gen | Wingman.Types |
| TyConned | Wingman.Naming |
| Type | Wingman.Types |
| typeCheck | Wingman.GHC |
| TyVar | Wingman.Types |
| TyVarred | Wingman.Naming |
| ufmSeverity | Wingman.LanguageServer |
| unary_occ | Wingman.Metaprogramming.Parser |
| unary_occM | Wingman.Metaprogramming.Parser |
| uncoveredDataCons | Wingman.Machinery |
| unCType | Wingman.Types |
| unExtractM | Wingman.Types |
| UnguardedRHSs | Wingman.GHC |
| UnhelpfulDestruct | Wingman.Types |
| UnhelpfulRecursion | Wingman.Types |
| unHypothesis | Wingman.Types |
| unify | Wingman.Machinery |
| Uniquely | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| unpackMatches | Wingman.GHC |
| unsafeDefaultUniqueSupply | Wingman.Types |
| unsafeRender | Wingman.Debug, Wingman.Types |
| unsafeRender' | Wingman.Debug, Wingman.Types |
| unsafeRunStaleIde | Wingman.LanguageServer |
| unsafeRunStaleIdeFast | Wingman.LanguageServer |
| Unsaturated | Wingman.Tactics |
| unsetIsTopHole | Wingman.Judgements |
| unwhitelistingSplit | Wingman.Judgements |
| unXPat | Wingman.GHC |
| unzipTrace | Wingman.CodeGen |
| updateSubst | Wingman.GHC |
| use | Wingman.Tactics |
| UseDataCon | Wingman.Types |
| useNameFromContext | Wingman.Machinery |
| useNameFromHypothesis | Wingman.Machinery |
| UserFacingMessage | Wingman.Types |
| userHypothesis | Wingman.Judgements |
| UserPrv | Wingman.Types |
| userSplit | Wingman.Tactics |
| Var | |
| 1 (Type/Class) | Wingman.Metaprogramming.Parser.Documentation |
| 2 (Data Constructor) | Wingman.Metaprogramming.Parser.Documentation |
| var' | Wingman.CodeGen.Utils, Wingman.CodeGen |
| variable | Wingman.Metaprogramming.Lexer |
| variadic_occ | Wingman.Metaprogramming.Parser |
| WingmanMetaprogram | Wingman.StaticPlugin |
| wingmanRules | Wingman.LanguageServer |
| with | Wingman.Naming |
| withModifiedGoal | Wingman.Judgements |
| withNewCoercions | Wingman.Judgements |
| withNewGoal | Wingman.Judgements |
| with_arg | Wingman.Tactics |
| wrapError | Wingman.Metaprogramming.Parser |
| WriteDiagnostics | |
| 1 (Type/Class) | Wingman.LanguageServer |
| 2 (Data Constructor) | Wingman.LanguageServer |
| writeDocumentation | Wingman.Metaprogramming.Parser |
| WrongBranch | Wingman.Types |
| _jBlacklistDestruct | Wingman.Types |
| _jGoal | Wingman.Types |
| _jHypothesis | Wingman.Types |
| _jIsTopHole | Wingman.Types |
| _jWhitelistSplit | Wingman.Types |