protected function renderTableHeader()

in src/render/MarkdownRenderer.php [247:274]


  protected function renderTableHeader(Blocks\TableExtension $node): string {
    $header_row = $node->getHeader()
      |> Vec\map($$, $cell ==> $this->renderTableDataCell($cell))
      |> Str\join($$, ' | ')
      |> '| '.$$.' |';

    $delimiter_row = $node->getColumnAlignments()
      |> Vec\map(
        $$,
        $alignment ==> {
          if ($alignment === null) {
            return '-';
          }
          switch ($alignment) {
            case TableExtensionColumnAlignment::LEFT:
              return ':-';
            case TableExtensionColumnAlignment::RIGHT:
              return '-:';
            case TableExtensionColumnAlignment::CENTER:
              return ':-:';
          }
        },
      )
      |> Str\join($$, ' | ')
      |> '| '.$$.' |';

    return $header_row."\n".$delimiter_row;
  }