def Json.esc_chr

bend-kube-runtime@0.2.0.0 · src/json.bend:240

import Base

240# Escapes one char onto the front of the already-escaped rest.
241def Json.esc_chr(c: Char, rest: String) -> String:
242  match c:
243    case '"':
244      SCon{'\\', SCon{'"', rest}}
245    case '\\':
246      SCon{'\\', SCon{'\\', rest}}
247    case '\n':
248      SCon{'\\', SCon{'n', rest}}
249    case '\r':
250      SCon{'\\', SCon{'r', rest}}
251    case '\t':
252      SCon{'\\', SCon{'t', rest}}
253    case Chr{+x}:
254      Json.esc_ctl(x, rest, U32.is_lt(x, 32))