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

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)

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

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

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

2009/7/27 Ahn, Ki Yung kya...@gmail.com: How should I you use QuickCheck for testing a property that is a nested implecation such as (A == B) == C ? You could use the classical equivalence (A == B) = (~A \/ B). I'm not sure you would get very much out of the implication strategy for the nested