-
Notifications
You must be signed in to change notification settings - Fork 12
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
Simplify everything by making Has into the class, and getting rid of … #35
Conversation
…the ConstraintsFor type family
I'm happy to report that lambdabot (which uses constraints-extras via dependent-sum) can still be compiled with this change. This is kind of expected. Code that relies only on |
I don't like this change, there is fancy stuff I want to do with quantified constraints that this will break. The sort of thing I started implementing in #17. |
# Conflicts: # src/Data/Constraint/Extras.hs # src/Data/Constraint/Extras/TH.hs This merge also involved a bunch of re-documentation and I extended the README to test the code for handling type families.
|
||
-- | \"Primed\" variants (@ConstraintsFor'@, 'argDict'', 'Has'', |
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.
Although ConstraintsFor' goes away, it might be nice to say what "primed" variants and "V" variants of things mean.
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.
I do, just in the documentation for those things. But I can document this type synonym as well.
…the ConstraintsFor type family