This library defines a collection of property tests using Tasty.Quickcheck allowing one to test that a typeclass instance satisfies the laws associated with it.
boarders / algebraic-laws Goto Github PK
View Code? Open in Web Editor NEWA Haskell library defining a collection of algebraic laws