Implement pretty-print for time constraints

tweag / cooked-validators

MIT License

39 stars 11 forks source link

Implement pretty-print for time constraints #159

Closed florentc closed 1 year ago

florentc commented 1 year ago

For some reason, time constraints were not pretty printed. This is a trivial implementation relying on Plutus' Pretty instances for POSIXTime and POSIXTimeRange.

E.g.

ValidateTxSkel
         - Signers: [wallet #1 (a2c20c)]
         - Constraints:
            /\ ValidateIn: (-∞ , +∞)
            [...]