Test.LeanCheck.Core

Checking and testing

holds

fails

exists

counterExample

counterExamples

witness

witnesses

class Testable a

results

Listing test values

class Listable a

Constructing lists of tiers

cons0

cons1

cons2

cons3

cons4

cons5

delay

reset

suchThat

Combining lists of tiers

(\/)

(\\//)

(><)

productWith

Manipulating lists of tiers

mapT

filterT

concatT

concatMapT

toTiers

Boolean (property) operators

(==>)

Misc utilities

(+|)

listIntegral

tiersFractional