[mercury-users] Tuple type class instances

[Michael Day]

Hi,

Is it or will it ever be possible to declare a type class instance that
applies to all tuples?

I seem to recall this syntax...

:- instance something({A | B}) ...

where A is the first element of the tuple and B is the n-1 size remaining
tuple.

Michael



--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------