moonbitlang / core / 4943

92%

Build Type

push

github

Committed by bobzhang

Commit Message

perf(immut/priority_queue): heapify in place via MutArrayView, document build

- add non-pub from_array_in_place(MutArrayView) that permutes the buffer in
  place; route from_iter through it so the collected array is heapified in
  place instead of copied again through the public ArrayView constructor
- document why the Floyd build-heap plus node transcription yields a valid
  queue: the array's implicit complete-tree layout matches the shape push/pop
  maintain, and bottom-up sift_down establishes the max-heap invariant in O(n)
- inline new_priority_queue

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

Coverage Stats

4 of 4 new or added lines in 1 file covered. (100.0%)

6 existing lines in 1 file now uncovered.

15374 of 16823 relevant lines covered (91.39%)

195419.03 hits per line