Plutonomicon / plutarch-plutus

Typed eDSL for writing UPLC /ˈpluː.tɑːk/
MIT License
123 stars 63 forks source link

V3 data types #679

Closed kozross closed 2 months ago

kozross commented 2 months ago

This fixes #655. However, a few outstanding tasks remain:

  1. Tests need to be written for all the added and changed types. This is part of our wider move to improve our test suite.
  2. There are some functions in the V3 Contexts module on the Plutus side that we probably want Plutarch equivalents of, as some supercede existing functionality. These have been started, but not finished.
  3. The documentation is now stale in places. I've fixed it so it compiles, but some of the prose no longer makes sense in light of these changes.

For my own sanity, I did some structural mirroring of the organization of the Plutus ledger API modules. We don't have to keep this if we don't want to.