Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Continuation monad and generalizations #302

Closed
wants to merge 3 commits into
from

Conversation

2 participants
Contributor

pthariensflame commented Mar 8, 2013

This pull request implements the indexed multi-continuation monad transformer IndexedContsT, as well as providing type synonyms for common specializations.

Unfortunately, I was unable to provide a MonadTrans instance and still maintain variance in the type parameters, and a Hoist instance is completely out of the question. liftM is, at least, implemented with the necessary additional variance annotations in IndexedContsTFunctions.

Contributor

larsrh commented Mar 9, 2013

Could you please rebase this pull request to the latest HEAD so that we can get rid of the merge commit?

Contributor

pthariensflame commented Mar 9, 2013

Sure.

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