def ls.take

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

import Base

124# take a prefix, reversed into acc
125def ls.take(hop: Nat, xs: List<&2, F32>, acc: List<&2, F32>) -> List<&2, F32>:
126  match hop xs:
127    case 0n _:
128      List.reverse(&2, F32, acc)
129    case _ Nil{}:
130      List.reverse(&2, F32, acc)
131    case 1n+p +hd <> tl:
132      ls.take(p, tl, hd <> acc)