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

Index - W

WingmanMetaprogramWingman.StaticPlugin
wingmanRulesWingman.LanguageServer
withWingman.Naming
withModifiedGoalWingman.Judgements
withNewCoercionsWingman.Judgements
withNewGoalWingman.Judgements
with_argWingman.Tactics
wrapErrorWingman.Metaprogramming.Parser
WriteDiagnostics 
1 (Type/Class)Wingman.LanguageServer
2 (Data Constructor)Wingman.LanguageServer
writeDocumentationWingman.Metaprogramming.Parser
WrongBranchWingman.Types