package pprint

  1. Overview
  2. Docs

Module type PPrintEngine.RENDERERSource

This signature describes the document renderers in a manner that is independent of the type of the output channel.

Sourcetype channel

The type of the output channel.

Sourcetype document

The type of documents.

Sourceval pretty : float -> int -> channel -> document -> unit

pretty rfrac width channel document pretty-prints the document document into the output channel channel. The parameter width is the maximum number of characters per line. The parameter rfrac is the ribbon width, a fraction relative to width. The ribbon width is the maximum number of non-indentation characters per line.

Sourceval compact : channel -> document -> unit

compact channel document prints the document document to the output channel channel. No indentation is used. All newline instructions are respected, that is, no groups are flattened.