IntersectMBO / IntersectMBO/plutus
QuickCheck `Arbitrary` instances for Ledger types
Open
Low priority
status: triaged
tech debt
Test
- Dominant language
- Haskell
- Stars
- 1.6k
- Forks
- 508
- Avg merge
- 3d 10h
- Merged PRs (30d)
- 22
Description
### Describe the feature you'd like
Currently, each projects need to write some property testing generator and shrinker on per-project biases, making testing not only more difficult but possibly more inconsistent and un-standardized. Quickcheck `Arbirary` instances for each types that `PlutusLedgerApi` exports would immensely help when testing scripts, generating some place-holder values, or even maintaining eDSL equivalent for ledger api--for example, [Plutarch](https://github.com/plutonomicon/plutarch-plutus).
Contributor guide
Assessment
This issue has not been assessed yet.