Add prefab properties for Prelude laws
rightfold opened this issue · comments
rightfold commented
It would be useful if this library had property constructors for the Prelude laws.
For example:
eqReflexivity :: (Arbitrary a, Eq a) => a -> Boolean
eqReflexivity = \x -> x == x
What do you think?
Gary Burgess commented
Have you seen this? https://github.com/garyb/purescript-quickcheck-laws
rightfold commented
Ah! Great! :D
Gary Burgess commented
It wasn't published on Pursuit for some reason, but it is now. Hopefully that will help with discoverability!