func.EffectContract enum¶
Callable effect contract. Absent (0) means unspecified (conservative).
Cases¶
| Keyword | Value | Description |
|---|---|---|
pure |
1 | No memory effects, deterministic. |
readonly |
2 | May deterministically read memory but has no other effects. |
Used by¶
func.call.effect_contractfunc.decl.effect_contractfunc.def.effect_contract