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

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

# The text of a primitive, quoted as `d` (a code point) requires.
def prim.text(+j: J.Json, +d: U32) -> String:
  match j:
    case J.JNull{}:
      "null"
    case J.JBool{b}:
      bool.text(b)
    case J.JNum{t}:
      num.text(N.canon(t))
    case J.JStr{s}:
      T.enc.str(s, d)
    case _:
      ""

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&name=bool.text
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/encode.bend&name=num.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/num.bend&name=canon
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/text.bend&name=enc.str