Qs.utf.need: def of emerging-ezhttp@0.22.0.0
Import: import emerging-ezhttp@0.22.0.0/src/qs.bend as Qs
Lines 255-262 of emerging-ezhttp@0.22.0.0/src/qs.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.22.0.0/src/qs.bend&start_line=255&end_line=262

import Base

# a piece inside a sequence: a wide character ends it unfinished
def utf.need(+cp: U32, left: Nat, +lo: U32, +hi: U32, t: Tok,
  k: Utf -> String) -> String:
  match t:
    case W{c}:
      SCon{fffd(), SCon{c, k(Idle{})}}
    case B{+b}:
      utf.byte(cp, left, b, k, Bool.and(U32.is_le(lo, b), U32.is_le(b, hi)))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/qs.bend&name=Tok
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/qs.bend&name=Utf
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/qs.bend&name=fffd
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/qs.bend&name=utf.byte