kw pure

Contextual keyword — the effect list after the return type (§6.2)

The list of words: §1.4

Syntax

Effects     = "pure" | Effect { "," Effect } | EffectVar ;

Grammar: App. A

Defined in

• 6.2 Effects — The set of effects is written after the return type, comma-separated
• 13.4 Authorisation and policies — The subject of a policy
• 1.4 Keywords — Reserved (cannot be used as names)
• 8.9 Software transactional memory — atomic { … } executes the body as a serialisable transaction over TVars.

Related diagnostics

effects, data-rights, missing-policy, unknown-policy-target, atomic-effects