search

haskell-checkers / checkers

Check properties on standard classes and data structures
Other
79 stars 13 forks source link

Complete Ord laws #35

Closed sjakobi closed 5 years ago

sjakobi commented 5 years ago

Fixes https://github.com/conal/checkers/issues/9.

sjakobi commented 5 years ago

@conal Although there's a lot more that could be done, I believe this is all I need for now. (I want to test some instances in the multiset package)

So if you could cut a release soon, I'd be very happy! :)

sjakobi commented 5 years ago

@conal Actually hold off a bit longer. I've run into a problem with antiSymmetric that I think could also need a breaking change.

sjakobi commented 5 years ago

@conal Ok, that's enough for me for now. :-)