test

verboseCheck

quickCheck

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