[records] A reflection API to get the primary constructor?
amaembo at gmail.com
Wed Sep 25 15:44:17 UTC 2019
Speaking of the reflection API, do we have a way to get a primary
constructor of a record class? Sure we can do something like
But it looks like a bit verbose. Something like
cls.getPrimaryConstructor() (throwing on non-records) looks better.
What do you think?
With best regards,
More information about the amber-spec-experts