Test.LeanCheck.Tiers

Additional tiers constructors

listCons

setCons

bagCons

noDupListCons

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

Tiers of choices

choices

setChoices

bagChoices