diff options
| author | eunhhu <[email protected]> | 2026-09-28 00:21:09 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-28 00:21:09 +0100 |
| commit | c7a4178b1b2b8702cc2798aa3d31447bd02389e4 (patch) | |
| tree | 2175bd395df80661397d3695e5cf396e32e53244 /prototypes/live-rules/cli.mjs | |
| parent | 44740eb93a69a052ee7b4c46f2ccac384c9d4f36 (diff) | |
| download | pure-c7a4178b1b2b8702cc2798aa3d31447bd02389e4.tar.gz pure-c7a4178b1b2b8702cc2798aa3d31447bd02389e4.zip | |
Let a fold that runs in a column read the column's row
OUTER_ROW pushes the row of the column a fold's block runs for, as an
index of the column's list; ROW inside the block stays the fold's own
item. The verifier accepts it only in a fold's block inside a column,
naming that column's list (a fold in a handler, a plain view or a filter
has no outer row). So a column can hold a correlated fold: per branch,
the sum of its accounts; per account, how many are richer. aup compiles
the column's row inside a fold to it.
Diffstat (limited to 'prototypes/live-rules/cli.mjs')
0 files changed, 0 insertions, 0 deletions
