def chs.go

emerging-ezaudio@0.4.0.0 · src/mp3_dec.bend:690

import Base

690def chs.go(
691  hop: Nat, gs: List<&2, Gd>, +bits: List<&2, U32>, +lib: Lib, spec: List<&2, F32>
692) -> Chs:
693  match hop gs:
694    case 0n ys:
695      Chs{List.reverse(&2, F32, spec), bits, ys}
696    case _ Nil{}:
697      Chs{List.reverse(&2, F32, spec), bits, []}
698    case 1n+p +hd <> tl:
699      chs.go(p, tl, side.skip(bits, g.part(hd)), lib, chs.push(dec.spec(hd, bits, lib), spec))