~/jendhub

def encode

bend-toon-codec@0.1.0.0 · src/encode.bend:277

import bend-toon-codec@0.1.0.0/src/encode.bend as Encode
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

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

Uses (8)

Used by (1)