def plan.go

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

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

178def plan.go(+c: Ci, +f: Bool, +k: String, +v: J.Json, +budget: U32, +prefix: String) -> Plan:
179  +nk : String = pick.s(f, ci.key(c), k)
180  +vt : J.Json = pick.j(f, ci.tail(c), v)
181  Plan{nk, vt, fields.of(vt), keys(fields.of(vt)), pick.u(f, (budget - ci.n(c) : U32), budget), path(prefix, nk)}