haskell-hedgehog-classes
haskell-hedgehog-classes copied to clipboard
hedgehogqa
Hedgehog will eat your typeclass bugs
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....
These are a bit different, since the intention of `Group` is more general, whereas `Laws` is meant to indicate just a test involving a typeclass law(s). Here are their respective...
lawsCheckMany does this. however, sometimes people will use the other two functions in test suites. failures there don't cause a test-suite failure. this could be fixed by making sure that...
Currently, there's not an easy way to change the number of tests run from the default (100). Even if you do reach in and change it manually, it doesn't change...
this is challenging because the applicative transformations/functions we use are rather large ugly.
If the generators we are fed have a very large codomain, ixLaws will generate (allocate) a massive list, traverse it. this happens 100 times, killing cpu and throttling memory. i'll...