Data.GenValidity.Set

Documentation

genSetOf :: Ord v => Gen v -> Gen (Set v)

genSeperate :: Ord a => Gen a -> Gen [a]

genSeperateFor :: Eq b => Gen b -> [a] -> Gen [(b, a)]

genSeperateForNE :: Eq b => Gen b -> NonEmpty a -> Gen (NonEmpty (b, a))

genValidSeperateFor :: (GenValid b, Eq b) => [a] -> Gen [(b, a)]

genValidSeperateForNE :: (GenValid b, Eq b) => NonEmpty a -> Gen (NonEmpty (b, a))

Orphan instances

(Ord v, GenValid v) => GenValid (Set v)

Methods

genValid :: Gen (Set v)

shrinkValid :: Set v -> [Set v]