1
94%
main: 94%

Ran 18 May 2026 04:13AM UTC

Files 370

Run time 7s

Badge

Embed ▾

Committed 18 May 2026 04:12AM UTC coverage: 94.204% (+0.001%) from 94.203%

Job # 4424.1

Build Type

push

github

Committed by

bobzhang

Commit Message

feat(builtin): add ReadOnlyArray::filter and filter_map

Array and ArrayView both provide `filter` and `filter_map`.
ReadOnlyArray didn't. Add them, returning ReadOnlyArray to match the
existing convention (ReadOnlyArray::map returns ReadOnlyArray, not
Array). Implementations route through ArrayView::filter / filter_map
and reinterpret the result.

Tests cover the success path (some elements pass), empty input,
none-passes, and all-dropped (filter_map returning None).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Coverage Stats

14986 of 15908 relevant lines covered (94.2%)

215885.45 hits per line

moonbitlang / core / 4424 / 1
94%
main: 94%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 4424.1

moonbitlang / core / 4424 / 1 94% main: 94%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 4424.1

moonbitlang / core / 4424 / 1
94%
main: 94%

README BADGES
x