def utf8.len

emerging-ezhttp@0.21.0.0 · src/http.bend:134

import emerging-ezhttp@0.21.0.0/src/http.bend as Http

import Base

134# how many octets of UTF-8 a text is
135def utf8.len(s: String) -> Nat:
136  match s:
137    case SNil{}:
138      0n
139    case SCon{h, t}:
140      Nat.add(utf8.width(Char.to_u32(h)), utf8.len(t))

Uses (5)

Used by (2)