hls-tactics-plugin-1.4.0.0: Wingman plugin for Haskell Language Server (Index - I)

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

ichar	Wingman.Metaprogramming.Lexer
identifier	Wingman.Metaprogramming.Lexer
ImportPrv	Wingman.Types
infixCall	Wingman.CodeGen.Utils, Wingman.CodeGen
infixifyPatIfNecessary	Wingman.CodeGen
InfrastructureError	Wingman.Types
installInteractions	Wingman.AbstractLSP
instantiateType	Wingman.GHC
Integral	Wingman.Naming
Interaction
1 (Type/Class)	Wingman.AbstractLSP.Types
2 (Data Constructor)	Wingman.AbstractLSP.Types
IntroAndDestruct	Wingman.Types
introAndDestruct	Wingman.Tactics
introduce	Wingman.Judgements
IntroduceAllUnnamed	Wingman.Tactics
introduceHypothesis	Wingman.Judgements
IntroduceOnlyNamed	Wingman.Tactics
IntroduceOnlyUnnamed	Wingman.Tactics
IntroParams	Wingman.Tactics
Intros	Wingman.Types
intros	Wingman.Tactics
intros'	Wingman.Tactics
isAlreadyDestructed	Wingman.Judgements
IsContinuationSort	Wingman.AbstractLSP.Types
isDestructBlacklisted	Wingman.Judgements
isDisallowed	Wingman.Judgements
IsFunction	Wingman.Naming
isFunction	Wingman.GHC
isHole	Wingman.GHC
IsList	Wingman.Naming
isLocalHypothesis	Wingman.Judgements
IsMaybe	Wingman.Naming
isPatternMatch	Wingman.Judgements
IsPredicate	Wingman.Naming
isRhsHoleWithoutWhere	Wingman.LanguageServer
isSplitWhitelisted	Wingman.Judgements
IsString	Wingman.Naming
IsTarget	Wingman.AbstractLSP.Types
isTopHole	Wingman.Judgements
isTopLevel	Wingman.Judgements
IsTyConned	Wingman.Naming
IsTyVarred	Wingman.Naming
iterateSplit	Wingman.CaseSplit