search

NorfairKing / validity

Validity and validity-based testing
https://www.youtube.com/watch?v=eIs9qNh17SM
MIT License
156 stars 31 forks source link

genvalidity-sydtest specs for Enum/Bounded #110

Closed cumber closed 1 year ago

cumber commented 1 year ago

I've been working on a set of specs for testing manually-written Enum instances (toEnum and fromEnum round-trip, if the type is Bounded too then pred/succ fail only on minBound/maxBound, etc). I was going to write up a pull request when done.

Now I have rethought what I was doing a little so that I no longer have a use-case for an Enum instance that can't be auto-derived. So I don't really need specs for Enum instances any more. I'm happy to finish and submit the pull request, if you think it would be useful to have in genvalidity-sydtest. But given I don't have an immediate use case, I thought I'd check first whether it's something you would actually want to provide.

NorfairKing commented 1 year ago

Yeah sounds great! That would be useful in both genvalidity-sydtest and genvalidity-hspec actually.

NorfairKing commented 1 year ago

@cumber any news?

cumber commented 1 year ago

@NorfairKing Ah, it has been a while hasn't it? :( Rather a lot of life has been happening.

I'm still aiming to finish this off and shoot a pull request. Not likely to be in the next few weeks or anything though; I don't mind if you want to tidy up this issue, it doesn't need to be sitting open.

NorfairKing commented 1 year ago

@cumber okido, pr welcome!