def walk.ph

emerging-ezaudio@0.4.0.0 · src/mp3.bend:595

import Base
import emerging-ezaudio@0.4.0.0/src/mp3_dec.bend as Dec

595def walk.ph(
596  +phase: U32, +hz: U32, +ch: U32, pcm: List<&2, U32>, ov: List<&2, F32>, qmf: List<&2, F32>,
597  +fresh: U32, lib: Dec.Lib, +on: U32, +left: U32, +buf: List<&2, U32>, +hd: U32
598) -> Wk:
599  match phase:
600    case 2:
601      Wk{hz, ch, pcm, ov, qmf, fresh, lib, on, 2, 0, []}
602    case 1:
603      walk.rd2(U32.is_eq(left, 1), hz, ch, pcm, ov, qmf, fresh, lib, on, left, buf.add(buf, hd))
604    case _:
605      walk.seen(U32.is_eq(U32.from_nat(List.length(&2, U32, buf.add(buf, hd))), 4),
606        Wk{hz, ch, pcm, ov, qmf, fresh, lib, on, 0, 0, buf.add(buf, hd)})