Text.Trifecta.Highlight

Documentation

data Highlight

Tags used by the TokenParsing highlight combinator.

Instances

Bounded Highlight

Enum Highlight

Eq Highlight

Ord Highlight

Read Highlight

Show Highlight

data HighlightedRope

A HighlightedRope is a Rope with an associated IntervalMap full of highlighted regions.

Constructors

HighlightedRope !(IntervalMap Delta Highlight) !Rope

Instances

Pretty HighlightedRope

Monoid HighlightedRope

ToMarkup HighlightedRope

Semigroup HighlightedRope

HasDelta HighlightedRope

HasBytes HighlightedRope

HasHighlightedRope HighlightedRope

class HasHighlightedRope t where

Methods

highlightedRope :: Lens' t HighlightedRope

ropeContent :: Lens' t Rope

ropeHighlights :: Lens' t (IntervalMap Delta Highlight)

Instances

HasHighlightedRope HighlightedRope

withHighlight :: Highlight -> Doc -> Doc

Convert a Highlight into a coloration on a Doc.

data HighlightDoc

Represents a source file like an HsColour rendered document

Constructors

HighlightDoc String String HighlightedRope

Instances

ToMarkup HighlightDoc

HasHighlightDoc HighlightDoc

class HasHighlightDoc t where

Methods

highlightDoc :: Lens' t HighlightDoc

docContent :: Lens' t HighlightedRope

docCss :: Lens' t String

docTitle :: Lens' t String

Instances

HasHighlightDoc HighlightDoc

doc :: String -> HighlightedRope -> HighlightDoc

Generate an HTML document from a title and a HighlightedRope.