aboutsummaryrefslogtreecommitdiffstats
path: root/research/experiments/010-one-sync-commit/commits.c
diff options
context:
space:
mode:
authoreunhhu <[email protected]>2026-09-28 00:21:09 +0100
committereunhhu <[email protected]>2026-09-28 00:21:09 +0100
commitc7a4178b1b2b8702cc2798aa3d31447bd02389e4 (patch)
tree2175bd395df80661397d3695e5cf396e32e53244 /research/experiments/010-one-sync-commit/commits.c
parent44740eb93a69a052ee7b4c46f2ccac384c9d4f36 (diff)
downloadpure-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 'research/experiments/010-one-sync-commit/commits.c')
0 files changed, 0 insertions, 0 deletions