Update `PrettyCooked` - Githubissues

tweag / cooked-validators

MIT License

39 stars 11 forks source link

Update `PrettyCooked` #426

Open mmontin opened 4 days ago

mmontin commented 4 days ago

At the moment, our PrettyCooked features suffers from small inaccuracies:

module Pretty.Cooked is far too long
we sometimes use PP.pretty instead of prettyCookedOpts
some PrettyCooked instances are located in Pretty.Class, some others in Pretty.Cooked and the reason for this separation is unclear.
some PrettyCooked instances are actually written as instances, while others are functions named prettyXXX but are basically instances. This can lead to repeated code if one does not realize an instance is here but is not actually written as such.
PrettyCooked has it own hashable type class which could maybe be factored with toScriptHash to some extent (see #424)

In addition, there could be some improvements:

code can be factored (for example for redeemers)
we could provide some automation to deduce PrettyCooked instances

mmontin commented 1 day ago

The factoring for redeemers is being performed in PR #428