[m-users.] How to declare a set of typeclasses?

[Julien Fischer]

On Wed, 11 Oct 2023, Sean Charles (emacstheviking) wrote:

> The only mystery is that I didn't have to provide the `equality`
> predicate as described in "8 User-defined equality and comparison" of
> the referece. So what did mercury do for me that I didn't have to do.

Mercury defines equality and comparison for all types by default using
it standard ordering (see Section 4.5 The standard ordering in the
reference manual).

Julien.