我在Purescript代码中广泛使用库和我自己的类型类。每个类型类法似乎都提供了很好的检验。目前，我正在为每个班级和法律分别编写测试。有一种方法可以部分自动化吗？也许像Haskell的quickcheck-classes之类的东西，我承认我没有尝试过。
答案 0 :(得分：2)
这里有一些针对通用核心类的测试：https://github.com/garyb/purescript-quickcheck-laws
我需要打破各种法律，以便它们在理想情况下也可以独立使用，但这也许仍然可以满足您的需求！