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

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

How should I you 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


  Ahn, Ki Yung

More information about the Haskell-Cafe mailing list