nupp.mem.indexed

One inclusive range, checked once against every view a loop is about to index.

A loop that walks two views together needs the same bounds to hold for both, and checking them separately checks them twice and says nothing about the pair. range takes the views and answers bounds that are valid for all of them.

local indexed = nupp.mem.indexed

const bounds = indexed.range(1, 4, left, right)
for i = bounds.first, bounds.last do
    print(left[i], right[i])
end

The checker validates the variadic operands against their trusted descriptors, so only a sealed view contract can be passed. The runtime body stays representation-neutral and reads the private count slot each bundled view implementation carries.

See nupp.mem.span for the views this validates, and ownership.md for the borrow rules they are written against.

record indexed.Range
    readonly first: integer
    readonly last: integer
end

first: integer

last: integer

function indexed.range(first: integer, last: integer, borrows ?: any): indexed.Range

const bounds = indexed.range(1, 4, left, right)
for i = bounds.first, bounds.last do
    print(left[i], right[i])
end