json/print.bend source

json/print.bend on the hub · documented module

# json/print: a value to compact text.import Baseimport ./value.bend as Vdef escape.char(+c: Char) -> String:  +x = Char.to_u32(c)  Bool.pick(String, U32.is_eq(x, 34), "\\\"",  # '"'  Bool.pick(String, U32.is_eq(x, 92), "\\\\",  # '\\'  Bool.pick(String, U32.is_eq(x, 10), "\\n",  # '\n'  Bool.pick(String, U32.is_eq(x, 13), "\\r",  # '\r'  Bool.pick(String, U32.is_eq(x, 9), "\\t",  # '\t'    String.from_list([c]))))))# the chars of a string with `"`, `\\` and control chars escapeddef escape(cs: List<&2, Char>) -> String:  match cs:    case Nil{}:      ""    case Con{c, t}:      escape.char(c) ++ escape(t)# a string in quotes, escapeddef quote(s: String) -> String:  "\"" ++ escape(String.to_list(s)) ++ "\""# a value as compact JSONdef print(j: V.Json) -> String:  match j:    case V.JNull{}:      "null"    case V.JBool{True{}}:      "true"    case V.JBool{False{}}:      "false"    case V.JNum{raw}:      raw    case V.JStr{s}:      quote(s)    case V.JArr{items}:      "[" ++ print(items) ++ "]"    case V.JObj{pairs}:      "{" ++ print(pairs) ++ "}"    case V.JNil{}:      ""    case V.JCons{h, V.JNil{}}:      print(h)    case V.JCons{h, t}:      print(h) ++ "," ++ print(t)    case V.JPair{k, v, V.JNil{}}:      quote(k) ++ ":" ++ print(v)    case V.JPair{k, v, r}:      quote(k) ++ ":" ++ print(v) ++ "," ++ print(r)# a parse result: the value, or "<bad>"def maybe(m: Maybe<&2, V.Json>) -> String:  match m:    case None{}:      "<bad>"    case Some{j}:      print(j)