def utf.lead

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

import Base

219# a byte between characters, as its lead says
220def utf.lead(+b: U32, k: Utf -> String, l: Lead) -> String:
221  match l:
222    case Ascii{}:
223      SCon{Chr{b}, k(Idle{})}
224    case Bad{}:
225      SCon{fffd(), k(Idle{})}
226    case Opens{cp, left, lo, hi}:
227      k(Need{cp, left, lo, hi})