template.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¶
template.apply.effect_contracttemplate.call.effect_contracttemplate.decl.effect_contracttemplate.def.effect_contracttemplate.ukernel.effect_contract