Plutonomicon / plutarch-plutus

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

Seungheonoh/pvalue #698

Open SeungheonOh opened 2 months ago

SeungheonOh commented 2 months ago

This makes PValue and other type that have PValue more compatiable with PTryFrom, but introduces slight inefficiency as dozen or so operation now have to first convert PValue to BuiltinList, do operations, and convert it back to Data.

I don't think it's easy enough to have it both allow efficient representation and work correctly with PTryFrom