Output modifiers

Output modifiers are block elements that transform the caller's current output before the modifier's own result is written back.

The @edit operator

@edit consumes the caller's current output, optionally binds it to a local name, and replaces it with the modifier body.

"example" { @edit x: `<x> `<x> }

example example

If no binding name is supplied, the previous output is discarded and only the modifier result is kept.

"example" { @edit: "overwritten" }

overwritten

@edit must appear at the start of a block element. Misplaced @edit is a compile-time error.

[%factorial: n] {
  1 [rep: <n>] {@edit x: <x> * [step]}
}

[factorial: 6]