explainable-predicates-0.1.2.3: Predicates that can explain themselves.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Predicates.QuickCheck

Description

QuickCheck integration for Predicate

Synopsis

Documentation

satisfies :: a -> Predicate a -> Property Source #

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