def row.push

bend-toon-codec@0.1.0.0 · src/step.bend:186

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

186def row.push(+ok: Bool, +vs: J.Json, +dp: U32, +a: F.Att, +n: U32, +c: U32, +d: U32, +ks: List<&2, String>, +xs: J.Json, +rest: List<&2, F.Fr>, +root: Maybe<&2, J.Json>, +bmin: U32) -> Result<&2, &2, String, F.St>:
187  match ok:
188    case False{}:
189      Fail{"row width does not match the field count"}
190    case True{}:
191      Done{F.St{Con{F.FTab{dp, a, n, (c + 1 : U32), d, ks, J.JCons{J.JObj{zip(ks, vs)}, xs}}, rest}, root, bmin}}