Add PlutusLedgerApi QuickCheck instances - Githubissues

IntersectMBO / plutus

The Plutus language implementation and tools

Apache License 2.0

1.57k stars 479 forks source link

Add PlutusLedgerApi QuickCheck instances #6624

Open t4ccer opened 4 weeks ago

t4ccer commented 4 weeks ago

Closes #6210

Add Arbitrary, CoArbitrary and Function instances from QuickCheck for every PlutusLedgerApi type. This is a port of instances from https://github.com/Plutonomicon/plutarch-plutus

Pre-submit checklist:

Branch
- [ ] Tests are provided (if possible)
- [ ] Commit sequence broadly makes sense
- [ ] Key commits have useful messages
- [ ] Changelog fragments have been written (if appropriate)
- [ ] Relevant tickets are mentioned in commit messages
- [ ] Formatting, PNG optimization, etc. are updated
PR
- [ ] (For external contributions) Corresponding issue exists and is linked in the description
- [ ] Targeting master unless this is a cherry-pick backport
- [ ] Self-reviewed the diff
- [ ] Useful pull request description
- [ ] Reviewer requested

kozross commented 3 weeks ago

@effectfully - would you mind taking a look at this?

effectfully commented 3 weeks ago

It's on my list, but I can't do it this week, sorry, too many commitments. I'll do my best to review it the next week. Thanks for the reminder.