quickspec-0.9: Equational laws for free (Index - S)

quickspec-0.9: 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 - S

S
1 (Type/Class)	Test.QuickSpec.Reasoning.UnionFind
2 (Type/Class)	Test.QuickSpec.Reasoning.CongruenceClosure
sampleList	Test.QuickSpec.Main
sampleTerms	Test.QuickSpec.Main, Test.QuickSpec
saturatedTypes	Test.QuickSpec.Signature
showEquation	Test.QuickSpec.Equation
showOp	Test.QuickSpec.Term
Sig
1 (Type/Class)	Test.QuickSpec.Signature, Test.QuickSpec
2 (Data Constructor)	Test.QuickSpec.Signature
Signature	Test.QuickSpec.Signature, Test.QuickSpec
signature	Test.QuickSpec.Signature, Test.QuickSpec
silent	Test.QuickSpec.Term
singleton
1 (Function)	Test.QuickSpec.Utils.TypeMap
2 (Function)	Test.QuickSpec.Utils.TypeRel
size	Test.QuickSpec.Term
Some
1 (Type/Class)	Test.QuickSpec.Utils.Typed
2 (Data Constructor)	Test.QuickSpec.Utils.Typed
some	Test.QuickSpec.Utils.Typed
some2	Test.QuickSpec.Utils.Typed
someType	Test.QuickSpec.Utils.Typed
someWitness	Test.QuickSpec.Utils.Typed
splitArrow	Test.QuickSpec.Utils.Typed
splitTyConApp	Test.QuickSpec.Utils.Typeable
spoony	Test.QuickSpec.Utils
Subst	Test.QuickSpec.Reasoning.NaiveEquationalReasoning
subst	Test.QuickSpec.Reasoning.NaiveEquationalReasoning
substs	Test.QuickSpec.Reasoning.NaiveEquationalReasoning
summarise	Test.QuickSpec.Signature
sym	Test.QuickSpec.Term
Symbol
1 (Type/Class)	Test.QuickSpec.Term
2 (Data Constructor)	Test.QuickSpec.Term
symbol	Test.QuickSpec.Term
symbolArity	Test.QuickSpec.Term
symbols	Test.QuickSpec.Term
symbolType	Test.QuickSpec.Term