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 |
Context | |
1 (Type/Class) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
2 (Data Constructor) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
createUniverse | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
cutOff | Test.QuickSpec.TestTree |