~/jendhub

def esc.put

bend-net-json@0.3.0.0 · json.bend:433

import bend-net-json@0.3.0.0/json.bend as Json
import Base

433# The escaped form of one char, reversed (it is pushed onto a reversed acc).
434def esc.put(+c: U32, +acc: String) -> String:
435  Bool.pick(String, U32.is_eq(c, 34), SCon{Chr{34}, SCon{Chr{92}, acc}},
436  Bool.pick(String, U32.is_eq(c, 92), SCon{Chr{92}, SCon{Chr{92}, acc}},
437  Bool.pick(String, U32.is_eq(c, 10), SCon{Chr{110}, SCon{Chr{92}, acc}},
438  Bool.pick(String, U32.is_eq(c, 13), SCon{Chr{114}, SCon{Chr{92}, acc}},
439  Bool.pick(String, U32.is_eq(c, 9), SCon{Chr{116}, SCon{Chr{92}, acc}},
440  Bool.pick(String, U32.is_lt(c, 32), SCon{hexc(U32.and(c, 15)), SCon{hexc(U32.shrn(c, 4n)), SCon{Chr{48}, SCon{Chr{48}, SCon{Chr{117}, SCon{Chr{92}, acc}}}}}},
441  SCon{Chr{c}, acc}))))))

Uses (9)

Used by (1)