def run.array

bend-toon-codec@0.1.0.0 · src/decode.bend:87

import bend-toon-codec@0.1.0.0/src/decode.bend as Decode
import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J
import bend-toon-codec@0.1.0.0/src/dline.bend as D
import bend-toon-codec@0.1.0.0/src/step.bend as T

87def run.array(+ls: List<&2, D.DL>, +r: Result<&2, &2, String, T.Start>, +strict: Bool) -> Result<&2, &2, String, J.Json>:
88  finish(fold(ls, array.root(r), strict), strict)

Uses (10)

Used by (1)