def row.add

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

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

193def row.add(+r: Result<&2, &2, String, J.Json>, +strict: Bool, +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>:
194  match r:
195    case Fail{e}:
196      Fail{e}
197    case Done{vs}:
198      row.push(Bool.not(strict) || U32.is_eq(count(vs), list.len(ks)), vs, dp, a, n, c, d, ks, xs, rest, root, bmin)