| $$ | Test.QuickSpec.Reasoning.CongruenceClosure |
| :=: | Test.QuickSpec.Equation |
| :> | Test.QuickSpec.Reasoning.UnionFind |
| =:= | |
| 1 (Function) | Test.QuickSpec.Reasoning.UnionFind |
| 2 (Function) | Test.QuickSpec.Reasoning.CongruenceClosure |
| 3 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| =?= | |
| 1 (Function) | Test.QuickSpec.Reasoning.CongruenceClosure |
| 2 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| A | |
| 1 (Type/Class) | Test.QuickSpec.Prelude, Test.QuickSpec |
| 2 (Data Constructor) | Test.QuickSpec.Prelude |
| App | Test.QuickSpec.Term |
| app | Test.QuickSpec.Term |
| approximate | Test.QuickSpec.Approximate |
| args | Test.QuickSpec.Term |
| argumentTypes | Test.QuickSpec.Signature |
| argUse | Test.QuickSpec.Reasoning.CongruenceClosure |
| arith | Test.QuickSpec.Prelude, Test.QuickSpec |
| arity | Test.QuickSpec.Term |
| Atom | |
| 1 (Type/Class) | Test.QuickSpec.Term |
| 2 (Data Constructor) | Test.QuickSpec.Term |
| B | |
| 1 (Type/Class) | Test.QuickSpec.Prelude, Test.QuickSpec |
| 2 (Data Constructor) | Test.QuickSpec.Prelude |
| background | Test.QuickSpec.Signature, Test.QuickSpec |
| blind0 | Test.QuickSpec.Signature, Test.QuickSpec |
| blind1 | Test.QuickSpec.Signature, Test.QuickSpec |
| blind2 | Test.QuickSpec.Signature, Test.QuickSpec |
| blind3 | Test.QuickSpec.Signature, Test.QuickSpec |
| blind4 | Test.QuickSpec.Signature, Test.QuickSpec |
| bools | Test.QuickSpec.Prelude, Test.QuickSpec |
| 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 |
| defines | Test.QuickSpec.Main |
| definitions | Test.QuickSpec.Main |
| depth | Test.QuickSpec.Term |
| disambiguate | Test.QuickSpec.Signature |
| discrete | Test.QuickSpec.TestTree |
| disperse | Test.QuickSpec.Utils.TypeRel |
| empty | |
| 1 (Function) | Test.QuickSpec.Utils.TypeMap |
| 2 (Function) | Test.QuickSpec.Utils.TypeRel |
| emptySig | Test.QuickSpec.Signature |
| EQ | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| Equation | Test.QuickSpec.Equation |
| equations | Test.QuickSpec.Equation |
| erase | Test.QuickSpec.Utils.Typed |
| eraseClasses | Test.QuickSpec.Generate |
| eval | Test.QuickSpec.Term |
| evalCC | Test.QuickSpec.Reasoning.CongruenceClosure |
| evalEQ | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| evalUF | Test.QuickSpec.Reasoning.UnionFind |
| execCC | Test.QuickSpec.Reasoning.CongruenceClosure |
| execEQ | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| execUF | Test.QuickSpec.Reasoning.UnionFind |
| Expr | |
| 1 (Type/Class) | Test.QuickSpec.Term |
| 2 (Data Constructor) | Test.QuickSpec.Term |
| findWitness | Test.QuickSpec.Signature |
| flatten | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| fromList | |
| 1 (Function) | Test.QuickSpec.Utils.TypeMap |
| 2 (Function) | Test.QuickSpec.Utils.TypeRel |
| frozen | Test.QuickSpec.Reasoning.CongruenceClosure |
| fun0 | Test.QuickSpec.Signature, Test.QuickSpec |
| fun1 | Test.QuickSpec.Signature, Test.QuickSpec |
| fun2 | Test.QuickSpec.Signature, Test.QuickSpec |
| fun3 | Test.QuickSpec.Signature, Test.QuickSpec |
| fun4 | Test.QuickSpec.Signature, Test.QuickSpec |
| functor | Test.QuickSpec.Term |
| funs | |
| 1 (Function) | Test.QuickSpec.Term |
| 2 (Function) | Test.QuickSpec.Prelude, Test.QuickSpec |
| funUse | Test.QuickSpec.Reasoning.CongruenceClosure |
| gather | Test.QuickSpec.Utils.TypeRel |
| gcast | Test.QuickSpec.Utils.Typeable |
| generate | Test.QuickSpec.Generate |
| genPartial | Test.QuickSpec.Approximate |
| genSeeds | Test.QuickSpec.Generate |
| get | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| GP | Test.QuickSpec.Approximate |
| gvars | Test.QuickSpec.Signature, Test.QuickSpec |
| holes | Test.QuickSpec.Term |
| index | Test.QuickSpec.Term |
| inhabitedTypes | Test.QuickSpec.Signature |
| initial | |
| 1 (Function) | Test.QuickSpec.Reasoning.UnionFind |
| 2 (Function) | Test.QuickSpec.Reasoning.CongruenceClosure |
| 3 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| isOp | Test.QuickSpec.Term |
| isRep | Test.QuickSpec.Reasoning.UnionFind |
| isSorted | Test.QuickSpec.Utils |
| isSortedBy | Test.QuickSpec.Utils |
| isUndefined | Test.QuickSpec.Term |
| lhsWitnesses | Test.QuickSpec.Signature |
| liftCC | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| lifted | Test.QuickSpec.Approximate |
| List | Test.QuickSpec.Utils.Typed |
| lists | Test.QuickSpec.Prelude, Test.QuickSpec |
| lookup | |
| 1 (Function) | Test.QuickSpec.Reasoning.CongruenceClosure |
| 2 (Function) | Test.QuickSpec.Utils.TypeMap |
| 3 (Function) | Test.QuickSpec.Utils.TypeRel |
| lookupWitness | Test.QuickSpec.Signature |
| mapConstant | Test.QuickSpec.Term |
| mapSome | Test.QuickSpec.Utils.Typed |
| mapSome2 | Test.QuickSpec.Utils.Typed |
| mapSomeM | Test.QuickSpec.Utils.Typed |
| mapValues | |
| 1 (Function) | Test.QuickSpec.Utils.TypeMap |
| 2 (Function) | Test.QuickSpec.Utils.TypeRel |
| mapValues2 | Test.QuickSpec.Utils.TypeMap |
| mapVariable | Test.QuickSpec.Term |
| mapVars | Test.QuickSpec.Term |
| maxDepth | |
| 1 (Function) | Test.QuickSpec.Signature |
| 2 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| maxDepth_ | Test.QuickSpec.Signature |
| merge | Test.QuickSpec.Utils |
| minTests | Test.QuickSpec.Signature |
| minTests_ | Test.QuickSpec.Signature |
| mkFunTy | Test.QuickSpec.Utils.Typeable |
| mkTyConApp | Test.QuickSpec.Utils.Typeable |
| name | Test.QuickSpec.Term |
| newSym | |
| 1 (Function) | Test.QuickSpec.Reasoning.UnionFind |
| 2 (Function) | Test.QuickSpec.Reasoning.CongruenceClosure |
| numTests | Test.QuickSpec.TestTree |
| O | |
| 1 (Type/Class) | Test.QuickSpec.Utils.Typed |
| 2 (Data Constructor) | Test.QuickSpec.Utils.Typed |
| observe | Test.QuickSpec.Signature |
| Observer | |
| 1 (Type/Class) | Test.QuickSpec.Signature |
| 2 (Data Constructor) | Test.QuickSpec.Signature |
| observer1 | Test.QuickSpec.Signature, Test.QuickSpec |
| observer2 | Test.QuickSpec.Signature, Test.QuickSpec |
| observer3 | Test.QuickSpec.Signature, Test.QuickSpec |
| observer4 | Test.QuickSpec.Signature, Test.QuickSpec |
| observers | Test.QuickSpec.Signature |
| observerSig | Test.QuickSpec.Signature |
| observing | Test.QuickSpec.Signature |
| One | Test.QuickSpec.Prelude |
| ord | Test.QuickSpec.Signature |
| ords | Test.QuickSpec.Signature |
| ordSig | Test.QuickSpec.Signature |
| orElse | Test.QuickSpec.Utils |
| Partial | Test.QuickSpec.Approximate |
| partitionBy | Test.QuickSpec.Utils |
| Plug | |
| 1 (Type/Class) | Test.QuickSpec.Approximate |
| 2 (Data Constructor) | Test.QuickSpec.Approximate |
| plug | Test.QuickSpec.Approximate |
| pobserver | Test.QuickSpec.Approximate |
| prelude | Test.QuickSpec.Prelude, Test.QuickSpec |
| primCon0 | Test.QuickSpec.Signature |
| primCon1 | Test.QuickSpec.Signature |
| primCon2 | Test.QuickSpec.Signature |
| primCon3 | Test.QuickSpec.Signature |
| primCon4 | Test.QuickSpec.Signature |
| prune | Test.QuickSpec.Main |
| put | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| pvars | Test.QuickSpec.Approximate |
| quickSpec | Test.QuickSpec.Main, Test.QuickSpec |
| rel | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| rep | |
| 1 (Function) | Test.QuickSpec.Reasoning.UnionFind |
| 2 (Function) | Test.QuickSpec.Reasoning.CongruenceClosure |
| 3 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| 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 |
| runTool | Test.QuickSpec.Main |
| runUF | Test.QuickSpec.Reasoning.UnionFind |
| 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 |
| tag | Test.QuickSpec.Utils.Typed |
| Tagged | |
| 1 (Type/Class) | Test.QuickSpec.Utils.Typed |
| 2 (Data Constructor) | Test.QuickSpec.Utils.Typed |
| tagged | Test.QuickSpec.Utils.Typed |
| Term | Test.QuickSpec.Term |
| term | Test.QuickSpec.Term |
| terms | |
| 1 (Function) | Test.QuickSpec.TestTree |
| 2 (Function) | Test.QuickSpec.Generate |
| terms' | Test.QuickSpec.Generate |
| test | |
| 1 (Function) | Test.QuickSpec.TestTree |
| 2 (Function) | Test.QuickSpec.Generate |
| test' | Test.QuickSpec.Generate |
| testable | Test.QuickSpec.Signature |
| TestResults | Test.QuickSpec.TestTree |
| TestTree | Test.QuickSpec.TestTree |
| toList | |
| 1 (Function) | Test.QuickSpec.Utils.TypeMap |
| 2 (Function) | Test.QuickSpec.Utils.TypeRel |
| Two | |
| 1 (Type/Class) | Test.QuickSpec.Prelude, Test.QuickSpec |
| 2 (Data Constructor) | Test.QuickSpec.Prelude |
| Typeable | Test.QuickSpec.Utils.Typeable |
| Typeable1 | Test.QuickSpec.Utils.Typeable |
| Typeable2 | Test.QuickSpec.Utils.Typeable |
| TypeMap | Test.QuickSpec.Utils.TypeMap |
| typeOf | Test.QuickSpec.Utils.Typeable |
| typeOf1 | Test.QuickSpec.Utils.Typeable |
| TypeRel | Test.QuickSpec.Utils.TypeRel |
| TypeRep | Test.QuickSpec.Utils.Typeable |
| typeRepTyCon | Test.QuickSpec.Utils.Typeable |
| typeSig | Test.QuickSpec.Signature |
| UF | Test.QuickSpec.Reasoning.UnionFind |
| unbuffered | Test.QuickSpec.Utils |
| unConstant | Test.QuickSpec.Term |
| undef | Test.QuickSpec.Term |
| undefinedSig | Test.QuickSpec.Signature |
| undefinedsSig | Test.QuickSpec.Main |
| unifiable | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| unify | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| union | Test.QuickSpec.TestTree |
| Universe | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| universe | |
| 1 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| 2 (Function) | Test.QuickSpec.Main |
| unlifted | Test.QuickSpec.Approximate |
| unO | Test.QuickSpec.Utils.Typed |
| unPlug | Test.QuickSpec.Approximate |
| unTypeRep | Test.QuickSpec.Utils.Typeable |
| unVariable | Test.QuickSpec.Term |
| updateDepth | Test.QuickSpec.Signature |
| updateMinTests | Test.QuickSpec.Signature |
| Used | |
| 1 (Type/Class) | Test.QuickSpec.Signature |
| 2 (Data Constructor) | Test.QuickSpec.Signature |
| uses | Test.QuickSpec.Signature |
| usort | Test.QuickSpec.Utils |
| valuation | Test.QuickSpec.Term |
| value | Test.QuickSpec.Term |
| Var | Test.QuickSpec.Term |
| var | Test.QuickSpec.Term |
| Variable | |
| 1 (Type/Class) | Test.QuickSpec.Term |
| 2 (Data Constructor) | Test.QuickSpec.Term |
| variables | Test.QuickSpec.Signature |
| variableSig | Test.QuickSpec.Signature |
| variableTypes | Test.QuickSpec.Signature |
| vars | |
| 1 (Function) | Test.QuickSpec.Term |
| 2 (Function) | Test.QuickSpec.Signature, Test.QuickSpec |
| withDepth | Test.QuickSpec.Signature, Test.QuickSpec |
| without | Test.QuickSpec.Signature, Test.QuickSpec |
| withTests | Test.QuickSpec.Signature, Test.QuickSpec |
| Witness | |
| 1 (Type/Class) | Test.QuickSpec.Utils.Typed |
| 2 (Data Constructor) | Test.QuickSpec.Utils.Typed |
| witness | Test.QuickSpec.Utils.Typed |
| witnessArrow | Test.QuickSpec.Signature |
| Witnessed | Test.QuickSpec.Utils.Typed |
| witnesses | Test.QuickSpec.Signature |
| witnessType | Test.QuickSpec.Utils.Typed |