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

Index - U

ufmSeverityWingman.LanguageServer
unary_occWingman.Metaprogramming.Parser
unary_occMWingman.Metaprogramming.Parser
uncoveredDataConsWingman.Machinery
unCTypeWingman.Types
unExtractMWingman.Types
UnguardedRHSsWingman.GHC
UnhelpfulDestructWingman.Types
UnhelpfulRecursionWingman.Types
unHypothesisWingman.Types
unifyWingman.Machinery
Uniquely 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
unpackMatchesWingman.GHC
unsafeDefaultUniqueSupplyWingman.Types
unsafeRenderWingman.Debug, Wingman.Types
unsafeRender'Wingman.Debug, Wingman.Types
unsafeRunStaleIdeWingman.LanguageServer
UnsaturatedWingman.Tactics
unsetIsTopHoleWingman.Judgements
unwhitelistingSplitWingman.Judgements
unXPatWingman.GHC
unzipTraceWingman.CodeGen
updateSubstWingman.GHC
useWingman.Tactics
UseDataConWingman.Types, Wingman.Plugin, Ide.Plugin.Tactic
useNameFromContextWingman.Machinery
useNameFromHypothesisWingman.Machinery, Wingman.LanguageServer.TacticProviders
UserFacingMessageWingman.Types
userHypothesisWingman.Judgements
UserPrvWingman.Types
userSplitWingman.Tactics