[Haskell-cafe] Partially-applied type synonyms?

[Chung-chieh Shan]

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/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org//pipermail/haskell-cafe/attachments/20040830/6e12bcb0/attachment.bin