Http.chunks.next.hex: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/http.bend as Http
Lines 268-275 of emerging-ezhttp@0.21.0.0/src/http.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&start_line=268&end_line=275

import Base

# hex check, then the length
def chunks.next.hex(+before: String, +after: String, ok: Bool) -> Next:
  match ok:
    case False{}:
      Reject{"chunk size is not hexadecimal"}
    case True{}:
      +n = hexlen(before)
      chunks.next.of(Nat.is_eq(n, 0n), chunks.ready(after, n), after, n)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=Next
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=chunks.next.of
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=chunks.ready
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=hexlen