Json.Json.esc_chr: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/json.bend as Json
Lines 240-254 of bend-kube-runtime@0.2.0.0/src/json.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&start_line=240&end_line=254

import Base

# Escapes one char onto the front of the already-escaped rest.
def Json.esc_chr(c: Char, rest: String) -> String:
  match c:
    case '"':
      SCon{'\\', SCon{'"', rest}}
    case '\\':
      SCon{'\\', SCon{'\\', rest}}
    case '\n':
      SCon{'\\', SCon{'n', rest}}
    case '\r':
      SCon{'\\', SCon{'r', rest}}
    case '\t':
      SCon{'\\', SCon{'t', rest}}
    case Chr{+x}:
      Json.esc_ctl(x, rest, U32.is_lt(x, 32))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.esc_ctl