Qs.utf.byte: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/qs.bend as Qs
Lines 245-253 of emerging-ezhttp@0.21.0.0/src/qs.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&start_line=245&end_line=253

import Base

# a byte inside a sequence: it continues it when it fits, else the sequence
# so far is one U+FFFD and the byte is read again between characters
def utf.byte(+cp: U32, left: Nat, +b: U32, k: Utf -> String, fits: Bool)
  -> String:
  match fits:
    case True{}:
      utf.more(cp, left, b, k)
    case False{}:
      SCon{fffd(), utf.lead(b, k, lead(b))}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=emerging-ezhttp@0.21.0.0/src/qs.bend&name=Utf
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&name=fffd
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&name=lead
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&name=utf.lead
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&name=utf.more