def utf8.size
import bend-kit-encoding@0.5.0.0/encoding.bend as Encodingimport Base
27def utf8.size(s: String, +n: U32) -> U32:
28 match s:
29 case SNil{}:
30 n
31 case SCon{Chr{+c}, t}:
32 utf8.size(t, (n + utf8.width(c) : U32))
import bend-kit-encoding@0.5.0.0/encoding.bend as Encodingimport Base
27def utf8.size(s: String, +n: U32) -> U32:
28 match s:
29 case SNil{}:
30 n
31 case SCon{Chr{+c}, t}:
32 utf8.size(t, (n + utf8.width(c) : U32))