def render.aot

emerging-eztoml@0.9.0.0 · main.bend:5894

import Base

5894# one element of an array of tables
5895def render.aot(
5896  tabs: Bool,
5897  path: String,
5898  rows: List<&2, Val>,
5899  tail: List<&2, Val>,
5900  gap: String,
5901  trail: Bool,
5902  nest: Unit -> String,
5903  rest: Unit -> String
5904) -> String:
5905  match tabs:
5906    case False{}:
5907      render.skip(path, rows, tail, gap, trail, nest, rest)
5908    case True{}:
5909      "[[" ++ path ++ "]]\n" ++ render.use(rows, nest(Unit{})) ++
5910        render.rest(tail, gap, trail, rest)