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