Test.LeanCheck

Checking and testing

holds

fails

exists

Boolean (property) operators

(==>)

Counterexamples and witnesses

counterExample

counterExamples

witness

witnesses

Reporting

check

checkFor

checkResult

checkResultFor

Listing test values

class Listable a

Listing constructors

cons0

cons1

cons2

cons3

cons4

cons5

delay

reset

ofWeight

addWeight

suchThat

Combining tiers

(\/)

(\\//)

(><)

productWith

Manipulating tiers

mapT

filterT

concatT

concatMapT

deleteT

normalizeT

toTiers

Automatically deriving Listable instances

deriveListable

deriveListableCascading

Specialized constructors of tiers

setCons

bagCons

noDupListCons

Products of tiers

product3With

productMaybeWith

Listing lists

listsOf

setsOf

bagsOf

noDupListsOf

products

listsOfLength

Listing values

tiersFractional

listIntegral

(+|)

Test results

class Testable a

results