Index
+++ | Test.ClassLaws.TestingDatatypes |
.&&. | Test.ClassLaws |
.&. | Test.ClassLaws |
.||. | Test.ClassLaws |
/=! | Test.ClassLaws.Partial, Test.ClassLaws |
/\! | Test.ClassLaws.Partial, Test.ClassLaws |
<! | Test.ClassLaws.Partial, Test.ClassLaws |
<=! | Test.ClassLaws.Partial, Test.ClassLaws |
=.= | Test.ClassLaws.Core, Test.ClassLaws, Control.Monad.Laws |
==! | Test.ClassLaws.Partial, Test.ClassLaws |
==> | Test.ClassLaws |
>! | Test.ClassLaws.Partial, Test.ClassLaws |
>< | Test.ClassLaws |
>=! | Test.ClassLaws.Partial, Test.ClassLaws |
addSteps | Test.ClassLaws.Core, Test.ClassLaws |
apply | Test.ClassLaws.Partial, Test.ClassLaws |
Approx | Test.ClassLaws.Partial, Test.ClassLaws |
approx | Test.ClassLaws.Partial, Test.ClassLaws |
approxAll | Test.ClassLaws.Partial, Test.ClassLaws |
approxDepth | Test.ClassLaws.Partial, Test.ClassLaws |
ApproxShow | Test.ClassLaws.Partial, Test.ClassLaws |
approxShow | Test.ClassLaws.Partial, Test.ClassLaws |
approxShows | Test.ClassLaws.Partial, Test.ClassLaws |
approxShowsPrec | Test.ClassLaws.Partial, Test.ClassLaws |
Arbitrary | Test.ClassLaws |
arbitrary | Test.ClassLaws |
arbitrary' | Test.ClassLaws.Partial, Test.ClassLaws |
arbitraryBoundedIntegral | Test.ClassLaws |
arbitraryBoundedRandom | Test.ClassLaws |
ArbitraryPartial | Test.ClassLaws.Partial, Test.ClassLaws |
arbitraryPartial | Test.ClassLaws.Partial, Test.ClassLaws |
arbitraryPartialFun | Test.ClassLaws.TestingFinFuns |
arbitrarySizedBoundedIntegral | Test.ClassLaws |
arbitrarySizedFractional | Test.ClassLaws |
arbitrarySizedIntegral | Test.ClassLaws |
Args | |
1 (Data Constructor) | Test.ClassLaws |
2 (Type/Class) | Test.ClassLaws |
b2i | Data.Monoid.Laws.Instances |
basicPairShow | Test.ClassLaws.TestingState |
bindStateL | Test.ClassLaws.TestingState |
bindStateS | Test.ClassLaws.TestingState |
Blind | |
1 (Data Constructor) | Test.ClassLaws |
2 (Type/Class) | Test.ClassLaws |
blindlawtest | Test.ClassLaws.Core, Test.ClassLaws |
bottom | Test.ClassLaws.Partial, Test.ClassLaws |
chatty | Test.ClassLaws |
choose | Test.ClassLaws |
choose' | Test.ClassLaws.Partial, Test.ClassLaws |
classify | Test.ClassLaws |
CoArbitrary | Test.ClassLaws |
coarbitrary | Test.ClassLaws |
coarbitraryIntegral | Test.ClassLaws |
coarbitraryReal | Test.ClassLaws |
coarbitraryShow | Test.ClassLaws |
collect | Test.ClassLaws |
conjoin | Test.ClassLaws |
Cons | Test.ClassLaws.TestingDatatypes |
cover | Test.ClassLaws |
defaultFunctorLaw1 | Control.Monad.Laws |
defaultFunctorLaw2 | Control.Monad.Laws |
defaultFunctorMonadLaw | Control.Monad.Laws |
defaultMonadLaw1 | Control.Monad.Laws |
defaultMonadLaw2 | Control.Monad.Laws |
defaultMonadLaw3 | Control.Monad.Laws |
defaultMonadPlusLaw1 | Control.Monad.Laws |
defaultMonadPlusLaw2 | Control.Monad.Laws |
defaultMonadPlusLaw3 | Control.Monad.Laws |
defaultMonadPlusLaw4 | Control.Monad.Laws |
defaultMonadPlusLaw5 | Control.Monad.Laws |
defaultMonadStateGetGet | Control.Monad.State.Class.Laws |
defaultMonadStateGetPut | Control.Monad.State.Class.Laws |
defaultMonadStatePutGet | Control.Monad.State.Class.Laws |
defaultMonadStatePutPut | Control.Monad.State.Class.Laws |
defaultMonoidLaw1 | Data.Monoid.Laws |
defaultMonoidLaw2 | Data.Monoid.Laws |
defaultMonoidLaw3 | Data.Monoid.Laws |
defaultShowLaw | Text.Show.Laws |
disjoin | Test.ClassLaws |
elements | Test.ClassLaws |
elements' | Test.ClassLaws.Partial, Test.ClassLaws |
enumElems | Test.ClassLaws.TestingFinFuns |
enumShowBot_auxLst | Test.ClassLaws.TestingState |
enumTotArb | Test.ClassLaws.TestingState |
eqPartial | Test.ClassLaws.TestingFinFuns |
Equal | Test.ClassLaws.Core, Test.ClassLaws |
Exception | Test.ClassLaws.Partial, Test.ClassLaws |
expectedFailures | Control.Monad.Laws.Instances |
expectFailure | Test.ClassLaws |
failingPair | Test.ClassLaws.TestingEquality, Test.ClassLaws |
failingPair' | Test.ClassLaws.TestingEquality, Test.ClassLaws |
Failure | Test.ClassLaws |
finiteListOf | Test.ClassLaws.Partial, Test.ClassLaws |
Fixed | |
1 (Data Constructor) | Test.ClassLaws |
2 (Type/Class) | Test.ClassLaws |
flat | Test.ClassLaws.Partial, Test.ClassLaws |
fmapStateL | Test.ClassLaws.TestingState |
fmapStateS | Test.ClassLaws.TestingState |
foldN | Test.ClassLaws.Partial, Test.ClassLaws |
foldrMyList | Test.ClassLaws.TestingDatatypes |
forAll | Test.ClassLaws |
forAllShrink | Test.ClassLaws |
frequency | Test.ClassLaws |
frequency' | Test.ClassLaws.Partial, Test.ClassLaws |
fromSucc | Test.ClassLaws.Partial, Test.ClassLaws |
fstP | Test.ClassLaws.TestingState |
function | Test.ClassLaws.Partial, Test.ClassLaws |
functionTo | Test.ClassLaws.Partial, Test.ClassLaws |
FunctorLaw1 | Control.Monad.Laws |
functorLaw1 | Control.Monad.Laws |
FunctorLaw2 | Control.Monad.Laws |
functorLaw2 | Control.Monad.Laws |
FunctorLaws | Control.Monad.Laws |
FunctorMonadLaw | Control.Monad.Laws |
functorMonadLaw | Control.Monad.Laws |
FunctorMonadLaws | Control.Monad.Laws |
FunTab | Test.ClassLaws.TestingFinFuns |
GaveUp | Test.ClassLaws |
Gen | Test.ClassLaws |
genPartial | Test.ClassLaws.Partial, Test.ClassLaws |
GenTransformer | Test.ClassLaws.Partial, Test.ClassLaws |
getState | Test.ClassLaws.TestingState |
growingElements | Test.ClassLaws |
infiniteListOf | Test.ClassLaws.Partial, Test.ClassLaws |
isBottom | Test.ClassLaws.Partial, Test.ClassLaws |
isBottomTimeOut | Test.ClassLaws.Partial, Test.ClassLaws |
isSucc | Test.ClassLaws.Partial, Test.ClassLaws |
label | Test.ClassLaws |
labels | Test.ClassLaws |
Law | Test.ClassLaws.Core, Test.ClassLaws, Control.Monad.Laws |
LawArgs | Test.ClassLaws.Core, Test.ClassLaws, Control.Monad.Laws |
LawBody | Test.ClassLaws.Core, Test.ClassLaws, Control.Monad.Laws |
LawTest | Test.ClassLaws.Core, Test.ClassLaws, Control.Monad.Laws |
lawtest | Test.ClassLaws.Core, Test.ClassLaws, Control.Monad.Laws |
lessEqPartial | Test.ClassLaws.TestingFinFuns |
lift' | Test.ClassLaws.Partial, Test.ClassLaws |
list2MyList | Test.ClassLaws.TestingDatatypes |
listOf | Test.ClassLaws |
listOf1 | Test.ClassLaws |
lMeet | Test.ClassLaws.TestingFinFuns |
main | |
1 (Function) | Control.Monad.Laws.Instances |
2 (Function) | Control.Monad.State.Class.Laws.Instances |
3 (Function) | Data.Monoid.Laws.Instances |
MakePM | Test.ClassLaws.Partial, Test.ClassLaws |
MakeResult | Test.ClassLaws.Partial, Test.ClassLaws |
mapSize | Test.ClassLaws |
match | Test.ClassLaws.Partial, Test.ClassLaws |
maxDiscard | Test.ClassLaws |
maxSize | Test.ClassLaws |
maxSuccess | Test.ClassLaws |
meetPartial | Test.ClassLaws.TestingFinFuns |
MkStr | Test.ClassLaws |
MonadLaw1 | Control.Monad.Laws |
monadLaw1 | Control.Monad.Laws |
MonadLaw2 | Control.Monad.Laws |
monadLaw2 | Control.Monad.Laws |
MonadLaw3 | Control.Monad.Laws |
monadLaw3 | Control.Monad.Laws |
MonadLaws | Control.Monad.Laws |
MonadPlusLaw1 | Control.Monad.Laws |
monadPlusLaw1 | Control.Monad.Laws |
MonadPlusLaw2 | Control.Monad.Laws |
monadPlusLaw2 | Control.Monad.Laws |
MonadPlusLaw3 | Control.Monad.Laws |
monadPlusLaw3 | Control.Monad.Laws |
MonadPlusLaw4 | Control.Monad.Laws |
monadPlusLaw4 | Control.Monad.Laws |
MonadPlusLaw5 | Control.Monad.Laws |
monadPlusLaw5 | Control.Monad.Laws |
MonadPlusLaws | Control.Monad.Laws |
MonadStateGetGet | Control.Monad.State.Class.Laws |
monadStateGetGet | Control.Monad.State.Class.Laws |
MonadStateGetPut | Control.Monad.State.Class.Laws |
monadStateGetPut | Control.Monad.State.Class.Laws |
MonadStateLaws | Control.Monad.State.Class.Laws |
MonadStatePutGet | Control.Monad.State.Class.Laws |
monadStatePutGet | Control.Monad.State.Class.Laws |
MonadStatePutPut | Control.Monad.State.Class.Laws |
monadStatePutPut | Control.Monad.State.Class.Laws |
MonoidLaw1 | Data.Monoid.Laws |
monoidLaw1 | Data.Monoid.Laws |
MonoidLaw2 | Data.Monoid.Laws |
monoidLaw2 | Data.Monoid.Laws |
MonoidLaw3 | Data.Monoid.Laws |
monoidLaw3 | Data.Monoid.Laws |
MonoidLaws | Data.Monoid.Laws |
more | Test.ClassLaws.Partial, Test.ClassLaws |
MyList | Test.ClassLaws.TestingDatatypes |
myList2List | Test.ClassLaws.TestingDatatypes |
Nat | Test.ClassLaws.Partial, Test.ClassLaws |
natrec | Test.ClassLaws.Partial, Test.ClassLaws |
Nil | Test.ClassLaws.TestingDatatypes |
NoExpectedFailure | Test.ClassLaws |
nonBottomError | Test.ClassLaws.Partial, Test.ClassLaws |
NonEmpty | Test.ClassLaws |
NonEmptyList | Test.ClassLaws |
NonNegative | |
1 (Data Constructor) | Test.ClassLaws |
2 (Type/Class) | Test.ClassLaws |
NonTermination | Test.ClassLaws.Partial, Test.ClassLaws |
NonZero | |
1 (Data Constructor) | Test.ClassLaws |
2 (Type/Class) | Test.ClassLaws |
noTweak | Test.ClassLaws.Partial, Test.ClassLaws |
numShrinks | Test.ClassLaws |
numTests | Test.ClassLaws |
oneof | Test.ClassLaws |
oneof' | Test.ClassLaws.Partial, Test.ClassLaws |
Ordered | Test.ClassLaws |
OrderedList | Test.ClassLaws |
orderedList | Test.ClassLaws |
output | Test.ClassLaws |
Pair | |
1 (Type/Class) | Test.ClassLaws.TestingState |
2 (Data Constructor) | Test.ClassLaws.TestingState |
pairFromGen | Test.ClassLaws.TestingState |
pairRecPatt | Test.ClassLaws.TestingState |
pairShowPartial | Test.ClassLaws.TestingState |
pairwiseEq | Test.ClassLaws.TestingEquality, Test.ClassLaws |
Param | Test.ClassLaws.Core, Test.ClassLaws |
Partial | |
1 (Type/Class) | Test.ClassLaws.Partial, Test.ClassLaws |
2 (Data Constructor) | Test.ClassLaws.Partial, Test.ClassLaws |
partiallawtest | Test.ClassLaws.Core, Test.ClassLaws |
PatternMatch | |
1 (Data Constructor) | Test.ClassLaws.Partial, Test.ClassLaws |
2 (Type/Class) | Test.ClassLaws.Partial, Test.ClassLaws |
Pos | Test.ClassLaws.TestingEquality, Test.ClassLaws |
Positive | |
1 (Data Constructor) | Test.ClassLaws |
2 (Type/Class) | Test.ClassLaws |
Prec | Test.ClassLaws.Partial, Test.ClassLaws |
printTestCase | Test.ClassLaws |
promote | Test.ClassLaws |
Prop | Test.ClassLaws |
Property | Test.ClassLaws |
property | Test.ClassLaws |
propertyPartial | Test.ClassLaws.Partial, Test.ClassLaws |
putState | Test.ClassLaws.TestingState |
quickCheck | Test.ClassLaws |
quickCheckResult | Test.ClassLaws |
quickCheckWith | Test.ClassLaws |
quickCheckWithResult | Test.ClassLaws |
quickFLawCheck | Test.ClassLaws.Core, Test.ClassLaws |
quickLawCheck | Test.ClassLaws.Core, Test.ClassLaws |
quickLawCheckPartial | Test.ClassLaws.Core, Test.ClassLaws |
ranges | Test.ClassLaws |
reason | Test.ClassLaws |
replay | Test.ClassLaws |
resize | Test.ClassLaws |
resize' | Test.ClassLaws.Partial, Test.ClassLaws |
Result | Test.ClassLaws |
returnState | Test.ClassLaws.TestingState |
runS | Test.ClassLaws.TestingState |
S | Test.ClassLaws.TestingState |
sample | Test.ClassLaws |
sample' | Test.ClassLaws |
semanticCompare | Test.ClassLaws.Partial, Test.ClassLaws |
SemanticEq | Test.ClassLaws.Partial, Test.ClassLaws |
semanticEq | Test.ClassLaws.Partial, Test.ClassLaws |
semanticJoin | Test.ClassLaws.Partial, Test.ClassLaws |
semanticLE | Test.ClassLaws.TestingFinFuns |
semanticMeet | Test.ClassLaws.Partial, Test.ClassLaws |
SemanticOrd | Test.ClassLaws.Partial, Test.ClassLaws |
SemEq | Test.ClassLaws.TestingFinFuns |
semEqFun | Test.ClassLaws.TestingFinFuns |
showFun | Test.ClassLaws.TestingFinFuns |
ShowLaw | Text.Show.Laws |
showLaw | Text.Show.Laws |
ShowLaws | Text.Show.Laws |
showPartial | Test.ClassLaws.Partial, Test.ClassLaws |
showPartialFun | Test.ClassLaws.TestingFinFuns |
shrink | Test.ClassLaws |
Shrink2 | |
1 (Data Constructor) | Test.ClassLaws |
2 (Type/Class) | Test.ClassLaws |
Shrinking | |
1 (Data Constructor) | Test.ClassLaws |
2 (Type/Class) | Test.ClassLaws |
shrinking | Test.ClassLaws |
shrinkInit | Test.ClassLaws |
shrinkIntegral | Test.ClassLaws |
shrinkNothing | Test.ClassLaws |
shrinkPartial | Test.ClassLaws.Partial, Test.ClassLaws |
shrinkRealFrac | Test.ClassLaws |
ShrinkState | Test.ClassLaws |
shrinkState | Test.ClassLaws |
sized | Test.ClassLaws |
sized' | Test.ClassLaws.Partial, Test.ClassLaws |
Smart | |
1 (Data Constructor) | Test.ClassLaws |
2 (Type/Class) | Test.ClassLaws |
sndP | Test.ClassLaws.TestingState |
snoc | Test.ClassLaws.TestingDatatypes |
SS | |
1 (Type/Class) | Test.ClassLaws.TestingState |
2 (Data Constructor) | Test.ClassLaws.TestingState |
State | Test.ClassLaws.TestingState |
statePatt | Test.ClassLaws.TestingState |
stdArgs | Test.ClassLaws |
Str | Test.ClassLaws |
Success | Test.ClassLaws |
suchThat | Test.ClassLaws |
suchThatMaybe | Test.ClassLaws |
table2fun | Test.ClassLaws.TestingFinFuns |
Testable | Test.ClassLaws |
TestablePartial | Test.ClassLaws.Partial, Test.ClassLaws |
testEq | Test.ClassLaws.TestingEquality, Test.ClassLaws |
testEqPartial | Test.ClassLaws.TestingEquality, Test.ClassLaws |
TestEqual | Test.ClassLaws.TestingEquality, Test.ClassLaws, Control.Monad.Laws |
testEqual | Test.ClassLaws.TestingEquality, Test.ClassLaws, Control.Monad.Laws |
testFunctorList | Control.Monad.Laws.Instances |
testFunctorMaybe | Control.Monad.Laws.Instances |
testFunctorMonadList | Control.Monad.Laws.Instances |
testFunctorMonadMaybe | Control.Monad.Laws.Instances |
testFunctorMonadMyList | Control.Monad.Laws.Instances |
testFunctorMyList | Control.Monad.Laws.Instances |
testLawsStateL | Control.Monad.State.Class.Laws.Instances |
testLawsStatePartialL | Control.Monad.State.Class.Laws.Instances |
testLawsStatePartialS | Control.Monad.State.Class.Laws.Instances |
testLawsStateS | Control.Monad.State.Class.Laws.Instances |
testMonadList | Control.Monad.Laws.Instances |
testMonadMaybe | Control.Monad.Laws.Instances |
testMonadMyList | Control.Monad.Laws.Instances |
testMonadState | Control.Monad.Laws.Instances |
testMonoidEndo | Data.Monoid.Laws.Instances |
testMonoidEndoPartial | Data.Monoid.Laws.Instances |
testMonoidMyList | Data.Monoid.Laws.Instances |
testRunEq | Test.ClassLaws.TestingEquality, Test.ClassLaws |
testRunEqPartial | Test.ClassLaws.TestingEquality, Test.ClassLaws |
test_roundtrip | Data.Monoid.Laws.Instances |
Theorem | Test.ClassLaws.Core, Test.ClassLaws |
timeOut | Test.ClassLaws.Partial, Test.ClassLaws |
timeOut' | Test.ClassLaws.Partial, Test.ClassLaws |
timeOutLimit | Test.ClassLaws.Partial, Test.ClassLaws |
timeOutMicro | Test.ClassLaws.Partial, Test.ClassLaws |
timeOutMicro' | Test.ClassLaws.Partial, Test.ClassLaws |
transform | Test.ClassLaws.Partial, Test.ClassLaws |
Tweak | |
1 (Data Constructor) | Test.ClassLaws.Partial, Test.ClassLaws |
2 (Type/Class) | Test.ClassLaws.Partial, Test.ClassLaws |
unPartial | Test.ClassLaws.Partial, Test.ClassLaws |
unSS | Test.ClassLaws.TestingState |
usedSeed | Test.ClassLaws |
usedSize | Test.ClassLaws |
Value | Test.ClassLaws.Partial, Test.ClassLaws |
variant | Test.ClassLaws |
vector | Test.ClassLaws |
vectorOf | Test.ClassLaws |
verbose | Test.ClassLaws |
verboseCheck | Test.ClassLaws |
verboseCheckResult | Test.ClassLaws |
verboseCheckWith | Test.ClassLaws |
verboseCheckWithResult | Test.ClassLaws |
whenFail | Test.ClassLaws |
whenFail' | Test.ClassLaws |
within | Test.ClassLaws |
\/! | Test.ClassLaws.Partial, Test.ClassLaws |