We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
You have
newtype instance Param n (a :: Type) = StarParam { getStarParam :: a}
If you're willing to drop getStarParam (and make the constructor name a tad weird), then on recent GHC you can change this to
getStarParam
newtype instance Param n (a :: TYPE rep) = StarParam a
This obviously does nothing for lenses, but it strikes me as the right thing for GenericN itself.
GenericN
The text was updated successfully, but these errors were encountered:
No branches or pull requests
You have
If you're willing to drop
getStarParam
(and make the constructor name a tad weird), then on recent GHC you can change this toThis obviously does nothing for lenses, but it strikes me as the right thing for
GenericN
itself.The text was updated successfully, but these errors were encountered: