[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