Sentences often need to be pretty printed in the tests and when writing the generated Coq code to the console or a file.

Terms often need to be pretty printed in the tests.

Pretty instance for a source span that displays the filename and the start and end position of the source span.

If the source span spans only a single line, the end position is omitted.

Pretty instance for a source file that displays the filename.

Pretty instance for messages.

The format of the messages is based on the format used by GHC:

[file]:[line]:[column]: [severity]:
    [message-contents]
       |
[line] | [line of code ... culprit  ... ]
       |                   ^^^^^^^

If no location information is attached to the message, a place holder is text displayed instead of the filename, and start position and no code snippet will be shown.

Lists of messages are separated by a newline.

Pretty instance for message severity levels.

Pretty instance for names of declarations.

Pretty instance for qualifiable identifiers and symbols.

Pretty instance for identifiers and symbols.

Pretty instance for type expressions.

Pretty instance for type variable declaration.

Pretty instance for type schemes.

Pretty instance for data constructor declarations.

Pretty instance for type declarations.

Pretty instance for custom {-# FreeC ... #-} pragmas.

Pretty instance for comments.

Pretty instance for let expression binds.

Pretty instance for variable patterns.

Pretty instance for constructor patterns.

Pretty instance for case expression alternatives.

Pretty instance for expressions.

If the expression contains type annotations, the output quickly becomes practically unreadable. Consider stripping type annotations before pretty printing (see FreeC.IR.Strip) to improve readability.

Pretty instance for function declarations.

Pretty instance for type signatures.

Pretty instance for top-level declarations.

Pretty instance for import declarations.

Pretty prints a position.

Pretty prints a keyword.

Pretty prints a token.

Declarations are a common AST node.

Exprs are a common AST node.

Pretty prints the wrapped value of a TrailingLine and adds the trailing newline to the resulting document.

Pretty instance for modules.

Pretty instance for module nodes of Haskell Source Extensions AST.

Pretty instance for nodes of the Coq AST.

When pretty printing a list of nodes, the individual documents are concatenated with newlines.

Pretty instance that pretty prints the declarations of a strongly connected component.

Each declaration is on its own line and indented by two spaces. The first line of the document indicates whether the component was recursive or not.

Pretty instance that converts a dependency graph to the DOT format.

Substitutions can be pretty printed for testing purposes.

Pretty prints the wrapped value of a TrailingLine and adds the trailing newline to the resulting document.