Json.encb.go: def of bend-kit-json@0.7.0.0
Import: import bend-kit-json@0.7.0.0/json.bend as Json
Lines 1055-1080 of bend-kit-json@0.7.0.0/json.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-json@0.7.0.0/json.bend&start_line=1055&end_line=1080

import Base

def encb.go(v: Val, open: Bool, o: W) -> W:
  match v:
    case Null{}:
      w.text("null", o)
    case Flag{on}:
      match on:
        case True{}:
          w.text("true", o)
        case False{}:
          w.text("false", o)
    case Num{n}:
      w.bytes(n, o)
    case Str{s}:
      w.str(s, o)
    case Arr{xs}:
      match xs:
        case Nil{}:
          w.close(open, 91, 93, o)
        case Con{x, t}:
          encb.go(Arr{t}, False{}, encb.go(x, True{}, w.lead(open, 91, o)))
    case Obj{kvs}:
      match kvs:
        case Nil{}:
          w.close(open, 123, 125, o)
        case (k, x) <> t:
          encb.go(Obj{t}, False{}, encb.go(x, True{}, w.put(w.str(k, w.lead(open, 123, o)), 58)))

Uses (11):
  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=Sigma
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=W
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=w.bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=w.close
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=w.lead
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=w.put
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=w.str
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=w.text