def utf.dec

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

import Base

280# pieces as text, piece by piece
281def utf.dec(ts: List<&2, Tok>, st: Utf) -> String:
282  match ts:
283    case []:
284      utf.end(st)
285    case t <> rest:
286      utf.step(st, t, st2 => utf.dec(rest, st2))