def buf.put

gralha-coverage@0.1.0.1 · cover.bend:641

import Base
import gralha-text-scan@0.1.0.1/scan.bend as U

641# A cut's direct area goes to its cell (dropped at or past the width, which
642# lies outside the row) and its delta to the next cell, capped at the width
643# so every delta still counts in the sum.
644def buf.put(b: (Array<F32> & Array<U32>) & (U32 & U32), +cell: U32, +direct: F32, +delta: F32, +w: U32) -> (Array<F32> & Array<U32>) & (U32 & U32):
645  ((a, bm), (lo, hi)) = b
646  +c = U.min.u32(cell, w)
647  +next = U.min.u32((cell + 1 : U32), w)
648  ((buf.add(buf.add(a, (c * 2 : U32), U.choose(F32, U32.is_lt(cell, w), direct, 0.0)), (next * 2 + 1 : U32), delta), bits.set(bits.set(bm, c), next)), (U.min.u32(lo, c), U.max.u32(hi, next)))