hls-tactics-plugin-1.6.2.0: Wingman plugin for Haskell Language Server (Index - M)

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

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
_
All

Index - M

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