[mercury-users] Typeclass question

[Zoltan Somogyi]

On 19-May-2004, m.spain at ugrad.unimelb.edu.au <m.spain at ugrad.unimelb.edu.au> wrote:
> Actually what I would really like to be able to do is to have a
> type T1(T2) as the parameter to a typeclass.

What you are asking for is classes whose arguments can include not just types,
but also type constructors. This capability is known as "constructor classes".
It has been on our wishlist for a long time, but we don't have anybody
working on implementing it.

Zoltan.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------