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

Index - S

scoreSolutionIde.Plugin.Tactic.Machinery
ShadowedIde.Plugin.Tactic.Types
simplifyIde.Plugin.Tactic.Simplify
SinglePatMatchIde.Plugin.Tactic.GHC
solutionSizeIde.Plugin.Tactic.Machinery
SpanIde.Plugin.Tactic.Types
spliceProvenanceIde.Plugin.Tactic.LanguageServer
splitIde.Plugin.Tactic.Tactics
splitAutoIde.Plugin.Tactic.Tactics
splitDataConIde.Plugin.Tactic.Tactics
splitIdIde.Plugin.Tactic.Context
splitToDeclIde.Plugin.Tactic.CaseSplit
substCTyIde.Plugin.Tactic.Machinery
substJdgIde.Plugin.Tactic.Judgements