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.

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

Introduce generalization for "Copair" types like Either, Xor, Validated, A :+: B :+: CNil #22

Closed
wants to merge 2 commits into from

Conversation

Jacoby6000
Copy link

There has been some discussion on this already over in the cats repo typelevel/cats#976.

Some people suggested that I submit this over here instead.

@milessabin
Copy link
Member

This is great stuff, but I don't think it belongs in Kittens. It looks very much along the lines of what I have planned for shapeless 3.0.

@Jacoby6000 Jacoby6000 closed this Jul 14, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants