hls-tactics-plugin-0.5.1.0: Tactics plugin for Haskell Language Server (Index - I)

hls-tactics-plugin-0.5.1.0: Tactics 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 - I

IncorrectDataCon	Ide.Plugin.Tactic.Types
infixCall	Ide.Plugin.Tactic.CodeGen
infixifyPatIfNecessary	Ide.Plugin.Tactic.CodeGen
instantiateType	Ide.Plugin.Tactic.GHC
introducingLambda	Ide.Plugin.Tactic.Judgements
introducingPat	Ide.Plugin.Tactic.Judgements
introducingRecursively	Ide.Plugin.Tactic.Judgements
Intros	Ide.Plugin.Tactic.TestTypes, Ide.Plugin.Tactic
intros	Ide.Plugin.Tactic.Tactics
isDestructBlacklisted	Ide.Plugin.Tactic.Judgements
isFunction	Ide.Plugin.Tactic.GHC
isPatternMatch	Ide.Plugin.Tactic.Judgements
isSplitWhitelisted	Ide.Plugin.Tactic.Judgements
isTopHole	Ide.Plugin.Tactic.Judgements
isTopLevel	Ide.Plugin.Tactic.Judgements