hls-tactics-plugin-0.5.1.0: Tactics plugin for Haskell Language Server (Index - S)

hls-tactics-plugin-0.5.1.0: Tactics 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

scoreSolution	Ide.Plugin.Tactic.Machinery
Shadowed	Ide.Plugin.Tactic.Types
solutionSize	Ide.Plugin.Tactic.Machinery
Span	Ide.Plugin.Tactic.Types
split	Ide.Plugin.Tactic.Tactics
splitAuto	Ide.Plugin.Tactic.Tactics
splitDataCon	Ide.Plugin.Tactic.Tactics
splitId	Ide.Plugin.Tactic.Context
substCTy	Ide.Plugin.Tactic.Machinery
substJdg	Ide.Plugin.Tactic.Judgements