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

Index - I

icharWingman.Metaprogramming.Lexer
identifierWingman.Metaprogramming.Lexer
idiomWingman.Tactics
idiomizeWingman.CodeGen
ImportPrvWingman.Types
infixCallWingman.CodeGen.Utils, Wingman.CodeGen
infixifyPatIfNecessaryWingman.CodeGen
InfrastructureErrorWingman.Types
installInteractionsWingman.AbstractLSP
instantiateTypeWingman.GHC
IntegralWingman.Naming
Interaction 
1 (Type/Class)Wingman.AbstractLSP.Types
2 (Data Constructor)Wingman.AbstractLSP.Types
IntroAndDestructWingman.Types
introAndDestructWingman.Tactics
introduceWingman.Judgements
IntroduceAllUnnamedWingman.Tactics
introduceHypothesisWingman.Judgements
IntroduceOnlyNamedWingman.Tactics
IntroduceOnlyUnnamedWingman.Tactics
IntroParamsWingman.Tactics
IntrosWingman.Types
introsWingman.Tactics
intros'Wingman.Tactics
isAlreadyDestructedWingman.Judgements
IsContinuationSortWingman.AbstractLSP.Types
isDestructBlacklistedWingman.Judgements
isDisallowedWingman.Judgements
IsFunctionWingman.Naming
isFunctionWingman.GHC
isHoleWingman.GHC
IsListWingman.Naming
isLocalHypothesisWingman.Judgements
IsMaybeWingman.Naming
isPatternMatchWingman.Judgements
IsPredicateWingman.Naming
isRhsHoleWithoutWhereWingman.LanguageServer
isSplitWhitelistedWingman.Judgements
IsStringWingman.Naming
IsTargetWingman.AbstractLSP.Types
isTopHoleWingman.Judgements
isTopLevelWingman.Judgements
IsTyConnedWingman.Naming
IsTyVarredWingman.Naming
iterateSplitWingman.CaseSplit