-
-
Notifications
You must be signed in to change notification settings - Fork 369
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Properties API: Remove unsafe coerce in favor of type class based method in #3947
Properties API: Remove unsafe coerce in favor of type class based method in #3947
Conversation
The redundant-constraints suppression can also be removed. |
51c2340
to
72d625a
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks plausible, although I haven't worked it all through in my head. Definitely worth considering if this stuff can be simplified.
Note that I think it would be pretty reasonable for us to actually depend on singletons
- the base library is pretty small, and it has a lot of vocabulary for this kind of thing.
Yes, it is for the singleton pattern. And also we can take a look at Oleg Kiselyov's HList for for type level list and record. But it it would be complete rewrite of current implementations, I think we can considered them in the future. |
After removal of unsafe coerce the api would not be affected