def escape_char_special

qasim-bend-kit@0.1.0.2 · libs/JSON.bend:103

import Base

103def escape_char_special(c: Char) -> String:
104    match c:
105        case '\u{0}': "\\u0000"
106        case '\u{1}': "\\u0001"
107        case '\u{2}': "\\u0002"
108        case '\u{3}': "\\u0003"
109        case '\u{4}': "\\u0004"
110        case '\u{5}': "\\u0005"
111        case '\u{6}': "\\u0006"
112        case '\u{7}': "\\u0007"
113        case '\u{8}': "\\b"
114        case '\u{9}': "\\t"
115        case '\u{a}': "\\n"
116        case '\u{b}': "\\u000b"
117        case '\u{c}': "\\f"
118        case '\u{d}': "\\r"
119        case '\u{e}': "\\u000e"
120        case '\u{f}': "\\u000f"
121        case '\u{10}': "\\u0010"
122        case '\u{11}': "\\u0011"
123        case '\u{12}': "\\u0012"
124        case '\u{13}': "\\u0013"
125        case '\u{14}': "\\u0014"
126        case '\u{15}': "\\u0015"
127        case '\u{16}': "\\u0016"
128        case '\u{17}': "\\u0017"
129        case '\u{18}': "\\u0018"
130        case '\u{19}': "\\u0019"
131        case '\u{1a}': "\\u001a"
132        case '\u{1b}': "\\u001b"
133        case '\u{1c}': "\\u001c"
134        case '\u{1d}': "\\u001d"
135        case '\u{1e}': "\\u001e"
136        case '\u{1f}': "\\u001f"
137        case '\u{22}': "\\\""
138        case '\u{5c}': "\\\\"
139        case _: SCon{c, SNil{}}