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

Index - D

dataConExTysIde.Plugin.Tactic.GHC
dataConInstOrigArgTys'Ide.Plugin.Tactic.CodeGen
defaultFeaturesIde.Plugin.Tactic.FeatureSet
defaultTacticStateIde.Plugin.Tactic.Types
definedThetaTypeIde.Plugin.Tactic.Context
deriveArbitraryIde.Plugin.Tactic.KnownStrategies.QuickCheck
deriveFmapIde.Plugin.Tactic.KnownStrategies
descriptorIde.Plugin.Tactic
DestructIde.Plugin.Tactic.TestTypes, Ide.Plugin.Tactic
destructIde.Plugin.Tactic.Tactics
destruct'Ide.Plugin.Tactic.CodeGen
destructAutoIde.Plugin.Tactic.Tactics
DestructLambdaCaseIde.Plugin.Tactic.TestTypes, Ide.Plugin.Tactic
destructLambdaCaseIde.Plugin.Tactic.Tactics
destructLambdaCase'Ide.Plugin.Tactic.CodeGen
destructMatchesIde.Plugin.Tactic.CodeGen
DisallowedPrvIde.Plugin.Tactic.Types
disallowingIde.Plugin.Tactic.Judgements
DisallowReasonIde.Plugin.Tactic.Types
doesTypeContainIde.Plugin.Tactic.KnownStrategies.QuickCheck
dropEveryOtherIde.Plugin.Tactic.Types