| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.Text.Prettyprint.Doc.Internal.Type
Description
Internal module with stability guarantees
This module exposes the internals of the Doc
Although this module is internal, it follows the usual package versioning policy, AKA Haskell’s version of semantic versioning. In other words, this module is as stable as the public API.
Documentation
The abstract data type Doc annann.
More specifically, a value of type Doc
The annotation is an arbitrary piece of data associated with (part of) a document. Annotations may be used by the rendering backends in order to display output differently, such as
- color information (e.g. when rendering to the terminal)
- mouseover text (e.g. when rendering to rich HTML)
- whether to show something or not (to allow simple or detailed versions)
The simplest way to display a Doc is via the Show class.
>>>putStrLn (show (vsep ["hello", "world"]))hello world
Constructors
| Fail | Occurs when flattening a line. The layouter will reject this document, choosing a more suitable rendering. |
| Empty | The empty document; conceptually the unit of |
| Char !Char | invariant: not '\n' |
| Text !Int !Text | Invariants: at least two characters long, does not contain '\n'. For
empty documents, there is Since the frequently used |
| Line | Hard line break |
| FlatAlt (Doc ann) (Doc ann) | Lay out the first |
| Cat (Doc ann) (Doc ann) | Concatenation of two documents |
| Nest !Int (Doc ann) | Document indented by a number of columns |
| Union (Doc ann) (Doc ann) | Invariant: The first lines of first document should be longer than the
first lines of the second one, so the layout algorithm can pick the one
that fits best. Used to implement layout alternatives for |
| Column (Int -> Doc ann) | React on the current cursor position, see |
| WithPageWidth (PageWidth -> Doc ann) | React on the document's width, see |
| Nesting (Int -> Doc ann) | React on the current nesting level, see |
| Annotated ann (Doc ann) | Add an annotation to the enclosed |
Instances
| Functor Doc Source # | Alter the document’s annotations. This instance makes |
| Show (Doc ann) Source # |
|
| IsString (Doc ann) Source # |
This instance uses the |
| Generic (Doc ann) Source # | |
| Semigroup (Doc ann) Source # | x
|
| Monoid (Doc ann) Source # |
|
| type Rep (Doc ann) Source # | |