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;
}