Language.Nix.PrettyPrinting · distribution-nixpkgs-1.7.1.1

valuetext :: String -> Doc

#

A document of height 1 containing a literal string. text satisfies the following laws:

```
text s <> text t = text (s++t)
```
text "" <> x = x, if x non-empty

The side condition on the last law is necessary because text "" has height 1, while empty has no height.

value(<>) :: Doc -> Doc -> Doc

#

Beside. <> is associative, with identity empty.

classclass Pretty a where

#

Pretty printing class. The precedence level is used in a similar way as in the Show class. Minimal complete definition is either pPrintPrec or pPrint.

Methods

pPrintPrec :: PrettyLevel -> Rational -> a -> Doc
pPrint :: a -> Doc
pPrintList :: PrettyLevel -> [a] -> Doc

Instances24Pretty, …

Pretty LicenseDefined in distribution-nixpkgs-1.7.1.1 · Distribution.Nixpkgs.License
Pretty MetaDefined in distribution-nixpkgs-1.7.1.1 · Distribution.Nixpkgs.Meta
Pretty NixpkgsPlatformDefined in distribution-nixpkgs-1.7.1.1 · Distribution.Nixpkgs.Meta
Pretty IntegerDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
Pretty BoolDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
Pretty CharDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
Pretty DoubleDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
Pretty FloatDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
Pretty IntDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
Pretty OrderingDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
Pretty BindingDefined in language-nix-2.2.0 · Language.Nix.Binding
Pretty IdentifierDefined in language-nix-2.2.0 · Language.Nix.Identifier
Pretty PathDefined in language-nix-2.2.0 · Language.Nix.Path
Pretty ()Defined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
Pretty a => Pretty (Maybe a)Defined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
Pretty a => Pretty [a]Defined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
(Pretty a, Pretty b) => Pretty (Either a b)Defined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
(Pretty a, Pretty b) => Pretty (a, b)Defined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
(Pretty a, Pretty b, Pretty c) => Pretty (a, b, c)Defined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
(Pretty a, Pretty b, Pretty c, Pretty d) => Pretty (a, b, c, d)Defined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
(Pretty a, Pretty b, Pretty c, Pretty d, Pretty e) => Pretty (a, b, c, d, e)Defined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
(Pretty a, Pretty b, Pretty c, Pretty d, Pretty e, Pretty f) => Pretty (a, b, c, d, e, f)Defined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
(Pretty a, Pretty b, Pretty c, Pretty d, Pretty e, Pretty f, Pretty g) => Pretty (a, b, c, d, e, f, g)Defined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
(Pretty a, Pretty b, Pretty c, Pretty d, Pretty e, Pretty f, Pretty g, Pretty h) => Pretty (a, b, c, d, e, f, g, h)Defined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass

newtypenewtype Doc

#

The abstract type of documents. A Doc represents a set of layouts. A Doc with no occurrences of Union or NoDoc represents just one layout.

Instances10Eq, Show, IsString, Generic, Semigroup, Monoid, …

Eq DocDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJ
Show DocDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJ
Show DocDefined in template-haskell-2.22.0.0 · Language.Haskell.TH.PprLib
IsString DocDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJ
Generic DocDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJ
Semigroup DocDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJ
Monoid DocDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJ
NFData DocDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJ
Pretty DocDefined in Cabal-syntax-3.12.1.0 · Distribution.Pretty
type Rep Doc = D1 ('MetaData "Doc" "Text.PrettyPrint.HughesPJ" "pretty-1.1.3.6-a72d" 'True) (C1 ('MetaCons "Doc" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ()))))Defined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJ

value(<+>) :: Doc -> Doc -> Doc

#

Beside, separated by space, unless one of the arguments is empty. <+> is associative, with identity empty.

valueequals

:: Doc
A = character

#

valuesemi

:: Doc
A ';' character

#

valueempty :: Doc

#

The empty document, with no height and no width. empty is the identity for <>, <+>, $$ and $+$, and anywhere in the argument list for sep, hcat, hsep, vcat, fcat etc.

valuesep :: [Doc] -> Doc

#

Either hsep or vcat.

valuelbrack

:: Doc
A '[' character

#

valuenest :: Int -> Doc -> Doc

#

Nest (or indent) a document by a given number of positions (which may also be negative). nest satisfies the laws:

```
nest 0 x = x
```
```
nest k (nest k' x) = nest (k+k') x
```
```
nest k (x <> y) = nest k x <> nest k y
```
```
nest k (x $$ y) = nest k x $$ nest k y
```
```
nest k empty = empty
```
x <> nest k y = x <> y, if x non-empty

The side condition on the last law is needed because empty is a left identity for <>.

valuefsep :: [Doc] -> Doc

#

"Paragraph fill" version of sep.

valuerbrack

:: Doc
A ']' character

#

valuedoubleQuotes

:: Doc
-> Doc
Wrap document in "..."

#

valuechar :: Char -> Doc

#

A document of height and width 1, containing a literal character.

valuelbrace

:: Doc
A '{' character

#

valuefcat :: [Doc] -> Doc

#

"Paragraph fill" version of cat.

valuecomma

:: Doc
A ',' character

#

valuerbrace

:: Doc
A '}' character

#

valuecolon

:: Doc
A : character

#

datadata TextDetails

#

A TextDetails represents a fragment of text that will be output at some point in a Doc.

Constructors

Chr !Char
A single Char fragment
Str String
A whole String fragment
PStr String
Used to represent a Fast String fragment but now deprecated and identical to the Str constructor.

Instances5Eq, Show, Generic, NFData, Rep

Eq TextDetailsDefined in pretty-1.1.3.6 · Text.PrettyPrint.Annotated.HughesPJ
Show TextDetailsDefined in pretty-1.1.3.6 · Text.PrettyPrint.Annotated.HughesPJ
Generic TextDetailsDefined in pretty-1.1.3.6 · Text.PrettyPrint.Annotated.HughesPJ
NFData TextDetailsDefined in pretty-1.1.3.6 · Text.PrettyPrint.Annotated.HughesPJ
type Rep TextDetails = D1 ('MetaData "TextDetails" "Text.PrettyPrint.Annotated.HughesPJ" "pretty-1.1.3.6-a72d" 'False) (C1 ('MetaCons "Chr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Char)) :+: (C1 ('MetaCons "Str" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "PStr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))Defined in pretty-1.1.3.6 · Text.PrettyPrint.Annotated.HughesPJ

datadata Mode

#

Rendering mode.

Constructors

PageMode
Normal rendering (lineLength and ribbonsPerLine respected').
ZigZagMode
With zig-zag cuts.
LeftMode
No indentation, infinitely long lines (lineLength ignored), but explicit new lines, i.e., text "one" $$ text "two", are respected.
OneLineMode
All on one line, lineLength ignored and explicit new lines ($$) are turned into spaces.

Instances4Eq, Show, Generic, Rep

Eq ModeDefined in pretty-1.1.3.6 · Text.PrettyPrint.Annotated.HughesPJ
Show ModeDefined in pretty-1.1.3.6 · Text.PrettyPrint.Annotated.HughesPJ
Generic ModeDefined in pretty-1.1.3.6 · Text.PrettyPrint.Annotated.HughesPJ
type Rep Mode = D1 ('MetaData "Mode" "Text.PrettyPrint.Annotated.HughesPJ" "pretty-1.1.3.6-a72d" 'False) ((C1 ('MetaCons "PageMode" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ZigZagMode" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "LeftMode" 'PrefixI 'False) U1 :+: C1 ('MetaCons "OneLineMode" 'PrefixI 'False) U1))Defined in pretty-1.1.3.6 · Text.PrettyPrint.Annotated.HughesPJ

datadata Style

#

A rendering style. Allows us to specify constraints to choose among the many different rendering options.

Constructors

Style
- mode :: Mode
  The rendering mode.
- lineLength :: Int
  Maximum length of a line, in characters.
- ribbonsPerLine :: Float
  Ratio of line length to ribbon length. A ribbon refers to the characters on a line excluding indentation. So a lineLength of 100, with a ribbonsPerLine of 2.0 would only allow up to 50 characters of ribbon to be displayed on a line, while allowing it to be indented up to 50 characters.

Instances4Eq, Show, Generic, Rep

Eq StyleDefined in pretty-1.1.3.6 · Text.PrettyPrint.Annotated.HughesPJ
Show StyleDefined in pretty-1.1.3.6 · Text.PrettyPrint.Annotated.HughesPJ
Generic StyleDefined in pretty-1.1.3.6 · Text.PrettyPrint.Annotated.HughesPJ
type Rep Style = D1 ('MetaData "Style" "Text.PrettyPrint.Annotated.HughesPJ" "pretty-1.1.3.6-a72d" 'False) (C1 ('MetaCons "Style" 'PrefixI 'True) (S1 ('MetaSel ('Just "mode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Mode) :*: (S1 ('MetaSel ('Just "lineLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "ribbonsPerLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Float))))Defined in pretty-1.1.3.6 · Text.PrettyPrint.Annotated.HughesPJ

valuestyle :: Style

#

The default style (mode=PageMode, lineLength=100, ribbonsPerLine=1.5).

value($$) :: Doc -> Doc -> Doc

#

Above, except that if the last line of the first argument stops at least one position before the first line of the second begins, these two lines are overlapped. For example:

   text "hi" $$ nest 5 (text "there")

lays out as

   hi   there

rather than

   hi
        there

$$ is associative, with identity empty, and also satisfies

(x $$ y) <> z = x $$ (y <> z), if y non-empty.

value($+$) :: Doc -> Doc -> Doc

#

Above, with no overlapping. $+$ is associative, with identity empty.

valuebraces

:: Doc
-> Doc
Wrap document in {...}

#

valuebrackets

:: Doc
-> Doc
Wrap document in [...]

#

valuecat :: [Doc] -> Doc

#

Either hcat or vcat.

valuedouble

:: Double
-> Doc
```
double n = text (show n)
```

#

valuefirst :: Doc -> Doc -> Doc

#

first returns its first argument if it is non-empty, otherwise its second.

valuefloat

:: Float
-> Doc
```
float n = text (show n)
```

#

valuefullRender

:: Mode
Rendering mode.
-> Int
Line length.
-> Float
Ribbons per line.
-> (TextDetails -> a -> a)
What to do with text.
-> a
What to do at the end.
-> Doc
The document.
-> a
Result.

#

The general rendering interface. Please refer to the Style and Mode types for a description of rendering mode, line length and ribbons.

valuehang :: Doc -> Int -> Doc -> Doc

#

hang d1 n d2 = sep [d1, nest n d2]

valuehcat :: [Doc] -> Doc

#

List version of <>.

valuehsep :: [Doc] -> Doc

#

List version of <+>.

valueint

:: Int
-> Doc
```
int n = text (show n)
```

#

valueinteger

:: Integer
-> Doc
```
integer n = text (show n)
```

#

valueisEmpty :: Doc -> Bool

#

Returns True if the document is empty

valuelparen

:: Doc
A '(' character

#

valuemaybeBraces :: Bool -> Doc -> Doc

#

Apply braces to Doc if boolean is true.

valuemaybeBrackets :: Bool -> Doc -> Doc

#

Apply brackets to Doc if boolean is true.

valuemaybeDoubleQuotes :: Bool -> Doc -> Doc

#

Apply doubleQuotes to Doc if boolean is true.

valuemaybeParens :: Bool -> Doc -> Doc

#

Apply parens to Doc if boolean is true.

valuemaybeQuotes :: Bool -> Doc -> Doc

#

Apply quotes to Doc if boolean is true.

valueparens

:: Doc
-> Doc
Wrap document in (...)

#

valueptext :: String -> Doc

#

Same as text. Used to be used for Bytestrings.

valuepunctuate :: Doc -> [Doc] -> [Doc]

#

punctuate p [d1, ... dn] = [d1 <> p, d2 <> p, ... dn-1 <> p, dn]

valuequotes

:: Doc
-> Doc
Wrap document in '...'

#

valuerational

:: Rational
-> Doc
```
rational n = text (show n)
```

#

valuereduceDoc :: Doc -> RDoc

#

Perform some simplification of a built up GDoc.

valuerender :: Doc -> String

#

Render the Doc to a String using the default Style (see style).

valuerenderStyle :: Style -> Doc -> String

#

Render the Doc to a String using the given Style.

valuerparen

:: Doc
A ')' character

#

valuesizedText :: Int -> String -> Doc

#

Some text with any width. (text s = sizedText (length s) s)

valuespace

:: Doc
A space character

#

valuevcat :: [Doc] -> Doc

#

List version of $$.

valuezeroWidthText :: String -> Doc

#

Some text, but without any width. Use for non-printing text such as a HTML or Latex tags

valueprettyParen :: Bool -> Doc -> Doc

#

Deprecated. Please use maybeParens instead

Parenthesize an value if the boolean is true.

newtypenewtype PrettyLevel

#

Level of detail in the pretty printed output. Level 0 is the least detail.

Constructors

PrettyLevel Int

Instances3Eq, Ord, Show

Eq PrettyLevelDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
Ord PrettyLevelDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass
Show PrettyLevelDefined in pretty-1.1.3.6 · Text.PrettyPrint.HughesPJClass

valueprettyNormal :: PrettyLevel

#

The "normal" (Level 0) of detail.

valueprettyShow :: Pretty a => a -> String

#

Pretty print a value with the prettyNormal level.

Re-exports from other modules

Methods

Constructors

Constructors

Constructors

Constructors