def parse.lines

cswap-bend-cli@0.1.0.0 · fmt/yamlr.bend:317

import cswap-bend-cli@0.1.0.0/fmt/yamlr.bend as Yamlr
import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json

317def parse.lines(r: Result<&2, &2, String, List<&2, Ln>>) -> Result<&2, &2, String, Json.Json>:
318  match r:
319    case Fail{e}:
320      Fail{e}
321    case Done{+ls}:
322      parse.run(ls, Nat.add(Nat.mul(4n, List.length(&2, Ln, ls)), 8n))

Uses (9)

Used by (1)