Encode.enc: def of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/src/encode.bend as Encode
Lines 260-275 of bend-toon-codec@0.1.0.0/src/encode.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&start_line=260&end_line=275

import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J
import bend-toon-codec@0.1.0.0/src/text.bend as T
import bend-toon-codec@0.1.0.0/src/rep.bend as R

# One def for values, object fields and list items. `elem` says the value is an
# array element (no tabular form). `j` shrinks on every call.
def enc(j: J.Json, +elem: Bool, +d: Delim) -> R.Rep:
  match j:
    case J.JArr{+items}:
      arr.rep(elem, items, d, enc(items, True{}, d))
    case J.JObj{fields}:
      enc(fields, False{}, d)
    case J.JNil{}:
      R.RLines{Nil{}}
    case J.JCons{h, t}:
      R.RLines{R.cat(R.item(enc(h, True{}, d)), R.lines.of(enc(t, True{}, d)))}
    case J.JField{k, v, t}:
      R.RLines{R.cat(R.field(T.enc.key(k), enc(v, False{}, d)), R.lines.of(enc(t, False{}, d)))}
    case _:
      R.RPrim{prim.text(j, code(d))}

Uses (13):
  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=bend-toon-codec@0.1.0.0/src/encode.bend&name=Delim
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&name=arr.rep
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&name=code
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&name=prim.text
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&name=Rep
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&name=cat
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&name=field
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&name=item
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&name=lines.of
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/text.bend&name=enc.key