ChasingBottoms-1.3.0.2: For testing partial and infinite values.

Index

/=!Test.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
/\!Test.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
<!Test.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
<=!Test.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
==!Test.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
>!Test.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
>=!Test.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
applyTest.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
ApproxTest.ChasingBottoms.Approx, Test.ChasingBottoms
approxTest.ChasingBottoms.Approx, Test.ChasingBottoms
approxAllTest.ChasingBottoms.Approx, Test.ChasingBottoms
approxDepthTest.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
ApproxShowTest.ChasingBottoms.ApproxShow, Test.ChasingBottoms
approxShowTest.ChasingBottoms.ApproxShow, Test.ChasingBottoms
approxShowsTest.ChasingBottoms.ApproxShow, Test.ChasingBottoms
approxShowsPrecTest.ChasingBottoms.ApproxShow, Test.ChasingBottoms
arbitrary'Test.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
bottomTest.ChasingBottoms.IsBottom, Test.ChasingBottoms
choose'Test.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
elements'Test.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
ExceptionTest.ChasingBottoms.TimeOut, Test.ChasingBottoms
finiteListOfTest.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
flatTest.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
foldNTest.ChasingBottoms.Nat, Test.ChasingBottoms
frequency'Test.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
fromSuccTest.ChasingBottoms.Nat, Test.ChasingBottoms
functionTest.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
functionToTest.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
GenTransformerTest.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
infiniteListOfTest.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
isBottomTest.ChasingBottoms.IsBottom, Test.ChasingBottoms
isBottomTimeOutTest.ChasingBottoms.IsBottom, Test.ChasingBottoms
isSuccTest.ChasingBottoms.Nat, Test.ChasingBottoms
lift'Test.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
listOfTest.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
MakePMTest.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
MakeResultTest.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
matchTest.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
moreTest.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
NatTest.ChasingBottoms.Nat, Test.ChasingBottoms
natrecTest.ChasingBottoms.Nat, Test.ChasingBottoms
nonBottomErrorTest.ChasingBottoms.IsBottom, Test.ChasingBottoms
NonTerminationTest.ChasingBottoms.TimeOut, Test.ChasingBottoms
noTweakTest.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
oneof'Test.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
PatternMatch 
1 (Type/Class)Test.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
2 (Data Constructor)Test.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
PrecTest.ChasingBottoms.ApproxShow, Test.ChasingBottoms
resize'Test.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
ResultTest.ChasingBottoms.TimeOut, Test.ChasingBottoms
semanticCompareTest.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
SemanticEqTest.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
semanticEqTest.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
semanticJoinTest.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
semanticMeetTest.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
SemanticOrdTest.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
sized'Test.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
timeOutTest.ChasingBottoms.TimeOut, Test.ChasingBottoms
timeOut'Test.ChasingBottoms.TimeOut, Test.ChasingBottoms
timeOutLimitTest.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
timeOutMicroTest.ChasingBottoms.TimeOut, Test.ChasingBottoms
timeOutMicro'Test.ChasingBottoms.TimeOut, Test.ChasingBottoms
transformTest.ChasingBottoms.ContinuousFunctions, Test.ChasingBottoms
Tweak 
1 (Type/Class)Test.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
2 (Data Constructor)Test.ChasingBottoms.SemanticOrd, Test.ChasingBottoms
ValueTest.ChasingBottoms.TimeOut, Test.ChasingBottoms
\/!Test.ChasingBottoms.SemanticOrd, Test.ChasingBottoms