def ls.poke

emerging-ezaudio@0.4.0.0 · src/mp3_syn.bend:138

import Base

138# write a short list over a destination starting at an index
139def ls.poke(hop: Nat, dst: List<&2, F32>, src: List<&2, F32>, +at: U32) -> List<&2, F32>:
140  match hop src:
141    case 0n _:
142      dst
143    case _ Nil{}:
144      dst
145    case 1n+p +hd <> tl:
146      ls.poke(p, f.set(dst, at, hd), tl, u.add(at, 1))