Wearing the hair shirt Wearing the hair shirt - Microsoft Research
Wearing the hair shirt Wearing the hair shirt - Microsoft Research
Wearing the hair shirt Wearing the hair shirt - Microsoft Research
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Quickcheck<br />
quickCheck :: Test a => a -> IO ()<br />
class Test a where<br />
prop :: a -> Rand -> Bool<br />
class Arby a where<br />
arby :: Rand -> a<br />
instance (Arby a, Test b) => Test (a->b) where<br />
prop f r = prop (f (arby r1)) r2<br />
where (r1,r2) = split r<br />
instance Test Bool where<br />
prop b r = b