Skip to content

minor: Remove unnecessary toNonEmptyListOrNull in optics FilterIndex#3838

Merged
kyay10 merged 1 commit intomainfrom
kyay10/optics-filter-index-nel
Dec 30, 2025
Merged

minor: Remove unnecessary toNonEmptyListOrNull in optics FilterIndex#3838
kyay10 merged 1 commit intomainfrom
kyay10/optics-filter-index-nel

Conversation

@kyay10
Copy link
Collaborator

@kyay10 kyay10 commented Dec 30, 2025

No description provided.

@github-actions
Copy link
Contributor

Kover Report

File Coverage [60.00%]
arrow-libs/optics/arrow-optics/src/commonMain/kotlin/arrow/optics/typeclasses/FilterIndex.kt 60.00%
Total Project Coverage 47.65%

@kyay10 kyay10 merged commit 0d27643 into main Dec 30, 2025
16 of 17 checks passed
@kyay10 kyay10 deleted the kyay10/optics-filter-index-nel branch December 30, 2025 02:34
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