def utf8.finish

bend-kit-encoding@0.5.0.0 · encoding.bend:127

import bend-kit-encoding@0.5.0.0/encoding.bend as Encoding

import Base

127def utf8.finish(st: Utf8) -> String:
128  Utf8{+need, lo, hi, cp, +out} = st
129  String.reverse(Bool.pick(String, U32.is_eq(need, 0), out, utf8.bad(out)))

Uses (6)

Used by (1)

bend-kit-encoding@0.5.0.0/encoding:utf8.decode.go