Skip to main content

mutations

Attribute Macro mutations 

Source
#[mutations]
Expand description

Declares a mutation surface over the enum this attribute sits on.

The body is the mutation grammar, read whole by macroonz_compiler::descriptor::mutation: the surface’s address, the evaluation family, the point and owner fact, the fact-to-claim mappings, and the operator permissions. The door completes the site from the item itself — the enum’s variant list is the declared order, the unchanged operation is that order as authored, and each alternative is one adjacent transposition of it under the harness bank’s declared-order-permutation operator family. The expansion is one exported carrier holding the rendered module as proved test-carrier cargo, followed by the item unchanged.

A malformed declaration, and an item that states no order this grammar can read, expand to compile_error! at the offending token.