Add deriveEnum for Plinth

[bezirg]

Pre-submit checklist:

• Branch
  • Tests are provided (if possible)
  • Commit sequence broadly makes sense
  • Key commits have useful messages
  • Changelog fragments have been written (if appropriate)
  • Relevant tickets are mentioned in commit messages
  • Formatting, PNG optimization, etc. are updated
• PR
  • (For external contributions) Corresponding issue exists and is linked in the description
  • Targeting master unless this is a cherry-pick backport
  • Self-reviewed the diff
  • Useful pull request description
  • Reviewer requested

[SeungheonOh]

With regards to enums, it would also be nice to have a variant of mkIsData for enum types where it will encode each constructors as integer instead of Constr n [], but it's a bit off topic

[bezirg]

With regards to enums, it would also be nice to have a variant of mkIsData for enum types where it will encode each constructors as integer instead of Constr n [], but it's a bit off topic

Interesting idea. I don't know if the plutus core spec though has to be modified to account for this optimization.

[bezirg]

With regards to enums, it would also be nice to have a variant of mkIsData for enum types where it will encode each constructors as integer instead of Constr n [], but it's a bit off topic

I think I will add it in another PR as deriveEnumData ''ADT

[Unisay]

cabal-fmt re-orders modules alphabetically, does it?

[bezirg]

Is cabal-fmt part of CI? I will run it manually

[zliu41]

LGTM

[SeungheonOh]

Interesting idea. I don't know if the plutus core spec though has to be modified to account for this optimization.

This is completely independent from core spec since it just changes how we generate some code.

On the side note we can probably make a smart version of current TH helper that decides most efficient representation like Constr vs List vs I