-----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, laf...@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----- _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe