low.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¶
low.func.call.effect_contractlow.func.decl.effect_contractlow.func.def.effect_contractlow.invoke.effect_contract