Json.enc.go: def of bend-net-json@0.3.0.0
Import: import bend-net-json@0.3.0.0/json.bend as Json
Lines 484-503 of bend-net-json@0.3.0.0/json.bend: https://jend.leeeet.dev/read.txt?path=bend-net-json@0.3.0.0/json.bend&start_line=484&end_line=503

import Base

def enc.go(items: List<&2, Item>, racc: String) -> String:
  match items:
    case Nil{}:
      String.reverse(racc)
    case Con{ILit{s}, t}:
      enc.go(t, put(s, racc))
    case Con{IVal{Null{}}, t}:
      enc.go(t, put("null", racc))
    case Con{IVal{Flag{True{}}}, t}:
      enc.go(t, put("true", racc))
    case Con{IVal{Flag{False{}}}, t}:
      enc.go(t, put("false", racc))
    case Con{IVal{Num{n}}, t}:
      enc.go(t, put(n, racc))
    case Con{IVal{Str{s}}, t}:
      enc.go(t, put("\"" ++ esc(s) ++ "\"", racc))
    case Con{IVal{Arr{xs}}, t}:
      enc.go(Con{ILit{"["}, items.arr(xs, True{}, t)}, racc)
    case Con{IVal{Obj{m}}, t}:
      enc.go(Con{ILit{"{"}, items.obj(Map.to_list(&2, Val, m), True{}, t)}, racc)

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map.to_list
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.reverse
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=Item
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=esc
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=items.arr
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=items.obj
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=put