Как проверить законы о типах классов Purescript?

Question

Я часто использую классы типов из библиотек и свои собственные в своем коде Purescript.Кажется, что каждый закон о типах обеспечивает хороший тест.В настоящее время я пишу тесты индивидуально для каждого класса и закона.Есть ли способ частично автоматизировать это?Может быть, что-то вроде quickcheck-classes на Haskell, чего я, по общему признанию, не пробовал.

Answer 1

Здесь есть тесты для основных базовых классов: https://github.com/garyb/purescript-quickcheck-laws

Мне нужно разбить различные законы, чтобы они могли идеально использоваться независимо друг от друга, но, возможно, это все равно будет соответствовать вашим потребностям!