Set = Test Data Generator

orderedList :: (Ord a, Arbitrary a) => Gen [a]

orderedList =

oneof

[return [],

do xs <- orderedList

n <- arbitrary

return ((case xs of

[] -> n

x:_ -> n `min` x)

:xs)]

Random

choice

Generator:

a monad!

Type based

generation

Föregående bild

Nästa bild

Tillbaka till första bilden

Visa grafisk version