def item

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

import Base

68# Lines of `- value` for any value rep.
69def item(+r: Rep) -> List<&2, Ln>:
70  match r:
71    case RPrim{t}:
72      one(0, "- " ++ t)
73    case RLines{ls}:
74      item.obj(ls)
75    case RArr{h, ks}:
76      Con{Ln{0, "- " ++ h}, ks}
77    case REmpty{}:
78      one(0, "- [0]:")