Repository navigation

Add dict.filter(..) function - #471

Merged

joente merged 2 commits into

mainfrom

Oct 30, 2026

Merged

Add dict.filter(..) function#471
joente merged 2 commits into
mainfrom
dict-filter

joente commented Oct 30, 2026

Member

Description

This pull request adds the filter(..) function for type dict.

Type of change

New feature (non-breaking change which adds functionality)

How Has This Been Tested?

Test collection functions

Checklist:

My code follows the style guidelines of this project
I have performed a self-review of my own code
I have commented my code, particularly in hard-to-understand areas
I have made corresponding changes to the documentation
New and existing unit tests pass locally with my changes


          dict filter

224cd48

joente self-assigned this


          correct pr

bc8ea57

joente merged commit aa8414a into main

1 check passed

joente deleted the dict-filter branch

October 30, 2026 12:11

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet