def root.hdr

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

import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J
import bend-toon-codec@0.1.0.0/src/hdr.bend as H
import bend-toon-codec@0.1.0.0/src/dline.bend as D
import bend-toon-codec@0.1.0.0/src/frame.bend as F
import bend-toon-codec@0.1.0.0/src/step.bend as T

116def root.hdr(+r: Result<&2, &2, String, H.Hdr>, +one: Bool, +text: String, +all: List<&2, D.DL>, +rest: List<&2, D.DL>, +strict: Bool) -> Result<&2, &2, String, J.Json>:
117  match r:
118    case Done{h}:
119      run.array(rest, T.arr_start(F.ARoot{}, 1, h, strict), strict)
120    case Fail{e}:
121      root.other(one, text, all, strict)