Prism mapn combine #4

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

Open

1 task done

beezee opened this issue Sep 30, 2018 · 0 comments

Contributor

beezee commented Sep 30, 2018 •

edited

Loading

[] prisms can be derived for all arity Cop types which may be useful for optionally extracting a member
mapN can be defined in terms of a Functor constraint on the F in a CopK[F] or ProdK[F] for all Ns within a given arity (done minus Functor awareness, might be overkill)
[] "combine" can be given for (A, B) where B is a Monoidal Product) and A has an Inject to B.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment