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

hls-tactics-plugin-1.0.0.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

markStructuralySmallerRecursion	Ide.Plugin.Tactic.Machinery
matching	Ide.Plugin.Tactic.Tactics
methodHypothesis	Ide.Plugin.Tactic.Machinery
mkArbitraryCall	Ide.Plugin.Tactic.KnownStrategies.QuickCheck
mkCon	Ide.Plugin.Tactic.CodeGen.Utils, Ide.Plugin.Tactic.CodeGen
mkContext	Ide.Plugin.Tactic.Context
mkDestructPat	Ide.Plugin.Tactic.CodeGen
mkFirstAgda	Ide.Plugin.Tactic.CaseSplit
mkFirstJudgement	Ide.Plugin.Tactic.Judgements
mkFunc	Ide.Plugin.Tactic.CodeGen.Utils, Ide.Plugin.Tactic.CodeGen
mkGenerator	Ide.Plugin.Tactic.KnownStrategies.QuickCheck
mkGoodName	Ide.Plugin.Tactic.Naming
mkJudgementAndContext	Ide.Plugin.Tactic.LanguageServer
mkManyGoodNames	Ide.Plugin.Tactic.Naming
mkTyConName	Ide.Plugin.Tactic.Naming
mkTyName	Ide.Plugin.Tactic.Naming
mkVal	Ide.Plugin.Tactic.CodeGen.Utils, Ide.Plugin.Tactic.CodeGen