leancheck-0.7.7: Enumerative property-based testing

Index

$=Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
&&&Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
&&&&Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
+|Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
-->>Test.LeanCheck.Function.ListsOfPairs
-:Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
-:>Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->:Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->:>Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>:Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>:>Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>:Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>:>Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>>:Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>>:>Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>>>:Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>>>:>Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>>>>:Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>>>>:>Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>>>>>:Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>>>>>:>Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>>>>>>:Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>>>>>>:>Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>>>>>>>:Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>>>>>>>:>Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>>>>>>>>:Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>>>>>>>>:>Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>>>>>>>>>:Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>>>>>>>>>:>Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
->>>>>>>>>>>>:Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
=$Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
===Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
====Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
==>Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
=|Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
>-Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
><Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
addWeightTest.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
antisymmetricTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
anyErrorToNothingTest.LeanCheck.Error
associativeTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
asymmetricTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
Bag 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
bagChoicesTest.LeanCheck.Tiers
bagConsTest.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error
bagsOfTest.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error
BindingTest.LeanCheck.Function.ShowFunction
bindingsTest.LeanCheck.Function.ShowFunction
boolTest.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
catMaybesTTest.LeanCheck.Tiers
charTest.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
checkTest.LeanCheck.IO, Test.LeanCheck, Test.LeanCheck.Error
checkForTest.LeanCheck.IO, Test.LeanCheck, Test.LeanCheck.Error
checkResultTest.LeanCheck.IO, Test.LeanCheck, Test.LeanCheck.Error
checkResultForTest.LeanCheck.IO, Test.LeanCheck, Test.LeanCheck.Error
choicesTest.LeanCheck.Tiers
classifyTest.LeanCheck.Stats, Test.LeanCheck.Utils
classifyByTest.LeanCheck.Stats, Test.LeanCheck.Utils
classifyOnTest.LeanCheck.Stats, Test.LeanCheck.Utils
classStatsTest.LeanCheck.Stats, Test.LeanCheck.Utils
classStatsTTest.LeanCheck.Stats, Test.LeanCheck.Utils
CoListableTest.LeanCheck.Function.CoListable
commutativeTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
comparisonTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
concatMapTTest.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
concatTTest.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
conditionStatsTest.LeanCheck.Stats, Test.LeanCheck.Utils
conditionStatsTTest.LeanCheck.Stats, Test.LeanCheck.Utils
cons0Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
cons1Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
cons10Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
cons11Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
cons12Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
cons2Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
cons3Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
cons4Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
cons5Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
cons6Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
cons7Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
cons8Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
cons9Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
cotiersTest.LeanCheck.Function.CoListable
counterExample 
1 (Function)Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck
2 (Function)Test.LeanCheck.Error
counterExamples 
1 (Function)Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck
2 (Function)Test.LeanCheck.Error
countsTest.LeanCheck.Stats, Test.LeanCheck.Utils
countsByTest.LeanCheck.Stats, Test.LeanCheck.Utils
countsOnTest.LeanCheck.Stats, Test.LeanCheck.Utils
delayTest.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
deleteTTest.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error
deriveListTest.LeanCheck.Derive
deriveListableTest.LeanCheck.Derive, Test.LeanCheck, Test.LeanCheck.Error
deriveListableCascadingTest.LeanCheck.Derive, Test.LeanCheck, Test.LeanCheck.Error
deriveListableIfNeededTest.LeanCheck.Derive
deriveTiersTest.LeanCheck.Derive
discardLaterTTest.LeanCheck.Tiers
discardTTest.LeanCheck.Tiers
distinctPairsTest.LeanCheck.Tiers
distinctPairsWithTest.LeanCheck.Tiers
distributiveTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
doubleTest.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
eithTest.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
equivalenceTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
errorToFalseTest.LeanCheck.Error
errorToNothingTest.LeanCheck.Error
errorToTrueTest.LeanCheck.Error
exceptionPairsTest.LeanCheck.Function.ListsOfPairs
exists 
1 (Function)Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck
2 (Function)Test.LeanCheck.Error
fails 
1 (Function)Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck
2 (Function)Test.LeanCheck.Error
filterTTest.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
finiteTest.LeanCheck.Tiers
floatTest.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
fromErrorTest.LeanCheck.Error
FunListableTest.LeanCheck.Function.Listable.FunListable
funtiersTest.LeanCheck.Function.Listable.FunListable
genericListTest.LeanCheck.Generic
genericTiersTest.LeanCheck.Generic
holds 
1 (Function)Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck
2 (Function)Test.LeanCheck.Error
idempotentTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
identityTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
intTest.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
Int1 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
int1Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
Int2 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
int2Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
Int3 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
int3Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
Int4 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
int4Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
integerTest.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
invalidResultsTest.LeanCheck.Function.Listable.FunListable
irreflexiveTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
listTest.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
ListableTest.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error, Test.LeanCheck.Function.ShowFunction
listConsTest.LeanCheck.Tiers
listIntegralTest.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
listsOfTest.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error
listsOfLengthTest.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error
Map 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
mapConsTest.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error
mapMaybeTTest.LeanCheck.Tiers
mapsTest.LeanCheck.Tiers
mapTTest.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
maybTest.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
maybeCons0Test.LeanCheck.Tiers
maybeCons1Test.LeanCheck.Tiers
maybeCons2Test.LeanCheck.Tiers
Nat 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
natTest.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
Nat1 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
Nat2 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
Nat3 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
Nat4 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
Nat5 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
Nat6 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
Nat7 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
Natural 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
naturalTest.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
neverIdentityTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
NoDup 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
noDupListConsTest.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error
noDupListsOfTest.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error
normalizeTTest.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error
nubTTest.LeanCheck.Tiers
ofWeightTest.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
okEqTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
okEqOrdTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
okNumTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
okOrdTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
orderingTest.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
partialOrderTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
printTiersTest.LeanCheck.Tiers
product3Test.LeanCheck.Tiers
product3WithTest.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error
productMaybeWithTest.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error
productsTest.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error
productWithTest.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
rationalTest.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
reflexiveTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
resetTest.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
resultiersTest.LeanCheck.Core, Test.LeanCheck.Basic
results 
1 (Function)Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck
2 (Function)Test.LeanCheck.Error
Set 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
setChoicesTest.LeanCheck.Tiers
setConsTest.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error
setsOfTest.LeanCheck.Tiers, Test.LeanCheck, Test.LeanCheck.Error
ShowFunctionTest.LeanCheck.Function.ShowFunction
showFunctionTest.LeanCheck.Function.ShowFunction
showFunctionLineTest.LeanCheck.Function.ShowFunction
showTiersTest.LeanCheck.Tiers
strictPartialOrderTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
strictTotalOrderTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
stringTest.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
suchThatTest.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
symmetricTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
symmetric2Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
tBindingsTest.LeanCheck.Function.ShowFunction
tBindingsShowTest.LeanCheck.Function.ShowFunction
TestableTest.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
tiersTest.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
tiersFractionalTest.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
totalOrderTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
toTiersTest.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
transitiveTest.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
UInt1Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
uint1Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
UInt2Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
uint2Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
UInt3Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
uint3Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
UInt4Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
uint4Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
undTest.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
unInt1Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
unInt2Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
unInt3Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
unInt4Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
unNatTest.LeanCheck.Utils.Types, Test.LeanCheck.Utils
unNat1Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
unNat2Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
unNat3Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
unNat4Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
unNat5Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
unNat6Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
unNat7Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
unNaturalTest.LeanCheck.Utils.Types, Test.LeanCheck.Utils
unorderedDistinctPairsTest.LeanCheck.Tiers
unorderedDistinctPairsWithTest.LeanCheck.Tiers
unorderedPairsTest.LeanCheck.Tiers
unorderedPairsWithTest.LeanCheck.Tiers
unWord1Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
unWord2Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
unWord3Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
unWord4Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
unXTest.LeanCheck.Utils.Types, Test.LeanCheck.Utils
validResultsTest.LeanCheck.Function.Listable.FunListable
witness 
1 (Function)Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck
2 (Function)Test.LeanCheck.Error
witnesses 
1 (Function)Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck
2 (Function)Test.LeanCheck.Error
Word1 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
word1Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
Word2 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
word2Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
Word3 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
word3Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
Word4 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
word4Test.LeanCheck.Utils.TypeBinding, Test.LeanCheck.Utils
X 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
Xs 
1 (Type/Class)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
2 (Data Constructor)Test.LeanCheck.Utils.Types, Test.LeanCheck.Utils
\/Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
\\//Test.LeanCheck.Core, Test.LeanCheck.Basic, Test.LeanCheck, Test.LeanCheck.Error
|=Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
|||Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils
||||Test.LeanCheck.Utils.Operators, Test.LeanCheck.Utils