Remove Arbitrary?
Nobody has claimed this yet.
Assessment
- Difficulty
- 5/5
- Estimated time
- Over a week
- Newbie friendliness
- 12/100
- Issue type
- Feature
- Clarity
- Needs clarification
- Activity status
- Stale
- Domain
- testing
Research direction
Read the discussion in issue #63 and this issue's comments to understand the arguments around removing Arbitrary, deriving generators with generic-rep, and CoArbitrary. No implementation files or tests are named; first establish whether the discussion has reached a decision. Done means a settled design for how generator derivation and CoArbitrary should work.
Written by the indexing model from the issue text.
Description
I'm adding this to track the discussion going on in #63.
The argument for removing Arbitrary is that instances are almost never canonical, so we almost always end up needing newtypes.
A possible downside is that we'd still need a class like Arbitrary if we want to derive generators using generic-rep. That means that we'd need some way to reflect a Gen as an instance, or we're back to Arbitrary instances anyway. CoArbitrary is also much nicer with type classes.
- Dominant language
- PureScript
- Stars
- 108
- Forks
- 42
- Avg merge
- 2d 23h
- Merged PRs (30d)
- 1
Getting set up
- No Dockerfile or Docker Compose file
- Has a pull request template
- No contributing guide
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.
More from purescript/purescript-quickcheck
-
Difficulty 3/5 1-2 days Newbie friendliness 35/100
purescript/purescript-quickcheck#136 · 1 comment ·
-
Lazy List Arbitrary InstancePossibly taken @eviefp claimed this 2206 days ago. Opentype: enhancement
Difficulty 3/5 1-2 days Newbie friendliness 20/100
purescript/purescript-quickcheck#111 · 2 comments · 2 reactions ·
-
type: documentation
Difficulty 1/5 Under an hour Newbie friendliness 55/100
-
purs-0.15 type: breaking change
Difficulty 5/5 Over a week Newbie friendliness 20/100
purescript/purescript-quickcheck#104 · 12 comments ·
-
ShrinkingOpentype: enhancement
Difficulty 5/5 Over a week Newbie friendliness 15/100
purescript/purescript-quickcheck#103 · 6 comments · 4 reactions ·
All issues in purescript/purescript-quickcheck
Similar issues
-
[prefer-expect-resolves] autofix leaves a stray ")" when the awaited expression is parenthesizedOpen
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
jest-community/eslint-plugin-jest#2052 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 88/100
johanhaleby/occurrent#1505 ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
jeanibarz/knowledge-base-mcp-server#1262 ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 62/100
future-agi/future-agi#4092 · 1 comment ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 82/100
Maintainers usually reply within 1 day