IntersectMBO / IntersectMBO/plutus

QuickCheck `Arbitrary` instances for Ledger types

Open
#6,210 14 comments 1 reaction 0 assignees View on GitHub
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.