[m-users.] Multi predicate of entire enum

Ace sheganinans at gmail.com
Mon Jul 20 14:37:22 AEST 2020


So say I have some enum:

`:- type ex ---> a; b; c.`

And I want to generate a function similar to:

```
:- pred ex_mul(ex::out) is multi.
ex_mul(a).
ex_mul(b).
ex_mul(c).
```

Any kind of standard library predicate I can use so I don't have to add a
new case to the predicate for every instance of the enum?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20200719/d61bda57/attachment.html>


More information about the users mailing list