14 Jul
2014
14 Jul
'14
5:45 p.m.
2014-07-14 18:39 GMT+02:00 Gautier DI FOLCO
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.