dataConExTys | Ide.Plugin.Tactic.GHC |
dataConInstOrigArgTys' | Ide.Plugin.Tactic.CodeGen |
defaultTacticState | Ide.Plugin.Tactic.Types |
definedThetaType | Ide.Plugin.Tactic.Context |
deriveArbitrary | Ide.Plugin.Tactic.KnownStrategies.QuickCheck |
deriveFmap | Ide.Plugin.Tactic.KnownStrategies |
descriptor | Ide.Plugin.Tactic |
Destruct | Ide.Plugin.Tactic.TestTypes, Ide.Plugin.Tactic |
destruct | Ide.Plugin.Tactic.Tactics |
destruct' | Ide.Plugin.Tactic.CodeGen |
destructAuto | Ide.Plugin.Tactic.Tactics |
DestructLambdaCase | Ide.Plugin.Tactic.TestTypes, Ide.Plugin.Tactic |
destructLambdaCase | Ide.Plugin.Tactic.Tactics |
destructLambdaCase' | Ide.Plugin.Tactic.CodeGen |
destructMatches | Ide.Plugin.Tactic.CodeGen |
DisallowedPrv | Ide.Plugin.Tactic.Types |
disallowing | Ide.Plugin.Tactic.Judgements |
DisallowReason | Ide.Plugin.Tactic.Types |
doesTypeContain | Ide.Plugin.Tactic.KnownStrategies.QuickCheck |
dropEveryOther | Ide.Plugin.Tactic.Types |