2014-07-14 18:39 GMT+02:00 Gautier DI FOLCO <gautier.difolco@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. :-)

http://dx.doi.org/10.1145/2430532.2364514

http://wiki.portal.chalmers.se/cse/pmwiki.php/FP/ClassLaws

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

Best,
Janis.