Test.LeanCheck.Tiers

Additional tiers constructors

consFromList

consFromAscendingList

consFromStrictlyAscendingList

consFromSet

consFromNoDupList

Products of tiers

product3With

productMaybeWith

Tiers of lists

listsOf

ascendingListsOf

strictlyAscendingListsOf

setsOf

noDupListsOf

products

listsOfLength

deleteT

normalizeT

Tiers of choices

choices

ascendingChoices

strictlyAscendingChoices