| Portability | non-portable |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | None |
Text.Trifecta.Highlight
Description
- data Highlight
- data HighlightedRope = HighlightedRope !(IntervalMap Delta Highlight) !Rope
- class HasHighlightedRope t where
- highlightedRope :: Lens' t HighlightedRope
- ropeContent :: Lens' t Rope
- ropeHighlights :: Lens' t (IntervalMap Delta Highlight)
- withHighlight :: Highlight -> Doc -> Doc
- data HighlightDoc = HighlightDoc String String HighlightedRope
- class HasHighlightDoc t where
- highlightDoc :: Lens' t HighlightDoc
- docContent :: Lens' t HighlightedRope
- docCss :: Lens' t String
- docTitle :: Lens' t String
- doc :: String -> HighlightedRope -> HighlightDoc
Documentation
data Highlight
Tags used by the TokenParsing highlight combinator.
data HighlightedRope Source
A HighlightedRope is a Rope with an associated IntervalMap full of highlighted regions.
Constructors
| HighlightedRope !(IntervalMap Delta Highlight) !Rope |
Instances
class HasHighlightedRope t whereSource
Methods
highlightedRope :: Lens' t HighlightedRopeSource
ropeContent :: Lens' t RopeSource
ropeHighlights :: Lens' t (IntervalMap Delta Highlight)Source
Instances
withHighlight :: Highlight -> Doc -> DocSource
Convert a Highlight into a coloration on a Doc.
data HighlightDoc Source
Represents a source file like an HsColour rendered document
Constructors
| HighlightDoc String String HighlightedRope |
Instances
| ToMarkup HighlightDoc | |
| HasHighlightDoc HighlightDoc |
class HasHighlightDoc t whereSource
Methods
highlightDoc :: Lens' t HighlightDocSource
docContent :: Lens' t HighlightedRopeSource
Instances
doc :: String -> HighlightedRope -> HighlightDocSource
Generate an HTML document from a title and a HighlightedRope.