Test.QuickCheck
data Args
data Result
Arbitrary
typeclass: generation of random valuesclass Arbitrary a
shrink
Arbitrary
to unary and binary type constructorsclass Arbitrary1 f
class Arbitrary2 f
Gen
monad: combinators for building random generatorsdata Gen a
Function
typeclass: generation of random shrinkable, showable functionsdata Fun a b
class Function a
CoArbitrary
typeclass: generation of functions the old-fashioned wayclass CoArbitrary a
data Blind a
data Fixed a
data OrderedList a
data NonEmptyList a
data InfiniteList a
data SortedList a
data Positive a
data NonZero a
data NonNegative a
data Large a
data Small a
data Smart a
data Shrink2 a
data Shrinking s a
class ShrinkState s a
data ASCIIString
data UnicodeString
data PrintableString
data Property
class Testable prop
data Discard
data Confidence