[m-users.] Multi predicate of entire enum
zoltan.somogyi at runbox.com
Mon Jul 20 14:44:42 AEST 2020
2020-07-20 14:37 GMT+10:00 "Ace" <sheganinans at gmail.com>:
> 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.
> 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?
No, there is no such library predicate.
If updating the predicate manually becomes too much of a bother,
you could write a script (in sh, python, perl or something else) that
generates the definition of both the type and the predicate from
a single authoritative source in another file.
More information about the users