def dispatch.stk

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

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

225def dispatch.stk(+depth: U32, +text: String, +stk: List<&2, F.Fr>, +root: Maybe<&2, J.Json>, +bmin: U32, +strict: Bool) -> Result<&2, &2, String, F.St>:
226  match stk:
227    case Nil{}:
228      Fail{"unexpected content after the end of the document"}
229    case Con{top, rest}:
230      top.line(strict && U32.is_gt(depth, F.fr.depth(top)), text, top, rest, root, bmin, strict)