def ln.pull

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

import Base

828# pull one sample into an accumulator; hop is remaining after this read
829def ln.pull(hop: Nat, got: La, +ii: U32, acc: List<&2, F32>) -> List<&2, F32>:
830  match hop got:
831    case 0n La{lin, +cur}:
832      match lin:
833        case _l:
834          List.reverse(&2, F32, cur <> acc)
835    case 1n+p La{lin, +cur}:
836      ln.pull(p, ln.at(lin, u.add(ii, 1)), u.add(ii, 1), cur <> acc)