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

Document Cop and CopK folds #82

Open
raulraja opened this issue Nov 5, 2017 · 0 comments
Open

Document Cop and CopK folds #82

raulraja opened this issue Nov 5, 2017 · 0 comments
Milestone

Comments

@raulraja
Copy link
Contributor

raulraja commented Nov 5, 2017

Per conversation at https://gitter.im/47deg/freestyle?at=59ff9f01976e63937e2f9405 there is some useful type level computation we can perform over Cop and CopK to fold two different Coproduct's and apply Ops while folding.

@raulraja raulraja changed the title Document def copFold[L, B](a: Cop[L])(fa: Prod[TList.Op.Map[? => B, L]]): B = // … Document Cop and CopK folds Nov 5, 2017
@andyscott andyscott added this to the v0.5.0 milestone Feb 14, 2018
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

No branches or pull requests

2 participants