[Haskell-cafe] Testing nested implication properties with QuickCheck?

Ahn, Ki Yung kyagrd at gmail.com
Mon Jul 27 17:12:55 EDT 2009


How should I use QuickCheck for testing a property that is a nested
implecation such as (A ==> B) ==> C ?

The problem is (==>) in QuickCheck is that its type is Testable prop =>
Bool -> prop -> Property  rather than Testable prop => prop -> prop ->
Property.  So, A ==> (B ==> C) would work but (A ==> B) ==> C won't work
when A, B, C are boolean expressions.  Is there some trick to handle the
latter?

Thanks,

--
  Ahn, Ki Yung



More information about the Haskell-Cafe mailing list