[mercury-users] Typeclass question

[Zoltan Somogyi]

On 17-May-2004, m.spain at ugrad.unimelb.edu.au <m.spain at ugrad.unimelb.edu.au> wrote:
> I would like to be able to have a type list(T), but have T be dependent
> on which instance of a typeclass is being used.  Is there any way to do
> this in Mercury?

Yes. Section 11.3 of the Mercury reference manual, available from the
Mercury web site, shows a couple of ways to do this.

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