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

Index - M

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