hls-tactics-plugin-1.3.0.0: Wingman plugin for Haskell Language Server (Index - D)

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

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
_
All

Index - D

dataConExTys	Wingman.GHC
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, Wingman.Plugin, Ide.Plugin.Tactic
destruct	Wingman.Tactics
destruct'	Wingman.CodeGen
DestructAll	Wingman.Types, Wingman.Plugin, Ide.Plugin.Tactic
destructAll	Wingman.Tactics
destructAuto	Wingman.Tactics
destructionFor	Wingman.CodeGen
DestructLambdaCase	Wingman.Types, Wingman.Plugin, Ide.Plugin.Tactic
destructLambdaCase	Wingman.Tactics
destructLambdaCase'	Wingman.CodeGen
destructMatches	Wingman.CodeGen
destructOrHomoAuto	Wingman.Tactics
DestructPun	Wingman.Types, Wingman.Plugin, Ide.Plugin.Tactic
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