[Haskell-cafe] Doctest, quickcheck and typeclass

[Gautier DI FOLCO]

2014-07-14 19:45 GMT+02:00 Janis Voigtländer <janis.voigtlaender at gmail.com>:

> 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. :-)
>
> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140714/54d9f4d3/attachment.html>