Plutonomicon / plutarch-plutus

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

Allow negative PPosixTime #714

Closed kozross closed 1 month ago

kozross commented 1 month ago

Closes #704. The orphanage instance for POSIXTime has been updated to have the option to generate negative values; we left the Interval POSIXTime instance alone (namely, kept the semantics as they were), as in the only place we use it (TxInfo) it would make no sense to have negative endpoints.