Packed.packed.chunk.at: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/packed.bend as Packed
Lines 96-106 of emerging-ezhttp@0.21.0.0/src/packed.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/packed.bend&start_line=96&end_line=106

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

# a chunk-size line that ends at i, or none ends: the body ends there
def packed.chunk.at(r: Bytes.Bytes & Maybe<&2, U32>, +p: U32,
  +len: U32, acc: List<&1, Bytes.Bytes>,
  go: Bytes.Bytes -> U32 -> List<&1, Bytes.Bytes> -> Parts) -> Parts:
  (b, at) = r
  match at:
    case None{}:
      Parts{acc}
    case Some{+i}:
      packed.chunk.line(packed.text(b, p, (i - p : U32)), (i + 2 : U32),
        len, acc, go)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/packed.bend&name=Parts
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/packed.bend&name=packed.chunk.line
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/packed.bend&name=packed.text