hls-tactics-plugin-1.3.0.0: Wingman plugin for Haskell Language Server
Contents
Index
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
Many
Wingman.Metaprogramming.Parser.Documentation
mappendIfNotNull
Wingman.Metaprogramming.Parser.Documentation
mappingExtract
Wingman.Machinery
mapTrace
Wingman.Types
markRecursion
Wingman.Machinery
matching
Wingman.Tactics
Maybe
Wingman.Naming
MC
Wingman.Metaprogramming.Parser.Documentation
Metaprogram
Wingman.Types
metaprogram
Wingman.Tactics
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
mkFunTys'
Wingman.GHC
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
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