Encode.encode: def of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/src/encode.bend as Encode
Lines 277-281 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=277&end_line=281

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

# Encode a value as TOON text.
def encode(j: J.Json, o: EOpts) -> String:
  match o:
    case EOpts{indent, d, fold}:
      R.render(indent, R.root(enc(F.fold(j, fold), False{}, d)))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&name=EOpts
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&name=enc
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/fold.bend&name=fold
  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=render
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/rep.bend&name=root