[Haskell-cafe] CCC MyType

[Lafras Uys]

-----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 at 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-----