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