Test.LeanCheck.Tiers

Additional tiers constructors

listCons

setCons

bagCons

noDupListCons

maybeCons0

maybeCons1

maybeCons2

Products of tiers

product3

product3With

productMaybeWith

Tiers of lists

listsOf

bagsOf

setsOf

noDupListsOf

products

listsOfLength

Tiers of pairs

distinctPairs

distinctPairsWith

unorderedPairs

unorderedPairsWith

unorderedDistinctPairs

unorderedDistinctPairsWith

deleteT

normalizeT

catMaybesT

mapMaybeT

Tiers of choices

choices

setChoices

bagChoices

Showing and printing lists-of-tiers

printTiers

showTiers

finite