tct-2.0.1: A Complexity Analyser for Term Rewrite Systems

Portabilityunportable
Stabilityunstable
MaintainerMartin Avanzini <martin.avanzini@uibk.ac.at>
Safe HaskellSafe-Infered

Tct.Utils.PPrint

Description

This module provides utilities for pretty printing.

Synopsis

Documentation

heading :: String -> Doc

Pretty print string as heading.

indent :: Doc -> Doc

Pretty print indented.

enum :: PrettyPrintable t => Enumeration t -> Doc

Pretty Printer for enumerations.

block :: PrettyPrintable t => String -> Enumeration t -> Doc

Pretty prints block with given name, and content as given by enumeration.

block' :: PrettyPrintable t => String -> [t] -> Doc

Like block, but expects a list instead of an enumeration.

data Align

Instances

columns :: [(Align, [Doc])] -> Doc