def join.prims

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

import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J

102# Primitives joined by the delimiter.
103def join.prims(+items: J.Json, +d: Delim) -> String:
104  match items:
105    case J.JCons{h, J.JNil{}}:
106      prim.text(h, code(d))
107    case J.JCons{h, t}:
108      prim.text(h, code(d)) ++ delim.text(d) ++ join.prims(t, d)
109    case _:
110      ""