Library
Module
Module type
Parameter
Class
Class type
type preformatted =
| Code_block
| Code_quote
The output option for preformatted-style text, and for outputting tables as text.
Code_block
: use Markdown's backquoted-block style: ```
, equivalent to HTML's <pre>
. Downside: Markdown's style classes make it extra prominent.Code_quote
: use Markdown's inline code style: single quote `
. Downside: does not respect whitespace. We double spaces to "· " for indentation.val default : t
The configuration that leads to more readable Markdown source code.
val uniform : t
The configuration that leads to more lightweight and uniform rendering.
Output tables via PrintBox_text
. Already the case for the default
config.
How to output PrintBox.vlist
boxes, i.e. single-column grids.
`Line_break
: when the PrintBox.vlist
has bars, it puts a quoted horizontal rule "> ---"
at the bottom of a row, otherwise puts an extra empty line. It is set in the uniform
config.`List
: puts each row as a separate list item; in addition, when the PrintBox.vlist
has bars, it puts a quoted horizontal rule "> ---"
at the bottom of a row. It is set in the default
config.`As_table
falls back to the general table printing mechanism.How to output PrintBox.hlist
boxes, i.e. single-row grids, curently only if they fit in one line.
`Minimal
uses spaces and a horizontal bar " | "
to separate columns. It is set in the default
config.`As_table
falls back to the general table printing mechanism.Output trees so every node with children is foldable. Already the case for the uniform
config.
Output trees so every node is just the header followed by a list of children. Already the case for the default
config.
val multiline_preformatted : preformatted -> t -> t
val one_line_preformatted : preformatted -> t -> t
Output frames using Markdown's quotation syntax >
, or surrouding by []
if inline. Already the case for the default
config.