explainable-predicates-0.1.1.0: Predicates that can explain themselves.
Safe HaskellNone
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.

\(Positive x) -> [0 .. x] `satisfies` (containsAll [eq 1, eq 2])
  • ** Failed! Falsified (after 1 test): Positive {getPositive = 1} Missing: 2