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

Index - C

CantHaveAnEmptyDataTypeIde.Plugin.Tactic.FeatureSet
CaseIde.Plugin.Tactic.GHC
cfg_feature_setIde.Plugin.Tactic.TestTypes
ClassMethodPrvIde.Plugin.Tactic.Types
cloneTyVarIde.Plugin.Tactic.GHC
coerceNameIde.Plugin.Tactic.CodeGen.Utils, Ide.Plugin.Tactic.CodeGen
commandProviderIde.Plugin.Tactic.LanguageServer.TacticProviders
commandTacticIde.Plugin.Tactic.LanguageServer.TacticProviders
Config 
1 (Type/Class)Ide.Plugin.Tactic.TestTypes
2 (Data Constructor)Ide.Plugin.Tactic.TestTypes
containsHoleIde.Plugin.Tactic.GHC
containsHsVarIde.Plugin.Tactic.GHC
Context 
1 (Type/Class)Ide.Plugin.Tactic.Types
2 (Data Constructor)Ide.Plugin.Tactic.Types
contextMethodHypothesisIde.Plugin.Tactic.Context
countRecursiveCallIde.Plugin.Tactic.CodeGen
ctxDefiningFuncsIde.Plugin.Tactic.Types
ctxFeatureSetIde.Plugin.Tactic.Types
ctxModuleFuncsIde.Plugin.Tactic.Types
CType 
1 (Type/Class)Ide.Plugin.Tactic.Types
2 (Data Constructor)Ide.Plugin.Tactic.Types