Data.GenValidity.Set

Documentation

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

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

genStructurallyValidSetOfInvalidValues :: (Ord v, GenUnchecked v, GenInvalid v) => Gen (Set v)

genStructurallyInvalidSet :: (Ord v, GenUnchecked 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, GenUnchecked v) => GenUnchecked (Set v)

Methods

genUnchecked :: Gen (Set v)

shrinkUnchecked :: Set v -> [Set v]

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

Methods

genValid :: Gen (Set v)

shrinkValid :: Set v -> [Set v]

(Ord v, GenUnchecked v, GenInvalid v) => GenInvalid (Set v)

Methods

genInvalid :: Gen (Set v)

shrinkInvalid :: Set v -> [Set v]