def render.head

emerging-eztoml@0.9.0.0 · main.bend:5860

import Base

5860# a table header. Direct keys are printed by the other pass
5861def render.head(
5862  tabs: Bool,
5863  path: String,
5864  rows: List<&2, Val>,
5865  tail: List<&2, Val>,
5866  gap: String,
5867  trail: Bool,
5868  nest: Unit -> String,
5869  rest: Unit -> String
5870) -> String:
5871  match tabs:
5872    case False{}:
5873      render.skip(path, rows, tail, gap, trail, nest, rest)
5874    case True{}:
5875      "[" ++ path ++ "]\n" ++ render.use(rows, nest(Unit{})) ++
5876        render.rest(tail, gap, trail, rest)