15 Jul
2014
15 Jul
'14
2:04 a.m.
2014-07-14 19:45 GMT+02:00 Janis Voigtländer <janis.voigtlaender@gmail.com>:
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.
Thanks, I'll have a look, thanks. Regards.