tweag / cooked-validators

MIT License
39 stars 11 forks source link

Pretty-printing for v2 #207

Closed florentc closed 1 year ago

florentc commented 1 year ago

Major refactoring of pretty printing. Printing of UtxoState and TxSkel is now centralized in top level module Pretty with common auxiliary printers for values, adresses, etc. Pretty printing of datums now rely on a Pretty instance which make it possible to easily define way more output than before. The produced documents are overall more compact yet readable and the code base has been simplified a lot.

Also there is a user guide at the beginning of the module.