def utf.step

bend-kit-router@0.2.0.0 · target.bend:35

import bend-kit-router@0.2.0.0/target.bend as Target

import Base

35def utf.step(idle: Bool, +c: U32, need: U32, lo: U32, hi: U32, cp: U32, out: String) -> Maybe<&2, Utf>:
36  match idle:
37    case True{}:
38      utf.lead(c, out, U32.is_lt(c, 128))
39    case False{}:
40      utf.more(between(c, lo, hi), need, (cp * 64 + (c .&. 63 : U32) : U32), out)

Uses (12)

Used by (2)