def bd.take

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

import Base

586# take a prefix of a byte list
587def bd.take(hop: Nat, xs: List<&2, U32>, acc: List<&2, U32>) -> List<&2, U32>:
588  match hop xs:
589    case 0n _:
590      List.reverse(&2, U32, acc)
591    case _ Nil{}:
592      List.reverse(&2, U32, acc)
593    case 1n+p +hd <> tl:
594      bd.take(p, tl, hd <> acc)