~/jendhub

def esc.char

bend-toon-codec@0.1.0.0 · src/text.bend:71

import bend-toon-codec@0.1.0.0/src/text.bend as Text
import Base

71# One character inside quotes (section 7.1 encoder column).
72def esc.char(+c: U32) -> String:
73  sel.s(U32.is_eq(c, 34), "\\\"",
74  sel.s(U32.is_eq(c, 92), "\\\\",
75  sel.s(U32.is_eq(c, 10), "\\n",
76  sel.s(U32.is_eq(c, 13), "\\r",
77  sel.s(U32.is_eq(c, 9), "\\t", esc.other(c))))))

Uses (5)

Used by (1)