def an.write

emerging-ezaudio@0.4.0.0 · src/mp3_enc.bend:180

import Base

180# overwrite the oldest 32 ring slots, then advance head
181def an.write(hop: Nat, x: Array<F32>, +at: U32, blk: List<&2, F32>) -> Array<F32>:
182  match hop blk:
183    case 0n _:
184      x
185    case _ Nil{}:
186      x
187    case 1n+p +hd <> tl:
188      an.write(p, Array.set(F32, x, at, hd), ((at + 1 : U32) .&. 511 : U32), tl)