type Rep

bend-toon-codec@0.1.0.0 · src/rep.bend:12

import Base

12type Rep is Data:
13  # A primitive: its text.
14  RPrim{t: String}
15  # An object (field lines) or a chain of list items: lines at relative depth 0.
16  RLines{ls: List<&2, Ln>}
17  # A non-empty array: the text after the key (`[2]: a,b`, `[2]{a,b}:`,
18  # `[2]:`) and the lines beneath the header, already at depth 1 and deeper.
19  RArr{h: String, ks: List<&2, Ln>}
20  # An empty array.
21  REmpty{}