hls-tactics-plugin-1.3.0.0: Wingman plugin for Haskell Language Server (Index - S)

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

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
_
All

Index - S

sameTypeModuloLastApp	Wingman.Judgements.SYB
Saturated	Wingman.Tactics
Saturation	Wingman.Tactics
sc	Wingman.Metaprogramming.Lexer
scoreSolution	Wingman.Machinery
scrutinzedType	Wingman.EmptyCase
self	Wingman.Tactics
Shadowed	Wingman.Types
showLspMessage	Wingman.LanguageServer
simplify	Wingman.Simplify
SingleLet	Wingman.GHC
SinglePatMatch	Wingman.GHC
sloppyEqOccName	Wingman.GHC
SMC	Wingman.Metaprogramming.Parser.Documentation
solutionSize	Wingman.Machinery
SomeMetaprogramCommand	Wingman.Metaprogramming.Parser.Documentation
sorry	Wingman.Tactics
Span	Wingman.Types
spliceProvenance	Wingman.LanguageServer
split	Wingman.Tactics
splitAuto	Wingman.Tactics
splitConLike	Wingman.Tactics
splitDataCon	Wingman.Tactics
splitId	Wingman.Context
splitSingle	Wingman.Tactics
splitToDecl	Wingman.CaseSplit
staticPlugin	Wingman.StaticPlugin
Status	Wingman.Metaprogramming.ProofState
stem	Wingman.Naming
String	Wingman.Naming
substCTy	Wingman.Machinery
substJdg	Wingman.Judgements
symbol	Wingman.Metaprogramming.Lexer
symbol_	Wingman.Metaprogramming.Lexer
symchar	Wingman.Metaprogramming.Lexer
Syntax	Wingman.Metaprogramming.Parser.Documentation
Synthesized
1 (Type/Class)	Wingman.Types
2 (Data Constructor)	Wingman.Types
syn_recursion_count	Wingman.Types
syn_scoped	Wingman.Types
syn_trace	Wingman.Types
syn_used_vals	Wingman.Types
syn_val	Wingman.Types