2 Oct
2010
2 Oct
'10
9:35 p.m.
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