nick8325 / nick8325/quickcheck
generic deriving of Arbitrary
Nobody has claimed this yet.
- Dominant language
- Haskell
- Stars
- 790
- Forks
- 130
- Avg merge
- 16h 41m
- Merged PRs (30d)
- 2
Description
Would it be an idea to have a generic implementation of arbitrary in the main QuickCheck library? I saw a package that implements 1 2 a genericArbitrary function. Then there is a generic function for both arbitrary and shrink then the default implementation could be written with these generic functions. People could then just put deriving (Arbitrary) on their types. Possibly a language extensions like DeriveAnyClass should be used for it to work, but i'm not sure about that.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by comparing the linked genericArbitrary implementations with QuickCheck's arbitrary and shrink entry points, including whether DeriveAnyClass is relevant. Clarify the intended default behavior and compatibility scope before identifying the library changes; done would mean an agreed design for generic Arbitrary and shrink derivation in the main library.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- testing-qa
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100