Scatter builtinsGenerated
The builtins of kind scatter, as the compiler’s own table lists them.
Methods
Section titled “Methods”| Returns | Function | Requires |
|---|---|---|
P |
emit (pair: P) |
field.write |
Method descriptions
Section titled “Method descriptions”emit(pair: P) -> PGives a scatter one more pair, a struct of an address into its target and a value of its element, as it returns one: an element’s pairs are the ones it emits, in order, then the one it returns, and an address outside the target is dropped. Scatter only, from its body, under min, max, or a sum of integers, whose answer is the same in any order.
Requires: field.write · Callable from a Kernel body only

