Test.Predicates.QuickCheck

QuickCheck integration for Predicate

Documentation

satisfies :: a -> Predicate a -> Property

QuickCheck property that checks if a predicate is satisfied.

  quickCheck $ \(Positive x) -> [0 .. x] `satisfies` (containsAll [eq 1, eq 2])

  *** Failed! Falsified (after 1 test):
  Positive {getPositive = 1}
  Missing: 2