def Utf8.decode_all.fin

bend-kube-runtime@0.2.0.0 · src/utf8.bend:132

import bend-kube-runtime@0.2.0.0/src/utf8.bend as Utf8

import Base

132def Utf8.decode_all.fin(r: Utf8 & String) -> String:
133  match r:
134    case (Utf8{code, need}, s):
135      Utf8.decode_all.tail(s, U32.is_eq(need, 0))

Uses (6)

Used by (1)

bend-kube-runtime@0.2.0.0/src/utf8:Utf8.decode_all