Skip to content
This repository has been archived by the owner on Jul 24, 2019. It is now read-only.

CartesianK #2

Closed
kailuowang opened this issue May 2, 2017 · 0 comments
Closed

CartesianK #2

kailuowang opened this issue May 2, 2017 · 0 comments

Comments

@kailuowang
Copy link
Owner

kailuowang commented May 2, 2017

(Interpreter[F], Interpreter[G]) => Interpreter[λ[A => (F[A], G[A])]]

example use case at https://github.com/edmundnoble/Neil/blob/master/src/main/scala/io/enoble/svg2d/Main.scala#L120

@kailuowang kailuowang changed the title Add InvariantK or ProductK InvariantK or ApplyK? May 4, 2017
@kailuowang kailuowang changed the title InvariantK or ApplyK? CartesianK May 4, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant