Text.PrettyPrint.Html

Pretty-printing with support for HTML markup and proper HTML escaping.

HtmlDocument class

class HighlightDocument d => HtmlDocument d where

Methods

unescapedText :: String -> d

unescapedText str converts the String str to a document without performing any escaping.

unescapedZeroWidthText :: String -> d

unescapedZeroWidthText str converts the String str to a document with zero width without performing any escaping.

Instances

Document d => HtmlDocument (HtmlDoc d)

withTag :: HtmlDocument d => String -> [(String, String)] -> d -> d

withTag tag attrs inner adds the tag tag with the attributes attrs around the inner document.

withTagNonEmpty :: HtmlDocument d => String -> [(String, String)] -> d -> d

withTagNonEmpty tag attrs inner adds the tag tag with the attributes attrs around the inner document iff inner is a non-empty document.

closedTag :: HtmlDocument d => String -> [(String, String)] -> d

closedTag tag attrs builds the closed tag tag with the attributes attrs; e.g.,

 closedTag "img" "href" "here" = HtmlDoc (text "<img href=\"here\"/>)

module Text.PrettyPrint.Highlight

HtmlDoc: adding HTML markup

data HtmlDoc d

A Document transformer that adds proper HTML escaping.

Instances

Monoid d => Monoid (HtmlDoc d)

NFData d => NFData (HtmlDoc d)

Document d => Document (HtmlDoc d)

Document d => HighlightDocument (HtmlDoc d)

Document d => HtmlDocument (HtmlDoc d)

htmlDoc :: d -> HtmlDoc d

Wrap a document such that HTML markup can be added without disturbing the layout.

getHtmlDoc :: HtmlDoc d -> d

postprocessHtmlDoc :: String -> String

postprocessHtmlDoc cs converts the line-breaks of cs to br tags and the prefixed spaces in every line of cs by non-breaing HTML spaces  .

renderHtmlDoc :: HtmlDoc Doc -> String

renderHtmlDoc = postprocessHtmlDoc . render . getHtmlDoc

NoHtmlDoc: ignoring HTML markup

noHtmlDoc :: d -> NoHtmlDoc d

Wrap a document such that all HtmlDocument specific methods are ignored.

getNoHtmlDoc :: NoHtmlDoc d -> d

Extract the wrapped document.