def inline.done

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

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

46def inline.done(+r: Result<&2, &2, String, J.Json>, +n: U32, +strict: Bool) -> Result<&2, &2, String, Start>:
47  match r:
48    case Fail{e}:
49      Fail{e}
50    case Done{vs}:
51      inline.ok(Bool.not(strict) || U32.is_eq(count(vs), n), vs)