Test.Predicates.QuickCheck
Description
QuickCheck integration for Predicate
Predicate
satisfies :: a -> Predicate a -> Property Source #
QuickCheck property that checks if a predicate is satisfied.
\(Positive x) -> [0 .. x] `satisfies` (containsAll [eq 1, eq 2])