haskell-hedgehog-classes icon indicating copy to clipboard operation
haskell-hedgehog-classes copied to clipboard

Published 20 hours ago • verified publisher icon hedgehogqa

expose more law-defining utilities

Open sellout opened this issue 4 years ago • 1 comments

There are a lot of useful functions in this library for defining laws, but they're not exposed at all. I'm thinking mostly of things in Hedgehog.Classes.Common.Laws like congruency, lawWhere, etc.

It seems like there should be at least two exposed modules -- one for checking laws (containing most of what's already exposed) and one for defining laws (containing the stuff I mentioned above, plus the stuff like the equality tests that are already exposed).

sellout avatar Jul 15 '20 15:07 sellout

I've thought about this before and I'm in favour. Mind preparing a PR?

chessai avatar Jul 19 '20 02:07 chessai