def inline.ok

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

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

39def inline.ok(+ok: Bool, +vs: J.Json) -> Result<&2, &2, String, Start>:
40  match ok:
41    case True{}:
42      Done{SVal{J.JArr{vs}}}
43    case False{}:
44      Fail{"array length does not match its header"}