Re: [m-users.] How to declare a set of typeclasses?
Julien Fischer <[email protected]>
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
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. _______________________________________________ users mailing list [email protected] https://lists.mercurylang.org/listinfo/users