Skip to content
View source

Scatter builtinsGenerated

The builtins of kind scatter, as the compiler’s own table lists them.

Returns Function Requires
P emit (pair: P) field.write
emit(pair: P) -> P

Gives 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