Mp3Syn.ix.poke: def of emerging-ezaudio@0.4.0.0 Import: import emerging-ezaudio@0.4.0.0/src/mp3_syn.bend as Mp3Syn Lines 354-362 of emerging-ezaudio@0.4.0.0/src/mp3_syn.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_syn.bend&start_line=354&end_line=362 import Base # write a short list into the spectrum Array def ix.poke(hop: Nat, acc: Array, src: List<&2, F32>, +at: U32) -> Array: match hop src: case 0n _: acc case _ Nil{}: acc case 1n+p +hd <> tl: ix.poke(p, Array.set(F32, acc, at, hd), tl, u.add(at, 1)) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.set https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=emerging-ezaudio@0.4.0.0/src/mp3_syn.bend&name=u.add