leancheck-instances-0.0.5: Common LeanCheck instances

Index

+|Test.LeanCheck.WithInstances
==>Test.LeanCheck.WithInstances
><Test.LeanCheck.WithInstances
addWeightTest.LeanCheck.WithInstances
bagConsTest.LeanCheck.WithInstances
bagsOfTest.LeanCheck.WithInstances
checkTest.LeanCheck.WithInstances
checkForTest.LeanCheck.WithInstances
checkResultTest.LeanCheck.WithInstances
checkResultForTest.LeanCheck.WithInstances
concatMapTTest.LeanCheck.WithInstances
concatTTest.LeanCheck.WithInstances
cons0Test.LeanCheck.WithInstances
cons1Test.LeanCheck.WithInstances
cons10Test.LeanCheck.WithInstances
cons11Test.LeanCheck.WithInstances
cons12Test.LeanCheck.WithInstances
cons2Test.LeanCheck.WithInstances
cons3Test.LeanCheck.WithInstances
cons4Test.LeanCheck.WithInstances
cons5Test.LeanCheck.WithInstances
cons6Test.LeanCheck.WithInstances
cons7Test.LeanCheck.WithInstances
cons8Test.LeanCheck.WithInstances
cons9Test.LeanCheck.WithInstances
counterExampleTest.LeanCheck.WithInstances
counterExamplesTest.LeanCheck.WithInstances
delayTest.LeanCheck.WithInstances
deleteTTest.LeanCheck.WithInstances
deriveListableTest.LeanCheck.WithInstances
deriveListableCascadingTest.LeanCheck.WithInstances
existsTest.LeanCheck.WithInstances
failsTest.LeanCheck.WithInstances
filterTTest.LeanCheck.WithInstances
holdsTest.LeanCheck.WithInstances
listTest.LeanCheck.WithInstances
ListableTest.LeanCheck.WithInstances
listFloatingTest.LeanCheck.WithInstances
listFractionalTest.LeanCheck.WithInstances
listIntegralTest.LeanCheck.WithInstances
listsOfTest.LeanCheck.WithInstances
listsOfLengthTest.LeanCheck.WithInstances
mapConsTest.LeanCheck.WithInstances
mapTTest.LeanCheck.WithInstances
noDupListConsTest.LeanCheck.WithInstances
noDupListsOfTest.LeanCheck.WithInstances
normalizeTTest.LeanCheck.WithInstances
ofWeightTest.LeanCheck.WithInstances
product3WithTest.LeanCheck.WithInstances
productMaybeWithTest.LeanCheck.WithInstances
productsTest.LeanCheck.WithInstances
productWithTest.LeanCheck.WithInstances
resetTest.LeanCheck.WithInstances
resultsTest.LeanCheck.WithInstances
setConsTest.LeanCheck.WithInstances
setsOfTest.LeanCheck.WithInstances
suchThatTest.LeanCheck.WithInstances
TestableTest.LeanCheck.WithInstances
tiersTest.LeanCheck.WithInstances
tiersFloatingTest.LeanCheck.WithInstances
tiersFractionalTest.LeanCheck.WithInstances
toTiersTest.LeanCheck.WithInstances
witnessTest.LeanCheck.WithInstances
witnessesTest.LeanCheck.WithInstances
\/Test.LeanCheck.WithInstances
\\//Test.LeanCheck.WithInstances