Http.utf8.count: def of gralha-http-core@0.1.0.0
Import: import gralha-http-core@0.1.0.0/http.bend as Http
Lines 59-64 of gralha-http-core@0.1.0.0/http.bend: https://jend.leeeet.dev/read.txt?path=gralha-http-core@0.1.0.0/http.bend&start_line=59&end_line=64

import Base

def utf8.count(s: String, acc: U32) -> U32:
  match s:
    case SNil{}:
      acc
    case SCon{Chr{c}, t}:
      utf8.count(t, (acc + utf8.width(c) : U32))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=utf8.width