def field.mk

bend-toon-codec@0.1.0.0 · src/fold.bend:207

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

207# The field with its folded inside, followed by the folded rest.
208def field.mk(+pl: Plan, +inner: J.Json, +rest: J.Json) -> J.Json:
209  match pl:
210    case Plan{key, vt, fs2, sibs2, nb, np}:
211      J.JField{key, rebuild(vt, inner), rest}