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

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 - C

C
1 (Type/Class)	Test.QuickSpec.Prelude, Test.QuickSpec
2 (Data Constructor)	Test.QuickSpec.Prelude
cast	Test.QuickSpec.Utils.Typeable
CC	Test.QuickSpec.Reasoning.CongruenceClosure
classes	Test.QuickSpec.TestTree
classify	Test.QuickSpec.Utils.TypeRel
con
1 (Function)	Test.QuickSpec.Term
2 (Function)	Test.QuickSpec.Signature, Test.QuickSpec
Const	Test.QuickSpec.Term
Constant
1 (Type/Class)	Test.QuickSpec.Term
2 (Data Constructor)	Test.QuickSpec.Term
constantApplications	Test.QuickSpec.Signature
constantArgs	Test.QuickSpec.Signature
constantRes	Test.QuickSpec.Signature
constants	Test.QuickSpec.Signature
constantSig	Test.QuickSpec.Signature
constantSymbols	Test.QuickSpec.Signature
Context
1 (Type/Class)	Test.QuickSpec.Reasoning.NaiveEquationalReasoning
2 (Data Constructor)	Test.QuickSpec.Reasoning.NaiveEquationalReasoning
3 (Type/Class)	Test.QuickSpec.Reasoning.PartialEquationalReasoning
4 (Data Constructor)	Test.QuickSpec.Reasoning.PartialEquationalReasoning
createUniverse	Test.QuickSpec.Reasoning.NaiveEquationalReasoning
cutOff	Test.QuickSpec.TestTree