def top.line

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

import bend-toon-codec@0.1.0.0/src/step.bend as Step
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

218def top.line(+deep: Bool, +text: String, +top: F.Fr, +rest: List<&2, F.Fr>, +root: Maybe<&2, J.Json>, +bmin: U32, +strict: Bool) -> Result<&2, &2, String, F.St>:
219  match deep:
220    case True{}:
221      Fail{"unexpected indentation"}
222    case False{}:
223      top.go(text, top, rest, root, bmin, strict)

Uses (10)

Used by (1)