checkers-0.2.5: Check properties on standard classes and data structures.ContentsIndex
.&.
=-=
>****<
>***<
>**<
>*<
antiSymmetric
anyList
applicative
applicativeMorphism
arbitrarySatisfying
arbs
arrow
arrowChoice
Binop
BinRel
bothId
bottom
brace
bracket
checkBatch
commutes
decreasing
decreasingInf
delay
delayForever
endoMonoidD
eq
eqModels
EqProp
FracT
functor
functorMonoid
functorMorphism
genR
gens
greaterThan
homomorphism
idemElem
idempotent
idempotent2
increasing
increasingInf
infiniteComp
infiniteList
inverse
inverseL
isAssoc
isAssociative
isAssociativeBy
isAssocTimes
isCommut
isCommutable
isCommutableBy
isCommutTimes
isTotalOrder
leftId
lessThan
lowerAlpha
maybeGen
meq
meq1
meq2
meq3
meq4
meq5
Model
model
Model1
model1
monad
monadApplicative
monadFunctor
monadMorphism
monadOr
monadPlus
monoid
MonoidD
monoidD
monoidMorphism
negative
newline
nondecreasing
nondecreasingInf
nonEmpty
nonincreasing
nonincreasingInf
nonNegative
nonPositive
nonSpace
nonZero
nonZero_
notEqualTo
notOneof
numeric
NumT
operator
ord
ordMorphism
ordRel
OrdT
parenthesis
positive
quickBatch
reflexive
rightId
semanticApplicative
semanticFunctor
semanticMonad
semanticMonoid
semanticOrd
setLength
space
symmetric
T
Test
TestBatch
transitive
traversable
unbatch
Unop
upperAlpha
verboseBatch
whitespace