hls-tactics-plugin-1.3.0.0: Wingman plugin for Haskell Language Server
Contents
Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
_
All
Index - U
ufmSeverity
Wingman.LanguageServer
unary_occ
Wingman.Metaprogramming.Parser
unary_occM
Wingman.Metaprogramming.Parser
uncoveredDataCons
Wingman.Machinery
unCType
Wingman.Types
unExtractM
Wingman.Types
UnguardedRHSs
Wingman.GHC
UnhelpfulDestruct
Wingman.Types
UnhelpfulRecursion
Wingman.Types
unHypothesis
Wingman.Types
unify
Wingman.Machinery
Uniquely
1 (Type/Class)
Wingman.Types
2 (Data Constructor)
Wingman.Types
unpackMatches
Wingman.GHC
unsafeDefaultUniqueSupply
Wingman.Types
unsafeRender
Wingman.Debug
, Wingman.Types
unsafeRender'
Wingman.Debug
, Wingman.Types
unsafeRunStaleIde
Wingman.LanguageServer
Unsaturated
Wingman.Tactics
unsetIsTopHole
Wingman.Judgements
unwhitelistingSplit
Wingman.Judgements
unXPat
Wingman.GHC
unzipTrace
Wingman.CodeGen
updateSubst
Wingman.GHC
use
Wingman.Tactics
UseDataCon
Wingman.Types
,
Wingman.Plugin
,
Ide.Plugin.Tactic
useNameFromContext
Wingman.Machinery
useNameFromHypothesis
Wingman.Machinery
,
Wingman.LanguageServer.TacticProviders
UserFacingMessage
Wingman.Types
userHypothesis
Wingman.Judgements
UserPrv
Wingman.Types
userSplit
Wingman.Tactics