quickspec-0.9.6: Equational laws for free! (Index - R)

quickspec-0.9.6: Equational laws for free!

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
:
$
=
All

Index - R

rel	Test.QuickSpec.Reasoning.NaiveEquationalReasoning
rep
1 (Function)	Test.QuickSpec.Reasoning.UnionFind
2 (Function)	Test.QuickSpec.Reasoning.CongruenceClosure
3 (Function)	Test.QuickSpec.Reasoning.NaiveEquationalReasoning
4 (Function)	Test.QuickSpec.Reasoning.PartialEquationalReasoning
repeatM	Test.QuickSpec.Utils
Replacement	Test.QuickSpec.Reasoning.UnionFind
reps	Test.QuickSpec.TestTree
rightArrow	Test.QuickSpec.Utils.Typed
runCC	Test.QuickSpec.Reasoning.CongruenceClosure
runEQ	Test.QuickSpec.Reasoning.NaiveEquationalReasoning
runPEQ	Test.QuickSpec.Reasoning.PartialEquationalReasoning
runTool	Test.QuickSpec.Main
runUF	Test.QuickSpec.Reasoning.UnionFind