~/jendhub

def utf.need

emerging-ezhttp@0.21.0.0 · src/qs.bend:255

import emerging-ezhttp@0.21.0.0/src/qs.bend as Qs
import Base

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

Uses (9)

Used by (1)