-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 02/10/2010 23:35, Brent Yorgey wrote:
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.
- From the categories package, http://hackage.haskell.org/package/categories - -- Lafras Uys, Postdoctoral Fellow African Institute for Mathematical Sciences +27 21 787 9349, lafras@aims.ac.za -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkypcyEACgkQKUpCd+bV+krERgCgzgUHXZap3dYUl/Yvmq5KoGZo N7IAn2AM794Yk8qYayHpEwjf48Cadnxh =C0ww -----END PGP SIGNATURE-----