def rebuild

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

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

170# An object value with its folded fields, other values unchanged.
171def rebuild(+v: J.Json, +inner: J.Json) -> J.Json:
172  match v:
173    case J.JObj{fs}:
174      J.JObj{inner}
175    case _:
176      v