hls-tactics-plugin-1.6.2.0: Wingman plugin for Haskell Language Server

Index

addTimeoutMessageWingman.AbstractLSP.TacticActions
AgdaMatch 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
algebraicTyConWingman.GHC
allEvidenceToSubstWingman.Judgements.Theta
allNamesWingman.Tactics
allOccNamesWingman.GHC
AlreadyDestructedWingman.Types
AMatchWingman.GHC
amBodyWingman.Types
amPatsWingman.Types
AnnWingman.Metaprogramming.ProofState
annotateMetaprogramsWingman.LanguageServer
appDollarWingman.CodeGen.Utils, Wingman.CodeGen
applicationWingman.Tactics
applyWingman.Tactics
applyByNameWingman.Tactics
applyByTypeWingman.Tactics
applyMethodWingman.Tactics
assumeWingman.Tactics
assumptionWingman.Tactics
attemptOnWingman.Tactics
attemptWhenWingman.Machinery
attempt_itWingman.Metaprogramming.Parser
AutoWingman.Types
autoWingman.Auto
auto'Wingman.Tactics
BeginMetaprogramWingman.Types
BindWingman.Metaprogramming.Parser.Documentation
bindOneWingman.Tactics
blacklistingDestructWingman.Judgements
blockCommentWingman.Metaprogramming.Lexer
bracesWingman.Metaprogramming.Lexer
bracketsWingman.Metaprogramming.Lexer
buildDataConWingman.CodeGen
buildHypothesisWingman.Judgements
buildPatHyWingman.LanguageServer
buildTopLevelHypothesisWingman.LanguageServer
bvar'Wingman.CodeGen.Utils, Wingman.CodeGen
camelTermsWingman.Naming
canUnifyWingman.Machinery
CaseWingman.GHC
cataWingman.Tactics
cfg_auto_gasWingman.Types
cfg_max_use_ctor_actionsWingman.Types
cfg_proofstate_stylingWingman.Types
cfg_timeout_secondsWingman.Types
ClassMethodPrvWingman.Types
cloneTyVarWingman.GHC
codeFenceWingman.Metaprogramming.Parser.Documentation
coerceNameWingman.CodeGen.Utils, Wingman.CodeGen
collapseWingman.Tactics
commandWingman.Metaprogramming.Parser.Documentation
commandProviderWingman.LanguageServer.TacticProviders
commandsWingman.Metaprogramming.Parser
commandTacticWingman.LanguageServer.TacticProviders
Config 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
conLikeExTysWingman.CodeGen
conLikeInstOrigArgTys'Wingman.CodeGen
consumeRefinery.Future
consumeChanWingman.Machinery
containsHoleWingman.GHC
containsHsVarWingman.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
ContinuationResultWingman.AbstractLSP.Types
CountWingman.Metaprogramming.Parser.Documentation
countWingman.Metaprogramming.ProofState
countFinishedWingman.Metaprogramming.ProofState
createImportedHyInfoWingman.Machinery
ctxConfigWingman.Types
ctxDefiningFuncsWingman.Types
ctxFamInstEnvsWingman.Types
ctxInstEnvsWingman.Types
ctxModuleFuncsWingman.Types
ctxThetaWingman.Types
ctx_hscEnvWingman.Types
ctx_moduleWingman.Types
ctx_occEnvWingman.Types
CType 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
cutWingman.Machinery
c_makeCommandWingman.AbstractLSP.Types
c_runCommandWingman.AbstractLSP.Types
c_sortWingman.AbstractLSP.Types
deepWingman.Tactics
deepeningWingman.Tactics
defaultTacticStateWingman.Types
deriveArbitraryWingman.KnownStrategies.QuickCheck
deriveFmapWingman.KnownStrategies
deriveMappendWingman.KnownStrategies
deriveMemptyWingman.KnownStrategies
descriptorWingman.Plugin, Ide.Plugin.Tactic
DestructWingman.Types
destructWingman.Tactics
destruct'Wingman.CodeGen
DestructAllWingman.Types
destructAllWingman.Tactics
destructAutoWingman.Tactics
destructionForWingman.CodeGen
DestructLambdaCaseWingman.Types
destructLambdaCaseWingman.Tactics
destructLambdaCase'Wingman.CodeGen
destructMatchesWingman.CodeGen
destructOrHomoAutoWingman.Tactics
DestructPunWingman.Types
destructPunWingman.Tactics
DeterminismWingman.Metaprogramming.Parser.Documentation
DeterministicWingman.Metaprogramming.Parser.Documentation
DisallowedPrvWingman.Types
disallowingWingman.Judgements
DisallowReasonWingman.Types
doesTypeContainWingman.KnownStrategies.QuickCheck
dropEveryOtherWingman.Types
EHIWingman.Metaprogramming.Parser.Documentation
ehi_nameWingman.Metaprogramming.Parser.Documentation
ehi_typeWingman.Metaprogramming.Parser.Documentation
EmptyCaseWingman.EmptyCase
emptyCaseInteractionWingman.EmptyCase
emptyCaseQWingman.EmptyCase
emptyCaseScrutineesWingman.EmptyCase
EmptyCaseSortWingman.EmptyCase
EmptyCaseT 
1 (Type/Class)Wingman.EmptyCase
2 (Data Constructor)Wingman.EmptyCase
emptyConfigWingman.Types
emptyContextWingman.Types
EmptyLamCaseWingman.EmptyCase
enableQuasiQuotesWingman.StaticPlugin
eqRdrNameWingman.GHC
ErrorMessagesWingman.AbstractLSP.Types
everythingContainingWingman.Judgements.SYB
EvidenceWingman.Judgements.Theta
evidenceToCoercionsWingman.Judgements.Theta
evidenceToHypothesisWingman.Judgements.Theta
evidenceToSubstWingman.Judgements.Theta
evidenceToThetaTypeWingman.Judgements.Theta
exactWingman.Machinery
Example 
1 (Type/Class)Wingman.Metaprogramming.Parser.Documentation
2 (Data Constructor)Wingman.Metaprogramming.Parser.Documentation
ExampleHyInfoWingman.Metaprogramming.Parser.Documentation
ExampleType 
1 (Type/Class)Wingman.Metaprogramming.Parser.Documentation
2 (Data Constructor)Wingman.Metaprogramming.Parser.Documentation
expandDisallowedWingman.Judgements
expandTyFamWingman.GHC
ExtractM 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
extremelyStupid__definingFunctionWingman.Judgements
ex_argsWingman.Metaprogramming.Parser.Documentation
ex_ctxWingman.Metaprogramming.Parser.Documentation
ex_goalWingman.Metaprogramming.Parser.Documentation
ex_hypWingman.Metaprogramming.Parser.Documentation
ex_resultWingman.Metaprogramming.Parser.Documentation
fc_rangeWingman.AbstractLSP.Types
fc_uriWingman.AbstractLSP.Types
fetchTargetArgsWingman.AbstractLSP.Types
FileContext 
1 (Type/Class)Wingman.AbstractLSP.Types
2 (Data Constructor)Wingman.AbstractLSP.Types
filterAncestryWingman.Judgements
filterPositionWingman.Judgements
filterReplaceWingman.Naming
filterSameTypeFromOtherPositionsWingman.Judgements
findDconPositionValsWingman.Judgements
findPositionValWingman.Judgements
fixErrorOffsetWingman.Metaprogramming.Parser
forceMarkdownNewlinesWingman.Metaprogramming.ProofState
freshTyvarsWingman.GHC
freshUniqueWingman.Types
fromMaybeTWingman.EmptyCase
fromPatCompatWingman.GHC
FunctionWingman.Naming
functionNamesWingman.Naming
Generator 
1 (Type/Class)Wingman.KnownStrategies.QuickCheck
2 (Data Constructor)Wingman.KnownStrategies.QuickCheck
genericIsSubspanWingman.Judgements.SYB
genExprWingman.KnownStrategies.QuickCheck
genRecursiveCountWingman.KnownStrategies.QuickCheck
getAllMetaprogramsWingman.LanguageServer
getAlreadyDestructedWingman.LanguageServer
getAncestryWingman.Judgements
getCurrentDefinitionsWingman.Machinery
getDefiningTypeWingman.Machinery
getEvidenceAtHoleWingman.Judgements.Theta
getExampleTypeWingman.Metaprogramming.Parser.Documentation
getFunBindIdWingman.Context
getIdeDynflagsWingman.LanguageServer
getInScopeWingman.Naming
getInstanceWingman.Context
getKnownInstanceWingman.Machinery
getMetaprogramAtSpanWingman.LanguageServer
GetMetaprograms 
1 (Type/Class)Wingman.LanguageServer
2 (Data Constructor)Wingman.LanguageServer
getNfpWingman.AbstractLSP.Types
getOccNameTypeWingman.Machinery
getPatValWingman.Judgements
getPurposesWingman.Naming
getRecordFieldsWingman.GHC
getRhsPosValsWingman.LanguageServer
getSpanAndTypeAtHoleWingman.LanguageServer
getStemWingman.Naming
getSubstForJudgementWingman.Machinery
getTacticConfigWingman.LanguageServer
getTyThingWingman.Machinery
getVarWingman.Metaprogramming.Parser.Documentation
getViaUniqueWingman.Types
globalHoleRefWingman.Types
GoalWingman.Metaprogramming.ProofState
GoalMismatchWingman.Types
graftDeclWingman.AbstractLSP.TacticActions
GraftEditWingman.AbstractLSP.Types
graftHoleWingman.AbstractLSP.TacticActions
graftMatchGroupWingman.EmptyCase
hasClassInstanceWingman.Context
hasPositionalAncestryWingman.Judgements
hi_nameWingman.Types
hi_provenanceWingman.Types
hi_typeWingman.Types
hj_ctxWingman.Types
hj_dflagsWingman.Types
hj_hole_sortWingman.Types
hj_jdgWingman.Types
hj_rangeWingman.Types
hoistListTRefinery.Future
HoleWingman.Types
HoleJudgment 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
HoleSortWingman.Types
holeSortForWingman.LanguageServer
HoleTarget 
1 (Type/Class)Wingman.AbstractLSP.Types
2 (Data Constructor)Wingman.AbstractLSP.Types
homoWingman.Tactics
homoLambdaCaseWingman.Tactics
HomomorphismWingman.Types
HomomorphismLambdaCaseWingman.Types
hoverProviderWingman.LanguageServer.Metaprogram
hushWingman.EmptyCase
hyByNameWingman.Judgements
hyDiffWingman.Tactics
hyFilterWingman.Judgements
HyInfo 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
hyNamesInScopeWingman.Judgements
HypothWingman.Metaprogramming.ProofState
Hypothesis 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
hypothesisFromBindingsWingman.Judgements
hySingletonWingman.Judgements
icharWingman.Metaprogramming.Lexer
identifierWingman.Metaprogramming.Lexer
idiomWingman.Tactics
idiomizeWingman.CodeGen
illegalNamesWingman.Naming
ImportPrvWingman.Types
infixCallWingman.CodeGen.Utils, Wingman.CodeGen
infixifyPatIfNecessaryWingman.CodeGen
InfrastructureErrorWingman.Types
installInteractionsWingman.AbstractLSP
instantiateTypeWingman.GHC
IntegralWingman.Naming
Interaction 
1 (Type/Class)Wingman.AbstractLSP.Types
2 (Data Constructor)Wingman.AbstractLSP.Types
IntroAndDestructWingman.Types
introAndDestructWingman.Tactics
introduceWingman.Judgements
IntroduceAllUnnamedWingman.Tactics
introduceHypothesisWingman.Judgements
IntroduceOnlyNamedWingman.Tactics
IntroduceOnlyUnnamedWingman.Tactics
IntroParamsWingman.Tactics
IntrosWingman.Types
introsWingman.Tactics
intros'Wingman.Tactics
isAlreadyDestructedWingman.Judgements
IsContinuationSortWingman.AbstractLSP.Types
isDestructBlacklistedWingman.Judgements
isDisallowedWingman.Judgements
IsFunctionWingman.Naming
isFunctionWingman.GHC
isHoleWingman.GHC
IsListWingman.Naming
isLocalHypothesisWingman.Judgements
IsMaybeWingman.Naming
isPatternMatchWingman.Judgements
IsPredicateWingman.Naming
isRhsHoleWithoutWhereWingman.LanguageServer
isSplitWhitelistedWingman.Judgements
IsStringWingman.Naming
IsTargetWingman.AbstractLSP.Types
isTopHoleWingman.Judgements
isTopLevelWingman.Judgements
IsTyConnedWingman.Naming
IsTyVarredWingman.Naming
iterateSplitWingman.CaseSplit
jAcceptableDestructTargetsWingman.Judgements
jAncestryMapWingman.Judgements
jEntireHypothesisWingman.Judgements
jGoalWingman.Judgements
jHasBoundArgsWingman.Judgements
jHypothesisWingman.Judgements
jLocalHypothesisWingman.Judgements
jNeedsToBindArgsWingman.Judgements
jPatHypothesisWingman.Judgements
Judgement 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
Judgement'Wingman.Types
judgementForHoleWingman.LanguageServer
j_coercionWingman.Types
keywordWingman.Metaprogramming.Lexer
knownWingman.KnownStrategies
knownClassWingman.Machinery
knownStrategiesWingman.KnownStrategies
LambdaWingman.GHC
lambdaCaseableWingman.GHC
lambdaHypothesisWingman.Judgements
LamCaseWingman.GHC
layoutWingman.Metaprogramming.ProofState
learnFromFundepsWingman.Machinery
letBindWingman.Tactics
letForEachWingman.CodeGen
lexemeWingman.Metaprogramming.Lexer
le_configWingman.AbstractLSP.Types
le_dflagsWingman.AbstractLSP.Types
le_fileContextWingman.AbstractLSP.Types
le_ideStateWingman.AbstractLSP.Types
le_pluginIdWingman.AbstractLSP.Types
liftMaybeWingman.GHC
lineCommentWingman.Metaprogramming.Lexer
ListWingman.Naming
locallyDefinedMethodsWingman.Context
localTacticWingman.Tactics
Log 
1 (Type/Class)Wingman.LanguageServer
2 (Type/Class)Wingman.Plugin, Ide.Plugin.Tactic
LogShakeWingman.LanguageServer
LogWingmanLanguageServerWingman.Plugin, Ide.Plugin.Tactic
lookupNameInContextWingman.Machinery
LspEnv 
1 (Type/Class)Wingman.AbstractLSP.Types
2 (Data Constructor)Wingman.AbstractLSP.Types
makeMPParserWingman.Metaprogramming.Parser.Documentation
makeParserWingman.Metaprogramming.Parser.Documentation
makeTacticInteractionWingman.AbstractLSP.TacticActions
ManyWingman.Metaprogramming.Parser.Documentation
mappendIfNotNullWingman.Metaprogramming.Parser.Documentation
mappingExtractWingman.Machinery
mapTraceWingman.Types
markRecursionWingman.Machinery
matchContextFixityWingman.AbstractLSP.TacticActions
matchingWingman.Tactics
MaybeWingman.Naming
MCWingman.Metaprogramming.Parser.Documentation
md_kindWingman.AbstractLSP.Types
md_preferredWingman.AbstractLSP.Types
md_titleWingman.AbstractLSP.Types
Metadata 
1 (Type/Class)Wingman.AbstractLSP.Types
2 (Data Constructor)Wingman.AbstractLSP.Types
MetaprogramWingman.Types
metaprogramWingman.Tactics
metaprogramAtQWingman.Judgements.SYB
MetaprogramCommandWingman.Metaprogramming.Parser.Documentation
metaprogramHoleNameWingman.StaticPlugin
metaprogramQWingman.Judgements.SYB
MetaprogramSyntaxWingman.StaticPlugin
methodHypothesisWingman.GHC
mkApplyWingman.CodeGen
mkArbitraryCallWingman.KnownStrategies.QuickCheck
mkConWingman.CodeGen.Utils, Wingman.CodeGen
mkContextWingman.Context
mkDerivedConHypothesisWingman.LanguageServer
mkDerivedRecordHypothesisWingman.LanguageServer
mkDestructPatWingman.CodeGen
mkDiagnosticWingman.LanguageServer
mkEmptyCaseLensDescWingman.EmptyCase
mkEvidenceWingman.Judgements.Theta
mkFakeVarWingman.LanguageServer
mkFirstAgdaWingman.CaseSplit
mkFirstJudgementWingman.Judgements
mkFuncWingman.CodeGen.Utils, Wingman.CodeGen
mkGeneratorWingman.KnownStrategies.QuickCheck
mkGoodNameWingman.Naming
mkIdHypothesisWingman.LanguageServer
mkJudgementAndContextWingman.LanguageServer
mkManyGoodNamesWingman.Naming
mkMetaHoleNameWingman.Types
mkNumericSuffixWingman.Naming
mkQ1Wingman.Judgements.SYB
mkShowMessageParamsWingman.LanguageServer
mkTyConNameWingman.Naming
mkTyNameWingman.Naming
mkUserFacingMessageWingman.AbstractLSP.TacticActions
mkValWingman.CodeGen.Utils, Wingman.CodeGen
mkWorkspaceEditsWingman.LanguageServer
mpc_descriptionWingman.Metaprogramming.Parser.Documentation
mpc_detWingman.Metaprogramming.Parser.Documentation
mpc_examplesWingman.Metaprogramming.Parser.Documentation
mpc_nameWingman.Metaprogramming.Parser.Documentation
mpc_syntaxWingman.Metaprogramming.Parser.Documentation
mpc_tacticWingman.Metaprogramming.Parser.Documentation
NameWingman.Types
nameWingman.Metaprogramming.Lexer
naryWingman.Tactics
nestedWingman.Tactics
newSubgoalWingman.Machinery
newUnivarWingman.Machinery
NoApplicableTacticWingman.Types
NondeterministicWingman.Metaprogramming.Parser.Documentation
nonrecLetWingman.CodeGen
NoProgressWingman.Types
normalizeHypothesisWingman.Judgements
normalizeJudgementWingman.Judgements
normalizeTypeWingman.GHC
NotEnoughGasWingman.Types
NothingToDoWingman.Types
NotInScopeWingman.Types
NullaryWingman.Metaprogramming.Parser.Documentation
nullaryWingman.Metaprogramming.Parser
NumberWingman.Naming
obviousWingman.Tactics
OccNameWingman.Types
OneWingman.Metaprogramming.Parser.Documentation
oneTacticWingman.Metaprogramming.Parser
operatorsWingman.Metaprogramming.Parser
OutOfGasWingman.Types
overAlgebraicTermsWingman.Tactics
overFunctionsWingman.Tactics
overProvenanceWingman.Types
parensWingman.Metaprogramming.Lexer
parseMetaprogramWingman.Metaprogramming.Parser
ParserWingman.Metaprogramming.Lexer
PatCompatWingman.GHC
PatCompattableWingman.GHC
patSynExTysWingman.CodeGen
patternHypothesisWingman.Judgements
PatternMatchPrvWingman.Types
PatVal 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
Penalize 
1 (Type/Class)Wingman.Machinery
2 (Data Constructor)Wingman.Machinery
PredicateWingman.Naming
prettyCommandWingman.Metaprogramming.Parser.Documentation
prettyCountWingman.Metaprogramming.Parser.Documentation
prettyDeterminismWingman.Metaprogramming.Parser.Documentation
prettyExampleWingman.Metaprogramming.Parser.Documentation
prettyHyInfo 
1 (Function)Wingman.Metaprogramming.Parser.Documentation
2 (Function)Wingman.Metaprogramming.ProofState
prettyHypothesisWingman.Metaprogramming.ProofState
prettyReadmeWingman.Metaprogramming.Parser.Documentation
prettySubgoalWingman.Metaprogramming.ProofState
prettySyntaxWingman.Metaprogramming.Parser.Documentation
prettyTypeWingman.Metaprogramming.ProofState
proofStateWingman.Metaprogramming.ProofState
propertiesWingman.LanguageServer
provAncestryOfWingman.Judgements
ProvenanceWingman.Types
PurposeWingman.Naming
purposeToNameWingman.Naming
pv_ancestryWingman.Types
pv_dataconWingman.Types
pv_positionWingman.Types
pv_scrutineeWingman.Types
rangeToRealSrcSpanWingman.Range
rangeToSrcSpanWingman.Range
RawEditWingman.AbstractLSP.Types
recursionWingman.Tactics
RecursiveCallWingman.Types
recursiveHypothesisWingman.Judgements
RecursivePrvWingman.Types
RefWingman.Metaprogramming.Parser.Documentation
RefineWingman.Types
refineWingman.Tactics
renderAnnWingman.Metaprogramming.ProofState
renderSimplyDecoratedWingman.Metaprogramming.ProofState
renderUnannWingman.Metaprogramming.ProofState
requireConcreteHoleWingman.Machinery
requireNewHolesWingman.Tactics
restrictPositionForApplicationWingman.Tactics
Reward 
1 (Type/Class)Wingman.Machinery
2 (Data Constructor)Wingman.Machinery
Rose 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
roseWingman.Types
rtr_ctxWingman.Types
rtr_extractWingman.Types
rtr_jdgWingman.Types
rtr_other_solnsWingman.Types
rtr_subgoalsWingman.Types
rtr_timed_outWingman.Types
rtr_traceWingman.Types
RuleWingman.Types
RuleMWingman.Types
runCurrentIdeWingman.LanguageServer
runIdeWingman.LanguageServer
runIdeActionWingman.LanguageServer
RunMetaprogramWingman.Types
runStaleIdeWingman.LanguageServer
runStreamingTacticTRefinery.Future
runTacticWingman.Machinery, Wingman.Tactics
RunTacticResults 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
sameTypeModuloLastAppWingman.Judgements.SYB
SaturatedWingman.Tactics
SaturationWingman.Tactics
scWingman.Metaprogramming.Lexer
scoreSolutionWingman.Machinery
scrutinzedTypeWingman.EmptyCase
secondsWingman.AbstractLSP.TacticActions
selfWingman.Tactics
ShadowedWingman.Types
showLspMessageWingman.LanguageServer
simplifyWingman.Simplify
SingleLetWingman.GHC
SinglePatMatchWingman.GHC
sloppyEqOccNameWingman.GHC
SMCWingman.Metaprogramming.Parser.Documentation
solutionSizeWingman.Machinery
SomeMetaprogramCommandWingman.Metaprogramming.Parser.Documentation
sorryWingman.Tactics
SpanWingman.Types
spliceProvenanceWingman.LanguageServer
splitWingman.Tactics
splitAutoWingman.Tactics
splitConLikeWingman.Tactics
splitDataConWingman.Tactics
splitIdWingman.Context
splitSingleWingman.Tactics
splitToDeclWingman.CaseSplit
staticPluginWingman.StaticPlugin
StatusWingman.Metaprogramming.ProofState
stemWingman.Naming
StringWingman.Naming
subgoalWithWingman.Tactics
substCTyWingman.Machinery
substJdgWingman.Judgements
symbolWingman.Metaprogramming.Lexer
symbol_Wingman.Metaprogramming.Lexer
symcharWingman.Metaprogramming.Lexer
SyntaxWingman.Metaprogramming.Parser.Documentation
SynthesizeCodeActionWingman.AbstractLSP.Types
SynthesizeCodeLensWingman.AbstractLSP.Types
SynthesizeCommandWingman.AbstractLSP.Types
Synthesized 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
syn_recursion_countWingman.Types
syn_scopedWingman.Types
syn_traceWingman.Types
syn_used_valsWingman.Types
syn_valWingman.Types
TacticWingman.Metaprogramming.Parser.Documentation
tacticWingman.Metaprogramming.Parser
TacticCommandWingman.Types
tacticDescWingman.LanguageServer
TacticErrorWingman.Types
TacticErrorsWingman.Types
TacticPanicWingman.Types
tacticProgramWingman.Metaprogramming.Parser
TacticProviderData 
1 (Type/Class)Wingman.LanguageServer.TacticProviders
2 (Data Constructor)Wingman.LanguageServer.TacticProviders
tacticsGetDataConsWingman.GHC
TacticsMWingman.Types
tacticsSplitFunTyWingman.GHC
TacticState 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
tacticsThetaTyWingman.GHC
tacticTitleWingman.Types
tacticToRuleWingman.Machinery
TargetArgsWingman.AbstractLSP.Types
tcCommandNameWingman.LanguageServer
tcTyVar_maybeWingman.GHC
textSpacesWingman.Metaprogramming.ProofState
TimedOutWingman.Types
toCommandIdWingman.AbstractLSP.Types
TooPolymorphicWingman.Types
toPatCompatWingman.GHC
TopLevelArgPrvWingman.Types
TopLevelRHSWingman.GHC
tpd_hole_sortWingman.LanguageServer.TacticProviders
tpd_jdgWingman.LanguageServer.TacticProviders
tpd_lspEnvWingman.LanguageServer.TacticProviders
TraceWingman.Types
traceWingman.Debug, Wingman.Types
traceFXWingman.Debug, Wingman.Types
traceIdXWingman.Debug, Wingman.Types
traceMWingman.Debug, Wingman.Types
traceMXWingman.Debug, Wingman.Types
tracePrimWingman.Machinery
traceShowIdWingman.Debug, Wingman.Types
traceXWingman.Debug, Wingman.Types
tracingWingman.Machinery
try'Wingman.Machinery
tryUnifyUnivarsButNotSkolemsWingman.GHC
tryUnifyUnivarsButNotSkolemsManyWingman.GHC
ts_skolemsWingman.Types
ts_unifierWingman.Types
ts_unique_genWingman.Types
TyConnedWingman.Naming
TypeWingman.Types
typeCheckWingman.GHC
TyVarWingman.Types
TyVarredWingman.Naming
ufmSeverityWingman.LanguageServer
unary_occWingman.Metaprogramming.Parser
unary_occMWingman.Metaprogramming.Parser
uncoveredDataConsWingman.Machinery
unCTypeWingman.Types
unExtractMWingman.Types
UnguardedRHSsWingman.GHC
UnhelpfulDestructWingman.Types
UnhelpfulRecursionWingman.Types
unHypothesisWingman.Types
unifyWingman.Machinery
Uniquely 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
unpackMatchesWingman.GHC
unsafeDefaultUniqueSupplyWingman.Types
unsafeRenderWingman.Debug, Wingman.Types
unsafeRender'Wingman.Debug, Wingman.Types
unsafeRunStaleIdeWingman.LanguageServer
unsafeRunStaleIdeFastWingman.LanguageServer
UnsaturatedWingman.Tactics
unsetIsTopHoleWingman.Judgements
unwhitelistingSplitWingman.Judgements
unXPatWingman.GHC
unzipTraceWingman.CodeGen
updateSubstWingman.GHC
useWingman.Tactics
UseDataConWingman.Types
useNameFromContextWingman.Machinery
useNameFromHypothesisWingman.Machinery
UserFacingMessageWingman.Types
userHypothesisWingman.Judgements
UserPrvWingman.Types
userSplitWingman.Tactics
Var 
1 (Type/Class)Wingman.Metaprogramming.Parser.Documentation
2 (Data Constructor)Wingman.Metaprogramming.Parser.Documentation
var'Wingman.CodeGen.Utils, Wingman.CodeGen
variableWingman.Metaprogramming.Lexer
variadic_occWingman.Metaprogramming.Parser
WingmanMetaprogramWingman.StaticPlugin
wingmanRulesWingman.LanguageServer
withWingman.Naming
withModifiedGoalWingman.Judgements
withNewCoercionsWingman.Judgements
withNewGoalWingman.Judgements
with_argWingman.Tactics
wrapErrorWingman.Metaprogramming.Parser
WriteDiagnostics 
1 (Type/Class)Wingman.LanguageServer
2 (Data Constructor)Wingman.LanguageServer
writeDocumentationWingman.Metaprogramming.Parser
WrongBranchWingman.Types
_jBlacklistDestructWingman.Types
_jGoalWingman.Types
_jHypothesisWingman.Types
_jIsTopHoleWingman.Types
_jWhitelistSplitWingman.Types