[Haskell-cafe] Doctest, quickcheck and typeclass

Janis Voigtländer janis.voigtlaender at gmail.com
Mon Jul 14 17:45:28 UTC 2014

2014-07-14 18:39 GMT+02:00 Gautier DI FOLCO <gautier.difolco at gmail.com>:

> Hi all,
> Is there a way, with doctest and quickcheck, to declare test at typeclass
> level (such as laws) and play them automatically at instance level?

Hmm, let's try googling for "Testing type class laws".


Oh, surprise, there is a paper with exactly that title. :-)



Maybe that does help? (Might need some extra work to actually integrate
with doctest, but the groundwork is there, I think.)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140714/24e3f38c/attachment.html>

More information about the Haskell-Cafe mailing list