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

Portabilityportable
MaintainerSimon Meier <iridcode@gmail.com>
Safe HaskellSafe-Inferred

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

data HighlightStyle Source

Currently we support only keywords, operators, and comments.

Constructors

Keyword 
Comment 
Operator 

HighlightDocument class

comment_ :: HighlightDocument d => String -> dSource

keyword_ :: HighlightDocument d => String -> dSource