func.EffectContract enum¶
Callable effect contract. Absent (0) means unspecified (conservative).
Cases¶
| Keyword | Value | Description |
|---|---|---|
pure |
1 | No memory or observable payload effects, with deterministic computation. Managed allocations and handle bookkeeping may be eliminated with an unused lifetime; live owners keep their independent identities and cleanup. |
readonly |
2 | May deterministically read memory but has no other effects. |
Used by¶
func.call.effect_contractfunc.decl.effect_contractfunc.def.effect_contract