diff options
| author | eunhhu <[email protected]> | 2026-09-25 15:00:27 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-25 15:00:27 +0100 |
| commit | 82f685e5583d3edc4e5d9d327e9925705ce51b1d (patch) | |
| tree | 85b0889aa1152bb79b3e16c2711da83bb42d8402 /prototypes/connections/state.h | |
| parent | 50a271cc241fb9fcdb196d45ba113f74cb318b47 (diff) | |
| download | pure-82f685e5583d3edc4e5d9d327e9925705ce51b1d.tar.gz pure-82f685e5583d3edc4e5d9d327e9925705ce51b1d.zip | |
Add conditional joins and table views to Pure modules
Module format v5 lets a value cross a join: the verifier records the
stack each branch brings to its target and requires every path to agree
on height, types and owners, with at most 8 such joins ahead. Branches
are now allowed in views, so a view can be a conditional expression.
A table view has one row per item of a list. Its columns are number or
text views evaluated for one row at a time and may read that row (ROW).
Hosts compute only the cells they show through pure_app_rows,
pure_app_cell and pure_app_cell_text. Column names are scoped to their
table. The view limit rises to 64, columns included.
pure-run prints a table view as an array of row objects.
Diffstat (limited to 'prototypes/connections/state.h')
0 files changed, 0 insertions, 0 deletions
