Theory.Text.Pretty

General support for pretty printing theories.

General highlighters

module Text.PrettyPrint.Highlight

Additional combinators

vsep :: Document d => [d] -> d

Vertically separate a list of documents by empty lines.

fsepList :: Document d => (a -> d) -> [a] -> d

Pretty print a list of values as a comma-separated list wrapped in paragraph mode.

Comments

lineComment :: HighlightDocument d => d -> d

multiComment :: HighlightDocument d => d -> d

lineComment_ :: HighlightDocument d => String -> d

multiComment_ :: HighlightDocument d => [String] -> d

Keywords

kwTheoryHeader :: HighlightDocument d => d -> d

kwEnd :: HighlightDocument d => d

kwModulo

Arguments

:: HighlightDocument d

=> String

What

-> String

modulo theory

-> d

kwBy :: HighlightDocument d => d

kwCase :: HighlightDocument d => d

kwNext :: HighlightDocument d => d

kwQED :: HighlightDocument d => d

kwLemma :: HighlightDocument d => d

kwAxiom :: HighlightDocument d => d

Composed forms

kwRuleModulo :: HighlightDocument d => String -> d

kwInstanceModulo :: HighlightDocument d => String -> d

kwVariantsModulo :: HighlightDocument d => String -> d

kwTypesModulo :: HighlightDocument d => String -> d

Operators

opProvides :: HighlightDocument d => d

opRequires :: HighlightDocument d => d

opAction :: HighlightDocument d => d

opPath :: HighlightDocument d => d

opLess :: HighlightDocument d => d

opEqual :: HighlightDocument d => d

opDedBefore :: HighlightDocument d => d

opEdge :: HighlightDocument d => d

opExists :: HighlightDocument d => d

opForall :: HighlightDocument d => d

opLAnd :: HighlightDocument d => d

opLOr :: HighlightDocument d => d

opImp :: HighlightDocument d => d

opIff :: HighlightDocument d => d

opDot :: HighlightDocument d => d