Http.utf8.emit: def of gralha-http-core@0.1.0.0 Import: import gralha-http-core@0.1.0.0/http.bend as Http Lines 95-101 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=95&end_line=101 import Base def utf8.emit(+b: U32, +need: U32, +code: U32, +acc: String) -> String: when(String, U32.is_eq(need, 0), _ => when(String, U32.is_lt(b, 128), _ => SCon{Chr{b}, acc}, _ => when(String, U32.is_ge(b, 192), _ => acc, _ => SCon{Chr{65533}, acc})), _ => when(String, U32.is_eq((b .&. 192 : U32), 128), _ => when(String, U32.is_eq(need, 1), _ => SCon{Chr{utf8.code(b, need, code)}, acc}, _ => acc), _ => SCon{Chr{65533}, acc})) Uses (9): 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.and https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_ge https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=utf8.code https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=when