Continuation monad and generalizations, take 2 #303

wants to merge 3 commits into


None yet

3 participants


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.

This is a redo of #302.

larsrh commented Mar 9, 2013

Merged in fa1f799.

@larsrh larsrh closed this Mar 9, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment