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

Index - I

IncorrectDataConIde.Plugin.Tactic.Types
infixCallIde.Plugin.Tactic.CodeGen.Utils, Ide.Plugin.Tactic.CodeGen
infixifyPatIfNecessaryIde.Plugin.Tactic.CodeGen
instantiateTypeIde.Plugin.Tactic.GHC
introducingLambdaIde.Plugin.Tactic.Judgements
introducingPatIde.Plugin.Tactic.Judgements
introducingRecursivelyIde.Plugin.Tactic.Judgements
IntrosIde.Plugin.Tactic.TestTypes, Ide.Plugin.Tactic
introsIde.Plugin.Tactic.Tactics
isDestructBlacklistedIde.Plugin.Tactic.Judgements
isFunctionIde.Plugin.Tactic.GHC
isHoleIde.Plugin.Tactic.GHC
isPatternMatchIde.Plugin.Tactic.Judgements
isRhsHoleIde.Plugin.Tactic.LanguageServer
isSplitWhitelistedIde.Plugin.Tactic.Judgements
isTopHoleIde.Plugin.Tactic.Judgements
isTopLevelIde.Plugin.Tactic.Judgements
iterateSplitIde.Plugin.Tactic.CaseSplit