~/jendhub

def escape.plain

emerging-ezjson@1.3.0.0 · src/print.bend:33

import emerging-ezjson@1.3.0.0/src/print.bend as Print
import Base

33# one scalar value, escaped when JSON requires it
34def escape.plain(+cp: U32, ch: Char) -> String:
35  Bool.pick(String, U32.is_eq(cp, 34), "\\\"",
36  Bool.pick(String, U32.is_eq(cp, 92), "\\\\",
37  Bool.pick(String, U32.is_eq(cp, 8), "\\b",
38  Bool.pick(String, U32.is_eq(cp, 12), "\\f",
39  Bool.pick(String, U32.is_eq(cp, 10), "\\n",
40  Bool.pick(String, U32.is_eq(cp, 13), "\\r",
41  Bool.pick(String, U32.is_eq(cp, 9), "\\t",
42    escape.rest(cp, ch))))))))

Uses (6)

Used by (1)