Skip to content

Apply mapping functions when indexing mapped iterators - #60

Open
quinnj wants to merge 2 commits into
mainfrom
maintenance/mapped-iterator-indexing
Open

quinnj wants to merge 2 commits into
mainfrom
maintenance/mapped-iterator-indexing

Conversation

@quinnj

@quinnj quinnj commented Oct 4, 2026 •

Copy link
Copy Markdown
Member

Indexing a mapped tuple or named tuple now applies the mapping function, matching iteration. For example, mapview(x -> 10x, (1, 2, 3))[2] returns 20 instead of the original 2. The shared indexing method preserves lazy evaluation and propagates errors from the parent or mapping function.

Validation on Julia 1.10.12 and 1.13.1: the focused reproducer changed from 3 passing and 7 failing checks to all 10 passing. The full native suite passes all 224 assertions on both versions, including the new checks for indexing, changed output types, laziness, and error handling. All four hosted native test jobs pass at c5e34de63add8bc179a9737ae0bddb92c629009c. All four coverage uploads are accepted for this repository and commit, and Codecov has processed all four reports (73.94%). An independent approving GitHub review is still required before merge.

CI also authenticates coverage uploads with GitHub OIDC on repository branches and fails when an upload is rejected. The previous uploader rejected reports for the protected branch while still reporting a successful job.

Co-authored by Codex

AI disclosure: This work was prepared with assistance from OpenAI Codex.

quinnj added 2 commits October 4, 2026 14:29
Keep indexed values consistent with iteration and preserve lazy evaluation.
Cover tuple and named-tuple indexing, changed result types, and errors.

AI disclosure: This work was prepared with assistance from OpenAI Codex.
Use scoped GitHub OIDC for repository branches and preserve the tokenless
fork path. Keep the existing test matrix and coverage configuration.

AI disclosure: This work was prepared with assistance from OpenAI Codex.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant