type Utf

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

import Base

113# where the UTF-8 decoding stands: between characters, or inside a sequence
114# with code point bits `cp` so far, needing a byte in lo..hi and `left` more
115# continuation bytes after it
116type Utf is Data:
117  Idle{}
118  Need{cp: U32, left: Nat, lo: U32, hi: U32}