Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Why is Data.Comp.Ops.(:+:) redefined rather than reusing the one from GHC.Generics? #42

Open
yairchu opened this issue Sep 7, 2024 · 1 comment
Open

Why is Data.Comp.Ops.(:+:) redefined rather than reusing the one from GHC.Generics? #42

yairchu opened this issue Sep 7, 2024 · 1 comment

Comments

@yairchu
Copy link

yairchu commented Sep 7, 2024

It appears that the :+: type operator in Data.Comp.Ops can be replaced with using the one from GHC.Generics (which appears to be a poly-kinded version of the same thing).

Did you consider using the one from base?
It seems like it would make it useful to automatically create inject/preview/prisms for normal ADTs using Generic (perhaps someone already made something like that?)
@yairchu
Copy link
Author

yairchu commented Sep 8, 2024

I experimented with implementing this generic subtype injector here

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@yairchu