tweag / cooked-validators

MIT License
39 stars 11 forks source link

Bring back the direct monad in the context of the new output types #206

Closed carlhammann closed 1 year ago

carlhammann commented 1 year ago

It's in the title. The "inline datum vs. datum hash" capabilities are also introduced, as in #203, which I'll close once this is merged.

Not all of cooked compiles yet, but enough to run the InlineDatumsSpec tests. I think that's a suitable cutoff point for this work, in order to avoid unnecessarily big PRs.