quickspec-0.9.6: Equational laws for free!

Index

$$Test.QuickSpec.Reasoning.CongruenceClosure
:=:Test.QuickSpec.Equation
:==:Test.QuickSpec.Equation
:>Test.QuickSpec.Reasoning.UnionFind
:\/:Test.QuickSpec.Reasoning.PartialEquationalReasoning
=:= 
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
alwaysTest.QuickSpec.TestTotality
AppTest.QuickSpec.Term
appTest.QuickSpec.Term
approximateTest.QuickSpec.Approximate
argsTest.QuickSpec.Term
argumentTypesTest.QuickSpec.Signature
argUseTest.QuickSpec.Reasoning.CongruenceClosure
arithTest.QuickSpec.Prelude, Test.QuickSpec
arityTest.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
backgroundTest.QuickSpec.Signature, Test.QuickSpec
blind0Test.QuickSpec.Signature, Test.QuickSpec
blind1Test.QuickSpec.Signature, Test.QuickSpec
blind2Test.QuickSpec.Signature, Test.QuickSpec
blind3Test.QuickSpec.Signature, Test.QuickSpec
blind4Test.QuickSpec.Signature, Test.QuickSpec
blind5Test.QuickSpec.Signature, Test.QuickSpec
boolsTest.QuickSpec.Prelude, Test.QuickSpec
C 
1 (Type/Class)Test.QuickSpec.Prelude, Test.QuickSpec
2 (Data Constructor)Test.QuickSpec.Prelude
castTest.QuickSpec.Utils.Typeable
CCTest.QuickSpec.Reasoning.CongruenceClosure
classesTest.QuickSpec.TestTree
classifyTest.QuickSpec.Utils.TypeRel
con 
1 (Function)Test.QuickSpec.Term
2 (Function)Test.QuickSpec.Signature, Test.QuickSpec
ConstTest.QuickSpec.Term
Constant 
1 (Type/Class)Test.QuickSpec.Term
2 (Data Constructor)Test.QuickSpec.Term
constantApplicationsTest.QuickSpec.Signature
constantArgsTest.QuickSpec.Signature
constantResTest.QuickSpec.Signature
constantsTest.QuickSpec.Signature
constantSigTest.QuickSpec.Signature
constantSymbolsTest.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
createUniverseTest.QuickSpec.Reasoning.NaiveEquationalReasoning
cutOffTest.QuickSpec.TestTree
definesTest.QuickSpec.Main
definitionsTest.QuickSpec.Main
depthTest.QuickSpec.Term
disambiguateTest.QuickSpec.Signature
discreteTest.QuickSpec.TestTree
disperseTest.QuickSpec.Utils.TypeRel
empty 
1 (Function)Test.QuickSpec.Utils.TypeMap
2 (Function)Test.QuickSpec.Utils.TypeRel
emptySigTest.QuickSpec.Signature
EQTest.QuickSpec.Reasoning.NaiveEquationalReasoning
equal 
1 (Function)Test.QuickSpec.Reasoning.NaiveEquationalReasoning
2 (Function)Test.QuickSpec.Reasoning.PartialEquationalReasoning
EquationTest.QuickSpec.Equation
equationsTest.QuickSpec.Equation
eraseTest.QuickSpec.Utils.Typed
eraseClassesTest.QuickSpec.Generate
eraseEquationTest.QuickSpec.Equation
evalTest.QuickSpec.Term
evalCCTest.QuickSpec.Reasoning.CongruenceClosure
evalEQTest.QuickSpec.Reasoning.NaiveEquationalReasoning
evalPEQTest.QuickSpec.Reasoning.PartialEquationalReasoning
evalUFTest.QuickSpec.Reasoning.UnionFind
execCCTest.QuickSpec.Reasoning.CongruenceClosure
execEQTest.QuickSpec.Reasoning.NaiveEquationalReasoning
execPEQTest.QuickSpec.Reasoning.PartialEquationalReasoning
execUFTest.QuickSpec.Reasoning.UnionFind
Expr 
1 (Type/Class)Test.QuickSpec.Term
2 (Data Constructor)Test.QuickSpec.Term
findWitnessTest.QuickSpec.Signature
flattenTest.QuickSpec.Reasoning.NaiveEquationalReasoning
fromList 
1 (Function)Test.QuickSpec.Utils.TypeMap
2 (Function)Test.QuickSpec.Utils.TypeRel
frozenTest.QuickSpec.Reasoning.CongruenceClosure
fun0Test.QuickSpec.Signature, Test.QuickSpec
fun1Test.QuickSpec.Signature, Test.QuickSpec
fun2Test.QuickSpec.Signature, Test.QuickSpec
fun3Test.QuickSpec.Signature, Test.QuickSpec
fun4Test.QuickSpec.Signature, Test.QuickSpec
fun5Test.QuickSpec.Signature, Test.QuickSpec
functorTest.QuickSpec.Term
funs 
1 (Function)Test.QuickSpec.Term
2 (Function)Test.QuickSpec.Prelude, Test.QuickSpec
funUseTest.QuickSpec.Reasoning.CongruenceClosure
gatherTest.QuickSpec.Utils.TypeRel
gcastTest.QuickSpec.Utils.Typeable
generateTest.QuickSpec.Generate
generateTermsSatisfyingTest.QuickSpec.Generate
genPartialTest.QuickSpec.Approximate
genSeedsTest.QuickSpec.Generate
get 
1 (Function)Test.QuickSpec.Reasoning.NaiveEquationalReasoning
2 (Function)Test.QuickSpec.Reasoning.PartialEquationalReasoning
GPTest.QuickSpec.Approximate
gvarsTest.QuickSpec.Signature, Test.QuickSpec
gvars'Test.QuickSpec.Signature
gvars0Test.QuickSpec.Signature
gvars1Test.QuickSpec.Signature
gvars2Test.QuickSpec.Signature
holesTest.QuickSpec.Term
indexTest.QuickSpec.Term
inhabitedTypesTest.QuickSpec.Signature
initial 
1 (Function)Test.QuickSpec.Reasoning.UnionFind
2 (Function)Test.QuickSpec.Reasoning.CongruenceClosure
3 (Function)Test.QuickSpec.Reasoning.NaiveEquationalReasoning
4 (Function)Test.QuickSpec.Reasoning.PartialEquationalReasoning
innerZipTest.QuickSpec.Main
irrelevantTest.QuickSpec.Reasoning.PartialEquationalReasoning
isOpTest.QuickSpec.Term
isRepTest.QuickSpec.Reasoning.UnionFind
isSortedTest.QuickSpec.Utils
isSortedByTest.QuickSpec.Utils
isUndefinedTest.QuickSpec.Term
lhsWitnessesTest.QuickSpec.Signature
liftCCTest.QuickSpec.Reasoning.NaiveEquationalReasoning
liftedTest.QuickSpec.Approximate
liftEQTest.QuickSpec.Reasoning.PartialEquationalReasoning
ListTest.QuickSpec.Utils.Typed
listsTest.QuickSpec.Prelude, Test.QuickSpec
lookup 
1 (Function)Test.QuickSpec.Reasoning.CongruenceClosure
2 (Function)Test.QuickSpec.Utils.TypeMap
3 (Function)Test.QuickSpec.Utils.TypeRel
lookupWitnessTest.QuickSpec.Signature
mapConstantTest.QuickSpec.Term
mapConstsTest.QuickSpec.Term
mapSomeTest.QuickSpec.Utils.Typed
mapSome2Test.QuickSpec.Utils.Typed
mapSomeMTest.QuickSpec.Utils.Typed
mapValues 
1 (Function)Test.QuickSpec.Utils.TypeMap
2 (Function)Test.QuickSpec.Utils.TypeRel
mapValues2Test.QuickSpec.Utils.TypeMap
mapVariableTest.QuickSpec.Term
mapVarsTest.QuickSpec.Term
maxDepth 
1 (Function)Test.QuickSpec.Signature
2 (Function)Test.QuickSpec.Reasoning.NaiveEquationalReasoning
maxDepth_Test.QuickSpec.Signature
maxQuickCheckSizeTest.QuickSpec.Signature
maxQuickCheckSize_Test.QuickSpec.Signature
maxSizeTest.QuickSpec.Signature
maxSize_Test.QuickSpec.Signature
mergeTest.QuickSpec.Utils
minTestsTest.QuickSpec.Signature
minTests_Test.QuickSpec.Signature
mkFunTyTest.QuickSpec.Utils.Typeable
mkTyConAppTest.QuickSpec.Utils.Typeable
nameTest.QuickSpec.Term
newSym 
1 (Function)Test.QuickSpec.Reasoning.UnionFind
2 (Function)Test.QuickSpec.Reasoning.CongruenceClosure
NoTargetTest.QuickSpec.Main
numResultsTest.QuickSpec.TestTree
numTestsTest.QuickSpec.TestTree
O 
1 (Type/Class)Test.QuickSpec.Utils.Typed
2 (Data Constructor)Test.QuickSpec.Utils.Typed
observeTest.QuickSpec.Signature
Observer 
1 (Type/Class)Test.QuickSpec.Signature
2 (Data Constructor)Test.QuickSpec.Signature
observer1Test.QuickSpec.Signature, Test.QuickSpec
observer2Test.QuickSpec.Signature, Test.QuickSpec
observer3Test.QuickSpec.Signature, Test.QuickSpec
observer4Test.QuickSpec.Signature, Test.QuickSpec
observersTest.QuickSpec.Signature
observerSigTest.QuickSpec.Signature
observingTest.QuickSpec.Signature
OneTest.QuickSpec.Prelude
ordTest.QuickSpec.Signature
ordsTest.QuickSpec.Signature
ordSigTest.QuickSpec.Signature
orElseTest.QuickSpec.Utils
Partial 
1 (Type/Class)Test.QuickSpec.Approximate
2 (Data Constructor)Test.QuickSpec.Reasoning.PartialEquationalReasoning
partial 
1 (Function)Test.QuickSpec.Signature
2 (Function)Test.QuickSpec.Reasoning.PartialEquationalReasoning
partialGenTest.QuickSpec.Term
partialSigTest.QuickSpec.Signature
partitionByTest.QuickSpec.Utils
PEQTest.QuickSpec.Reasoning.PartialEquationalReasoning
PEquationTest.QuickSpec.Reasoning.PartialEquationalReasoning
PGen 
1 (Type/Class)Test.QuickSpec.Term
2 (Data Constructor)Test.QuickSpec.Term
pgenTest.QuickSpec.Term
Plug 
1 (Type/Class)Test.QuickSpec.Approximate
2 (Data Constructor)Test.QuickSpec.Approximate
plugTest.QuickSpec.Approximate
pobserverTest.QuickSpec.Approximate
PreconditionTest.QuickSpec.Reasoning.PartialEquationalReasoning
preconditionTest.QuickSpec.Reasoning.PartialEquationalReasoning
preludeTest.QuickSpec.Prelude, Test.QuickSpec
primCon0Test.QuickSpec.Signature
primCon1Test.QuickSpec.Signature
primCon2Test.QuickSpec.Signature
primCon3Test.QuickSpec.Signature
primCon4Test.QuickSpec.Signature
primCon5Test.QuickSpec.Signature
primVars0Test.QuickSpec.Signature
primVars1Test.QuickSpec.Signature
primVars2Test.QuickSpec.Signature
promoteValTest.QuickSpec.Term
pruneTest.QuickSpec.Main
put 
1 (Function)Test.QuickSpec.Reasoning.NaiveEquationalReasoning
2 (Function)Test.QuickSpec.Reasoning.PartialEquationalReasoning
pvarsTest.QuickSpec.Approximate
quickSpecTest.QuickSpec.Main, Test.QuickSpec
relTest.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
repeatMTest.QuickSpec.Utils
ReplacementTest.QuickSpec.Reasoning.UnionFind
repsTest.QuickSpec.TestTree
rightArrowTest.QuickSpec.Utils.Typed
runCCTest.QuickSpec.Reasoning.CongruenceClosure
runEQTest.QuickSpec.Reasoning.NaiveEquationalReasoning
runPEQTest.QuickSpec.Reasoning.PartialEquationalReasoning
runToolTest.QuickSpec.Main
runUFTest.QuickSpec.Reasoning.UnionFind
S 
1 (Type/Class)Test.QuickSpec.Reasoning.UnionFind
2 (Type/Class)Test.QuickSpec.Reasoning.CongruenceClosure
sampleListTest.QuickSpec.Main
sampleTermsTest.QuickSpec.Main, Test.QuickSpec
saturatedTypesTest.QuickSpec.Signature
SeveralTest.QuickSpec.Utils.Typed
severalTest.QuickSpec.Utils.Typed
showEquationTest.QuickSpec.Equation
showOpTest.QuickSpec.Term
showPEquationTest.QuickSpec.Reasoning.PartialEquationalReasoning
showTypedEquationTest.QuickSpec.Equation
Sig 
1 (Type/Class)Test.QuickSpec.Signature, Test.QuickSpec
2 (Data Constructor)Test.QuickSpec.Signature
SignatureTest.QuickSpec.Signature, Test.QuickSpec
signatureTest.QuickSpec.Signature, Test.QuickSpec
sigToHaskellTest.QuickSpec.Signature
silentTest.QuickSpec.Term
singleton 
1 (Function)Test.QuickSpec.Utils.TypeMap
2 (Function)Test.QuickSpec.Utils.TypeRel
sizeTest.QuickSpec.Term
Some 
1 (Type/Class)Test.QuickSpec.Utils.Typed
2 (Data Constructor)Test.QuickSpec.Utils.Typed
someTest.QuickSpec.Utils.Typed
some2Test.QuickSpec.Utils.Typed
someTypeTest.QuickSpec.Utils.Typed
someWitnessTest.QuickSpec.Utils.Typed
splitArrowTest.QuickSpec.Utils.Typed
splitTyConAppTest.QuickSpec.Utils.Typeable
spoonyTest.QuickSpec.Utils
StrategyTest.QuickSpec.Term
SubstTest.QuickSpec.Reasoning.NaiveEquationalReasoning
substTest.QuickSpec.Reasoning.NaiveEquationalReasoning
substsTest.QuickSpec.Reasoning.NaiveEquationalReasoning
summariseTest.QuickSpec.Signature
Summary 
1 (Type/Class)Test.QuickSpec.Signature
2 (Data Constructor)Test.QuickSpec.Signature
summaryBackgroundTest.QuickSpec.Signature
summaryDepthTest.QuickSpec.Signature
summaryFunctionsTest.QuickSpec.Signature
summaryNoVarsTest.QuickSpec.Signature
summaryObservedTest.QuickSpec.Signature
summaryQuickCheckSizeTest.QuickSpec.Signature
summarySizeTest.QuickSpec.Signature
summaryTestsTest.QuickSpec.Signature
summaryUninhabitedTest.QuickSpec.Signature
summaryUntestableTest.QuickSpec.Signature
summaryVariablesTest.QuickSpec.Signature
symTest.QuickSpec.Term
Symbol 
1 (Type/Class)Test.QuickSpec.Term
2 (Data Constructor)Test.QuickSpec.Term
symbolTest.QuickSpec.Term
symbolArityTest.QuickSpec.Term
symbols 
1 (Function)Test.QuickSpec.Term
2 (Function)Test.QuickSpec.Signature
symbolTypeTest.QuickSpec.Term
tagTest.QuickSpec.Utils.Typed
Tagged 
1 (Type/Class)Test.QuickSpec.Utils.Typed
2 (Data Constructor)Test.QuickSpec.Utils.Typed
taggedTest.QuickSpec.Utils.Typed
Target 
1 (Type/Class)Test.QuickSpec.Main
2 (Data Constructor)Test.QuickSpec.Main
targetTest.QuickSpec.Main
TermTest.QuickSpec.Term
termTest.QuickSpec.Term
terms 
1 (Function)Test.QuickSpec.TestTree
2 (Function)Test.QuickSpec.Generate
terms'Test.QuickSpec.Generate
termsSatisfyingTest.QuickSpec.Generate
test 
1 (Function)Test.QuickSpec.TestTree
2 (Function)Test.QuickSpec.Generate
test'Test.QuickSpec.Generate
testableTest.QuickSpec.Signature
testEquationTest.QuickSpec.TestTotality
TestResultsTest.QuickSpec.TestTree
testTotalityTest.QuickSpec.TestTotality
TestTreeTest.QuickSpec.TestTree
toList 
1 (Function)Test.QuickSpec.Utils.TypeMap
2 (Function)Test.QuickSpec.Utils.TypeRel
TotalTest.QuickSpec.Reasoning.PartialEquationalReasoning
total 
1 (Function)Test.QuickSpec.Signature
2 (Function)Test.QuickSpec.Reasoning.PartialEquationalReasoning
totalGenTest.QuickSpec.Term
TotalityTest.QuickSpec.Reasoning.PartialEquationalReasoning
totalSigTest.QuickSpec.Signature
toValuationTest.QuickSpec.Generate
Two 
1 (Type/Class)Test.QuickSpec.Prelude, Test.QuickSpec
2 (Data Constructor)Test.QuickSpec.Prelude
TypeableTest.QuickSpec.Utils.Typeable
Typeable1Test.QuickSpec.Utils.Typeable
Typeable2Test.QuickSpec.Utils.Typeable
TypedEquationTest.QuickSpec.Equation
TypeMapTest.QuickSpec.Utils.TypeMap
typeOfTest.QuickSpec.Utils.Typeable
typeOf1Test.QuickSpec.Utils.Typeable
TypeRelTest.QuickSpec.Utils.TypeRel
TypeRepTest.QuickSpec.Utils.Typeable
typeRepTyConTest.QuickSpec.Utils.Typeable
typeRepTyConsTest.QuickSpec.Utils.Typed
typeSigTest.QuickSpec.Signature
UFTest.QuickSpec.Reasoning.UnionFind
unbufferedTest.QuickSpec.Utils
unConstantTest.QuickSpec.Term
undefTest.QuickSpec.Term
undefinedSigTest.QuickSpec.Signature
undefinedsSigTest.QuickSpec.Main
unify 
1 (Function)Test.QuickSpec.Reasoning.NaiveEquationalReasoning
2 (Function)Test.QuickSpec.Reasoning.PartialEquationalReasoning
unionTest.QuickSpec.TestTree
UniverseTest.QuickSpec.Reasoning.NaiveEquationalReasoning
universe 
1 (Function)Test.QuickSpec.Reasoning.NaiveEquationalReasoning
2 (Function)Test.QuickSpec.Main
unliftedTest.QuickSpec.Approximate
unOTest.QuickSpec.Utils.Typed
unPlugTest.QuickSpec.Approximate
unTypeRepTest.QuickSpec.Utils.Typeable
unValuationTest.QuickSpec.Term
unVariableTest.QuickSpec.Term
updateDepthTest.QuickSpec.Signature
updateSizeTest.QuickSpec.Signature
Used 
1 (Type/Class)Test.QuickSpec.Signature
2 (Data Constructor)Test.QuickSpec.Signature
usesTest.QuickSpec.Signature
usortTest.QuickSpec.Utils
Valuation 
1 (Type/Class)Test.QuickSpec.Term
2 (Data Constructor)Test.QuickSpec.Term
valuationTest.QuickSpec.Term
valueTest.QuickSpec.Term
VarTest.QuickSpec.Term
varTest.QuickSpec.Term
Variable 
1 (Type/Class)Test.QuickSpec.Term
2 (Data Constructor)Test.QuickSpec.Term
3 (Data Constructor)Test.QuickSpec.Reasoning.PartialEquationalReasoning
variablesTest.QuickSpec.Signature
variableSigTest.QuickSpec.Signature
variableSymbolsTest.QuickSpec.Signature
variableTypesTest.QuickSpec.Signature
vars 
1 (Function)Test.QuickSpec.Term
2 (Function)Test.QuickSpec.Signature, Test.QuickSpec
3 (Function)Test.QuickSpec.Reasoning.PartialEquationalReasoning
vars0Test.QuickSpec.Signature
vars1Test.QuickSpec.Signature
vars2Test.QuickSpec.Signature
withDepthTest.QuickSpec.Signature, Test.QuickSpec
withoutTest.QuickSpec.Signature, Test.QuickSpec
withQuickCheckSizeTest.QuickSpec.Signature, Test.QuickSpec
withSizeTest.QuickSpec.Signature, Test.QuickSpec
withTestsTest.QuickSpec.Signature, Test.QuickSpec
Witness 
1 (Type/Class)Test.QuickSpec.Utils.Typed
2 (Data Constructor)Test.QuickSpec.Utils.Typed
witnessTest.QuickSpec.Utils.Typed
witnessArrowTest.QuickSpec.Signature
WitnessedTest.QuickSpec.Utils.Typed
witnessesTest.QuickSpec.Signature
witnessTypeTest.QuickSpec.Utils.Typed