vendredi 1 mars 2019

How to validate Purescript typeclass laws?

I use typeclasses, from libraries and my own, extensively in my Purescript code. Each typeclass law seems to provide a nice test. Currently, I'm writing tests individually for each class and law. Is there a way to partially automate this? Maybe something like Haskell's quickcheck-classes, which I, admittedly, haven't tried.

Aucun commentaire:

Enregistrer un commentaire