Skip to content

feat(FilterOk): implement DoubleEndedIterator#948

Merged
phimuemue merged 1 commit into
rust-itertools:masterfrom
Xenira:filterok-doubleended
May 27, 2024
Merged

feat(FilterOk): implement DoubleEndedIterator#948
phimuemue merged 1 commit into
rust-itertools:masterfrom
Xenira:filterok-doubleended

Conversation

@Xenira

@Xenira Xenira commented May 27, 2024

Copy link
Copy Markdown
Contributor

Implemented DoubleEndedIterator for FilterOk

Refs: #947

@codecov

codecov Bot commented May 27, 2024

Copy link
Copy Markdown

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 94.48%. Comparing base (6814180) to head (d882491).
Report is 97 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #948      +/-   ##
==========================================
+ Coverage   94.38%   94.48%   +0.09%     
==========================================
  Files          48       49       +1     
  Lines        6665     7030     +365     
==========================================
+ Hits         6291     6642     +351     
- Misses        374      388      +14     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@Xenira Xenira force-pushed the filterok-doubleended branch from f555d16 to d882491 Compare May 27, 2024 18:18
@Xenira

Xenira commented May 27, 2024

Copy link
Copy Markdown
Contributor Author

Added the rfold impl

@Philippe-Cholet Philippe-Cholet left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Good. Unless @phimuemue or @jswrenn think we should not make FilterOk double ended (and FilterMapOk), I'll merge this as is.

@phimuemue phimuemue added this pull request to the merge queue May 27, 2024
Merged via the queue into rust-itertools:master with commit 23bf81a May 27, 2024
@Philippe-Cholet Philippe-Cholet added this to the next milestone May 27, 2024
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.

3 participants