Test.LeanCheck.Core
holds
fails
exists
counterExample
counterExamples
witness
witnesses
class Testable a
results
class Listable a
cons0
cons1
cons2
cons3
cons4
cons5
delay
reset
suchThat
(\/)
(\\//)
(><)
productWith
mapT
filterT
concatT
concatMapT
toTiers
(==>)
(+|)
listIntegral
tiersFractional