如何验证 Purescript typeclass 法则？

Question

我在我的 Purescript 代码中大量使用来自库和我自己的类型classes。每个 typeclass 定律似乎都提供了一个很好的测试。目前，我正在为每个 class 和法律单独编写测试。有没有办法部分自动化？也许像 Haskell 的 quickcheck-classes，我承认，还没有尝试过。

Answer 1

这里有通用核心类的测试：https://github.com/garyb/purescript-quickcheck-laws

我需要把各种规律分解出来，这样它们就可以独立使用了，但也许这无论如何都能满足你的需要！