[Haskell-cafe] CCC MyType
Brent Yorgey
byorgey at seas.upenn.edu
Sat Oct 2 17:35:41 EDT 2010
On Fri, Oct 01, 2010 at 01:18:29PM +0200, Lafras Uys wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
>
> I can now find explicit bindings for apply and curry, however not for
> uncurry. The type signature for uncurry introduces a new type
> constructor (<=>),
>
> > uncurry :: <= a (Exp <= b c) -> <= (Product <=> a b) c
>
> I'm not sure what the meaning of (<=>) is? If someone could provide some
> pointers, I would be much obliged.
Where did you get these type signatures from? It seems most likely to
me that the <=> is just a typo.
-Brent
More information about the Haskell-Cafe
mailing list