On 2004-08-30T17:09:39-0700, Lyle Kopnicky wrote: > Unfortunately, I need 'PI r -> ContT r m', along with a and r, to be a > member of the MonadPCont class (PI is the type binding operator). So I > thought I'd define ContT' to take the arguments the other way around. > Unfortunately, it can't be partially applied.
What's your definition of PI? I suspect you simply need to define a newtype that wraps around 'PI r -> ContT r m'. See also: Wadler, Philip L. 1994. Monads and composable continuations. Lisp and Symbolic Computation 7(1): 39-56. http://homepages.inf.ed.ac.uk/wadler/topics/monads.html#composable -- Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig Green-Rainbow Party of Massachusetts http://www.green-rainbow.org/ Rich Zitola for Massachusetts State Senate (Worcester and Middlesex District) http://www.vote-zitola.org/
signature.asc
Description: Digital signature
_______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
