def y.pull

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

import Base

71def y.pull(hop: Nat, got: Ya, +ii: U32, acc: List<&2, F32>) -> List<&2, F32>:
72  match hop got:
73    case 0n Ya{_acc, +cur}:
74      f.rev(cur <> acc)
75    case 1n+p Ya{tab, +cur}:
76      y.pull(p, ya.of(Array.get(F32, tab, (ii + 1 : U32))), (ii + 1 : U32), (cur <> acc))