Data.GenValidity.Set

Documentation

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)

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]