[Haskell-cafe] Re: [Haskell] ANN: quickcheck-poly - Automating QuickCheck for polymorphic/overloaded properties in a small world of types

24 Oct 2009


      On Sat, 24 Oct 2009, Henning Thielemann wrote:
...
Maybe you could write a block of quickCheck tests, that shall be run on
different types.
tests :: a -> IO ()
tests x =
  do quickCheck (\y -> law1 (y `asTypeOf x))
     ...
must be `asTypeOf`
...
allTests =
  tests (undefined :: Int)
  tests (undefined :: Double)