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

Can we improve type inference for Control.Lens.Zipper.Zipped #52

Closed
ekmett opened this issue Sep 19, 2012 · 2 comments
Closed

Can we improve type inference for Control.Lens.Zipper.Zipped #52

ekmett opened this issue Sep 19, 2012 · 2 comments
Labels
question wontfix

Comments

@ekmett
Copy link
Owner

ekmett commented Sep 19, 2012

When you go to extract from a zipper, it is somewhat galling that defaulting doesn't work nicely due to the MPTC. I wonder if there is a nicer encoding that bypasses the need.
@ekmett
Copy link
Owner Author

ekmett commented Sep 19, 2012

My first couple of attempts using MPTCs did worse than the type family version. This may be intractable.

@ekmett
Copy link
Owner Author

ekmett commented Sep 22, 2012

Giving up. I don't like any of the types that arise when you force this to have better inference.

@ekmett ekmett closed this as completed Sep 22, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
question wontfix
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ekmett