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

Index - U

ufmSeverityWingman.LanguageServer
unary_occWingman.Metaprogramming.Parser
unary_occMWingman.Metaprogramming.Parser
unCTypeWingman.Types
UndefinedHypothesisWingman.Types
unExtractMWingman.Types
UnguardedRHSsWingman.GHC
UnhelpfulDestructWingman.Types
UnhelpfulSplitWingman.Types
unHypothesisWingman.Types
UnificationErrorWingman.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
unsetIsTopHoleWingman.Judgements
UnsolvedSubgoalsWingman.Types
unwhitelistingSplitWingman.Judgements
unXPatWingman.GHC
unzipTraceWingman.CodeGen
updateSubstWingman.Machinery
UseDataConWingman.Types, Wingman.Plugin, Ide.Plugin.Tactic
useNameFromContextWingman.Machinery
useNameFromHypothesisWingman.Machinery, Wingman.LanguageServer.TacticProviders
UserFacingMessageWingman.Types
userHypothesisWingman.Judgements
UserPrvWingman.Types
userSplitWingman.Tactics