Index - D
| deep | Wingman.Tactics |
| deepening | Wingman.Tactics |
| defaultTacticState | Wingman.Types |
| deriveArbitrary | Wingman.KnownStrategies.QuickCheck |
| deriveFmap | Wingman.KnownStrategies |
| deriveMappend | Wingman.KnownStrategies |
| deriveMempty | Wingman.KnownStrategies |
| descriptor | Wingman.Plugin, Ide.Plugin.Tactic |
| Destruct | Wingman.Types |
| destruct | Wingman.Tactics |
| destruct' | Wingman.CodeGen |
| DestructAll | Wingman.Types |
| destructAll | Wingman.Tactics |
| destructAuto | Wingman.Tactics |
| destructionFor | Wingman.CodeGen |
| DestructLambdaCase | Wingman.Types |
| destructLambdaCase | Wingman.Tactics |
| destructLambdaCase' | Wingman.CodeGen |
| destructMatches | Wingman.CodeGen |
| destructOrHomoAuto | Wingman.Tactics |
| DestructPun | Wingman.Types |
| destructPun | Wingman.Tactics |
| Determinism | Wingman.Metaprogramming.Parser.Documentation |
| Deterministic | Wingman.Metaprogramming.Parser.Documentation |
| DisallowedPrv | Wingman.Types |
| disallowing | Wingman.Judgements |
| DisallowReason | Wingman.Types |
| doesTypeContain | Wingman.KnownStrategies.QuickCheck |
| dropEveryOther | Wingman.Types |