Test.QuickCheck
quickCheck
verboseCheck
test
data
Config
defaultConfig
check
forAll
(==>)
label
collect
classify
trivial
data
Gen
a
elements
two
three
four
sized
resize
choose
oneof
frequency
vector
class
Arbitrary
a
rand
promote
variant
class
Testable
a
data
Property
data
Result
generate
evaluate