def utf.finish

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

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

import Base

42def utf.finish(st: Maybe<&2, Utf>) -> Maybe<&2, String>:
43  match st:
44    case None{}:
45      None{}
46    case Some{Utf{need, lo, hi, cp, out}}:
47      Bool.pick(Maybe<&2, String>, U32.is_eq(need, 0), Some{String.reverse(out)}, None{})

Uses (6)

Used by (2)