Module PrintBox_md.ConfigSource

Markdown configuration

Sourcetype preformatted =
  1. | Code_block
  2. | 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.
    *)
Sourcetype t
Sourceval default : t

The configuration that leads to more readable Markdown source code.

Sourceval uniform : t

The configuration that leads to more lightweight and uniform rendering.

Sourceval vlists : [ `Line_break | `List | `As_table ] -> t -> t

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.
Sourceval hlists : [ `Minimal | `As_table ] -> t -> t

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.
Sourceval foldable_trees : t -> t

Output trees so every node with children is foldable. Already the case for the uniform config.

Sourceval unfolded_trees : t -> t

Output trees so every node is just the header followed by a list of children. Already the case for the default config.

Sourceval multiline_preformatted : preformatted -> t -> t
Sourceval one_line_preformatted : preformatted -> t -> t
Sourceval tab_width : int -> t -> t
Sourceval quotation_frames : t -> t

Output frames using Markdown's quotation syntax > , or surrouding by [] if inline. Already the case for the default config.

Sourceval table_frames : t -> t

Output frames by falling back to the mechanism used to output tables. Already the case for the uniform config.