Packed.packed.head: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/packed.bend as Packed
Lines 182-191 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=182&end_line=191

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

# a head that ends at i, or none ends
def packed.head(+asked: Bool, r: Bytes.Bytes & Maybe<&2, U32>, +p: U32,
  +len: U32, rest: Bytes.Bytes -> U32 -> Got) -> Got:
  (b, at) = r
  match at:
    case None{}:
      Torn{"the response head has no blank line after it"}
    case Some{+i}:
      packed.head.text(asked, packed.text(b, p, (i - p : U32)), (i + 4 : U32),
        len, rest)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Got
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/packed.bend&name=packed.head.text
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/packed.bend&name=packed.text