tamarin-prover-utils-1.2.2: Utility library for the tamarin prover.

Copyright(c) 2011 Simon Meier
LicenseGPL v3 (see LICENSE)
MaintainerSimon Meier <iridcode@gmail.com>
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Text.PrettyPrint.Highlight

Contents

Description

Pretty-printing with support for highlighting keywords and comments. Currently this module is not functional on itself, but geared towards its use in Text.PrettyPrint.Html.

Synopsis

Highlight style

HighlightDocument class

class Document d => HighlightDocument d where #

Minimal complete definition

highlight

Methods

highlight :: HighlightStyle -> d -> d #

comment :: HighlightDocument d => d -> d #

keyword :: HighlightDocument d => d -> d #