template.EffectContract enum

← Attribute reference

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

• template.apply.effect_contract
• template.call.effect_contract
• template.decl.effect_contract
• template.def.effect_contract
• template.ukernel.effect_contract