def pk.step

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

import Base

1374def pk.step(
1375  gs: List<&2, Gr>, +buf: List<&2, Gr>, +have: U32, +per: U32, +hz: U32, +ch: U32,
1376  acc: List<&2, List<&2, U32>>
1377) -> List<&2, List<&2, U32>>:
1378  match gs:
1379    case Nil{}:
1380      List.reverse(&2, List<&2, U32>, acc)
1381    case +hd <> tl:
1382      pk.step(tl, pk.buf(U32.is_eq((have + 1 : U32), per), buf, hd),
1383        pk.have(U32.is_eq((have + 1 : U32), per), have), per, hz, ch,
1384        pk.acc(U32.is_eq((have + 1 : U32), per), buf, hd, hz, ch, acc))