Allow some form of type-level annotations.

danidiaz / by-other-names

Give aliases to record fields

BSD 3-Clause "New" or "Revised" License

2 stars 0 forks source link

Closed danidiaz closed 2 years ago

danidiaz commented 2 years ago

They could be useful for generating schemas from types and the like.

Add also some way of demoting them, at least for sum types...

danidiaz commented 2 years ago

Added in 7140773e96234a2dede47ca930d4ec07783a935c.