def field

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

import Base

47# Lines of `key: value` for any value rep.
48def field(+k: String, +r: Rep) -> List<&2, Ln>:
49  match r:
50    case RPrim{t}:
51      one(0, k ++ ": " ++ t)
52    case RLines{ls}:
53      Con{Ln{0, k ++ ":"}, shift(ls)}
54    case RArr{h, ks}:
55      Con{Ln{0, k ++ h}, ks}
56    case REmpty{}:
57      one(0, k ++ ": []")