def arr.pick

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

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

241def arr.pick(+empty: Bool, +prims: Bool, +tab: Bool, +items: J.Json, +d: Delim, +ls: R.Rep) -> R.Rep:
242  match empty prims tab:
243    case True{} _ _:
244      R.REmpty{}
245    case False{} True{} _:
246      R.RArr{head(items, d) ++ ": " ++ join.prims(items, d), Nil{}}
247    case False{} False{} True{}:
248      tab.rep(items, d)
249    case False{} False{} False{}:
250      R.RArr{head(items, d) ++ ":", R.shift(R.lines.of(ls))}