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

Index - S

sameTypeModuloLastAppWingman.Judgements.SYB
SaturatedWingman.Tactics
SaturationWingman.Tactics
scWingman.Metaprogramming.Lexer
scoreSolutionWingman.Machinery
scrutinzedTypeWingman.EmptyCase
secondsWingman.AbstractLSP.TacticActions
selfWingman.Tactics
ShadowedWingman.Types
showLspMessageWingman.LanguageServer
simplifyWingman.Simplify
SingleLetWingman.GHC
SinglePatMatchWingman.GHC
sloppyEqOccNameWingman.GHC
SMCWingman.Metaprogramming.Parser.Documentation
solutionSizeWingman.Machinery
SomeMetaprogramCommandWingman.Metaprogramming.Parser.Documentation
sorryWingman.Tactics
SpanWingman.Types
spliceProvenanceWingman.LanguageServer
splitWingman.Tactics
splitAutoWingman.Tactics
splitConLikeWingman.Tactics
splitDataConWingman.Tactics
splitIdWingman.Context
splitSingleWingman.Tactics
splitToDeclWingman.CaseSplit
staticPluginWingman.StaticPlugin
StatusWingman.Metaprogramming.ProofState
stemWingman.Naming
StringWingman.Naming
subgoalWithWingman.Tactics
substCTyWingman.Machinery
substJdgWingman.Judgements
symbolWingman.Metaprogramming.Lexer
symbol_Wingman.Metaprogramming.Lexer
symcharWingman.Metaprogramming.Lexer
SyntaxWingman.Metaprogramming.Parser.Documentation
SynthesizeCodeActionWingman.AbstractLSP.Types
SynthesizeCodeLensWingman.AbstractLSP.Types
SynthesizeCommandWingman.AbstractLSP.Types
Synthesized 
1 (Type/Class)Wingman.Types
2 (Data Constructor)Wingman.Types
syn_recursion_countWingman.Types
syn_scopedWingman.Types
syn_traceWingman.Types
syn_used_valsWingman.Types
syn_valWingman.Types