def render.aots

emerging-eztoml@0.9.0.0 · main.bend:5878

import Base

5878# an array of tables. Its elements are headers
5879def render.aots(
5880  tabs: Bool,
5881  elems: List<&2, Val>,
5882  tail: List<&2, Val>,
5883  gap: String,
5884  trail: Bool,
5885  nest: Unit -> String,
5886  rest: Unit -> String
5887) -> String:
5888  match tabs:
5889    case False{}:
5890      render.skip("", elems, tail, gap, trail, nest, rest)
5891    case True{}:
5892      render.use(elems, nest(Unit{})) ++ render.rest(tail, gap, trail, rest)