Skip to content

Re-wrote and optimized the static version of the list .Filter() operator,...#1063

Merged
JakenVeina merged 1 commit intomainfrom
housekeeping/list-filter-modernization
Mar 3, 2026
Merged

Re-wrote and optimized the static version of the list .Filter() operator,...#1063
JakenVeina merged 1 commit intomainfrom
housekeeping/list-filter-modernization

Conversation

@JakenVeina
Copy link
Copy Markdown
Collaborator

...persuant to #1014, and #1060. This operator now properly supports Refresh changes, and preserves ordering of items, for downstream consumers.

Copy link
Copy Markdown
Collaborator

@RolandPheasant RolandPheasant left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This makes sense, and looks reasonable.

Out of interest how does it perform for large lists of > 10 k items?

@RolandPheasant
Copy link
Copy Markdown
Collaborator

This makes sense, and looks reasonable.

Out of interest how does it perform for large lists of > 10 k items?

Dang. It's here: #1060

@RolandPheasant RolandPheasant self-requested a review March 3, 2026 07:03
@JakenVeina JakenVeina force-pushed the housekeeping/list-filter-modernization branch 2 times, most recently from 1a68b00 to 1680819 Compare March 3, 2026 08:21
…tor, persuant to #1014, and #1060. This operator now properly supports Refresh changes, and preserves ordering of items, for downstream consumers.
@JakenVeina JakenVeina force-pushed the housekeeping/list-filter-modernization branch from 1680819 to 12ac9af Compare March 3, 2026 08:47
@JakenVeina JakenVeina merged commit f01a8c9 into main Mar 3, 2026
1 check passed
@JakenVeina JakenVeina deleted the housekeeping/list-filter-modernization branch March 3, 2026 08:58
@github-actions
Copy link
Copy Markdown

This pull request has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Mar 18, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants