def prim.text

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

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

72# The text of a primitive, quoted as `d` (a code point) requires.
73def prim.text(+j: J.Json, +d: U32) -> String:
74  match j:
75    case J.JNull{}:
76      "null"
77    case J.JBool{b}:
78      bool.text(b)
79    case J.JNum{t}:
80      num.text(N.canon(t))
81    case J.JStr{s}:
82      T.enc.str(s, d)
83    case _:
84      ""