Data.GraphViz.Printing

This module defines simple helper functions for use with Text.PrettyPrint. It also re-exports all the pretty-printing combinators from that module.

Note that the PrintDot instances for Bool, etc. match those specified for use with Graphviz.

You should only be using this module if you are writing custom node types for use with Data.GraphViz.Types. For actual printing of code, use printDotGraph (which produces a Text value).

The Dot language specification specifies that any identifier is in one of four forms:

• Any string of alphabetic ([a-zA-Z\200-\377]) characters, underscores ('_') or digits ([0-9]), not beginning with a digit;
• a number [-]?(.[0-9]+ | [0-9]+(.[0-9]*)? );
• any double-quoted string ("...") possibly containing escaped quotes (\");
• an HTML string (<...>).

(Note that the first restriction is referring to a byte-by-byte comparison using octal values; when using UTF-8 this corresponds to all characters c where ord c >= 128.)

Due to these restrictions, you should only use text when you are sure that the Text in question is static and quotes are definitely needed/unneeded; it is better to use the Text instance for PrintDot. For more information, see the specification page: http://graphviz.org/doc/info/lang.html

Documentation

group :: Functor m => m Doc -> m Doc

The group combinator is used to specify alternative layouts. The document (group x) undoes all line breaks in document x. The resulting line is added to the current line if that fits the page. Otherwise, the document x is rendered without any changes.

nesting :: Functor m => m (Int -> Doc) -> m Doc

Specifies how to nest the document based upon which column it is being nested in.

column :: Functor m => m (Int -> Doc) -> m Doc

Specifies how to create the document based upon which column it is in.

nest :: Functor m => Int -> m Doc -> m Doc

The document (nest i x) renders document x with the current indentation level increased by i (See also hang, align and indent).

nest 2 (text "hello" <$> text "world") <$> text "!"

outputs as:

  hello
    world
  !
  

linebreak :: Applicative m => m Doc

The linebreak document advances to the next line and indents to the current nesting level. Document linebreak behaves like empty if the line break is undone by group.

line :: Applicative m => m Doc

The line document advances to the next line and indents to the current nesting level. Document line behaves like (text " ") if the line break is undone by group or if rendered with renderOneLine.

textStrict :: Monad m => Text -> m Doc

text :: Applicative m => Text -> m Doc

The document (text s) contains the literal string s. The string shouldn't contain any newline ('\n') characters. If the string contains newline characters, the function string should be used.

char :: Applicative m => Char -> m Doc

The document (char c) contains the literal character c. The character shouldn't be a newline ('\n'), the function line should be used for line breaks.

empty :: Applicative m => m Doc

The empty document is, indeed, empty. Although empty has no content, it does have a 'height' of 1 and behaves exactly like (text "") (and is therefore not a unit of <$>).

align :: Functor m => m Doc -> m Doc

The document (align x) renders document x with the nesting level set to the current column. It is used for example to implement hang.

As an example, we will put a document right above another one, regardless of the current nesting level:

x $$ y = align (x <$> y)

test = text "hi" <+> (text "nice" $$ text "world")

which will be laid out as:

  hi nice
     world
  

hang :: Functor m => Int -> m Doc -> m Doc

The hang combinator implements hanging indentation. The document (hang i x) renders document x with a nesting level set to the current column plus i. The following example uses hanging indentation for some text:

test = hang 4 (fillSep (map text
        (words "the hang combinator indents these words !")))

Which lays out on a page with a width of 20 characters as:

  the hang combinator
      indents these
      words !
  

The hang combinator is implemented as:

hang i x = align (nest i x)

indent :: Functor m => Int -> m Doc -> m Doc

The document (indent i x) indents document x with i spaces.

test = indent 4 (fillSep (map text
        (words "the indent combinator indents these words !")))

Which lays out with a page width of 20 as:

      the indent
      combinator
      indents these
      words !
  

fillBreak :: Functor m => Int -> m Doc -> m Doc

The document (fillBreak i x) first renders document x. It then appends spaces until the width is equal to i. If the width of x is already larger than i, the nesting level is increased by i and a line is appended. When we redefine ptype in the previous example to use fillBreak, we get a useful variation of the previous output:

ptype (name,tp)
= fillBreak 6 (text name) <+> text "::" <+> text tp

The output will now be:

  let empty  :: Doc
      nest   :: Int -> Doc -> Doc
      linebreak
             :: Doc
  

fill :: Functor m => Int -> m Doc -> m Doc

The document (fill i x) renders document x. It then appends spaces until the width is equal to i. If the width of x is already larger, nothing is appended. This combinator is quite useful in practice to output a list of bindings. The following example demonstrates this.

types = [("empty","Doc")
         ,("nest","Int -> Doc -> Doc")
         ,("linebreak","Doc")]

ptype (name,tp)
= fill 6 (text name) <+> text "::" <+> text tp

test = text "let" <+> align (vcat (map ptype types))

Which is laid out as:

  let empty  :: Doc
      nest   :: Int -> Doc -> Doc
      linebreak :: Doc
  

prettyM :: (Pretty a, Applicative m) => a -> m Doc

A monadic version of pretty; this is to allow you to use the Pretty class without having to create extra instances. Alternatively, you may wish to make a variant of Pretty using the actual Monad to be used.

rational :: Applicative m => Rational -> m Doc

The document (rational r) shows the literal rational r using text.

double :: Applicative m => Double -> m Doc

The document (double d) shows the literal double d using text.

float :: Applicative m => Float -> m Doc

The document (float f) shows the literal float f using text.

integer :: Applicative m => Integer -> m Doc

The document (integer i) shows the literal integer i using text.

int :: Applicative m => Int -> m Doc

The document (int i) shows the literal integer i using text.

stringStrict :: Monad m => Text -> m Doc

equals :: Applicative m => m Doc

The document equals contains an equal sign, "=".

backslash :: Applicative m => m Doc

The document backslash contains a back slash, "\".

dot :: Applicative m => m Doc

The document dot contains a single dot, ".".

space :: Applicative m => m Doc

The document space contains a single space, " ".

x <+> y = x `beside` space `beside` y

comma :: Applicative m => m Doc

The document comma contains a comma, ",".

colon :: Applicative m => m Doc

The document colon contains a colon, ":".

semi :: Applicative m => m Doc

The document semi contains a semi colon, ";".

dquote :: Applicative m => m Doc

The document dquote contains a double quote, '"'.

squote :: Applicative m => m Doc

The document squote contains a single quote, "'".

rbracket :: Applicative m => m Doc

The document rbracket contains a right square bracket, "]".

lbracket :: Applicative m => m Doc

The document lbracket contains a left square bracket, "[".

rbrace :: Applicative m => m Doc

The document rbrace contains a right brace, "}".

lbrace :: Applicative m => m Doc

The document lbrace contains a left brace, "{".

rangle :: Applicative m => m Doc

The document rangle contains a right angle, ">".

langle :: Applicative m => m Doc

The document langle contains a left angle, "<".

rparen :: Applicative m => m Doc

The document rparen contains a right parenthesis, ")".

lparen :: Applicative m => m Doc

The document lparen contains a left parenthesis, "(".

enclose :: Applicative m => m Doc -> m Doc -> m Doc -> m Doc

The document (enclose l r x) encloses document x between documents l and r using beside.

enclose l r x = l `beside` x `beside` r

brackets :: Functor m => m Doc -> m Doc

Document (brackets x) encloses document x in square brackets, "[" and "]".

angles :: Functor m => m Doc -> m Doc

Document (angles x) encloses document x in angles, "<" and ">".

parens :: Functor m => m Doc -> m Doc

Document (parens x) encloses document x in parenthesis, "(" and ")".

braces :: Functor m => m Doc -> m Doc

Document (braces x) encloses document x in braces, "{" and "}".

dquotes :: Functor m => m Doc -> m Doc

Document (dquotes x) encloses document x with double quotes '"'.

squotes :: Functor m => m Doc -> m Doc

Document (squotes x) encloses document x with single quotes "'".

spacebreak :: Applicative m => m Doc

The document spacebreak behaves like space when rendered normally but like empty when using renderCompact or renderOneLine.

softbreak :: Applicative m => m Doc

The document softbreak behaves like empty if the resulting output fits the page, otherwise it behaves like line.

softline :: Applicative m => m Doc

The document softline behaves like space if the resulting output fits the page, otherwise it behaves like line.

(<$$>) :: Applicative m => m Doc -> m Doc -> m Doc infixr 5

The document (x <$$> y) concatenates document x and y with a linebreak in between. (infixr 5)

(<//>) :: Applicative m => m Doc -> m Doc -> m Doc infixr 5

The document (x <//> y) concatenates document x and y with a softbreak in between. This effectively puts x and y either right next to each other or underneath each other. (infixr 5)

(</>) :: Applicative m => m Doc -> m Doc -> m Doc infixr 5

The document (x </> y) concatenates document x and y with a softline in between. This effectively puts x and y either next to each other (with a space in between) or underneath each other. (infixr 5)

(<++>) :: Applicative m => m Doc -> m Doc -> m Doc infixr 6

The document (x <++> y) concatenates document x and y with a spacebreak in between. (infixr 6)

(<+>) :: Applicative m => m Doc -> m Doc -> m Doc infixr 6

The document (x <+> y) concatenates document x and y with a space in between. (infixr 6)

beside :: Applicative m => m Doc -> m Doc -> m Doc infixr 6

The document (x beside y) concatenates document x and document y. It is an associative operation having empty as a left and right unit. (infixr 6)

vcat :: Functor m => m [Doc] -> m Doc

The document (vcat xs) concatenates all documents xs vertically with (<$$>). If a group undoes the line breaks inserted by vcat, all documents are directly concatenated.

hcat :: Functor m => m [Doc] -> m Doc

The document (hcat xs) concatenates all documents xs horizontally with (<>).

fillCat :: Functor m => m [Doc] -> m Doc

The document (fillCat xs) concatenates documents xs horizontally with (<>) as long as its fits the page, then inserts a linebreak and continues doing that for all documents in xs.

fillCat xs = foldr (<//>) empty xs

cat :: Functor m => m [Doc] -> m Doc

The document (cat xs) concatenates all documents xs either horizontally with (<>), if it fits the page, or vertically with (<$$>).

cat xs = group (vcat xs)

vsep :: Functor m => m [Doc] -> m Doc

The document (vsep xs) concatenates all documents xs vertically with (<$>). If a group undoes the line breaks inserted by vsep, all documents are separated with a space.

someText = map text (words ("text to lay out"))

test = text "some" <+> vsep someText

This is laid out as:

  some text
  to
  lay
  out
  

The align combinator can be used to align the documents under their first element

test = text "some" <+> align (vsep someText)

Which is printed as:

  some text
       to
       lay
       out
  

hsep :: Functor m => m [Doc] -> m Doc

The document (hsep xs) concatenates all documents xs horizontally with (<+>).

fillSep :: Functor m => m [Doc] -> m Doc

The document (fillSep xs) concatenates documents xs horizontally with (<+>) as long as its fits the page, then inserts a line and continues doing that for all documents in xs.

fillSep xs = foldr (</>) empty xs

sep :: Functor m => m [Doc] -> m Doc

The document (sep xs) concatenates all documents xs either horizontally with (<+>), if it fits the page, or vertically with (<$>).

sep xs = group (vsep xs)

punctuate :: Applicative m => m Doc -> m [Doc] -> m [Doc]

(punctuate p xs) concatenates all documents in xs with document p except for the last document.

someText = map text ["words","in","a","tuple"]
test = parens (align (cat (punctuate comma someText)))

This is laid out on a page width of 20 as:

  (words,in,a,tuple)
  

But when the page width is 15, it is laid out as:

  (words,
   in,
   a,
   tuple)
  

(If you want put the commas in front of their elements instead of at the end, you should use tupled or, in general, encloseSep.)

encloseSep :: Applicative m => m Doc -> m Doc -> m Doc -> m [Doc] -> m Doc

The document (encloseSep l r sep xs) concatenates the documents xs separated by sep and encloses the resulting document by l and r. The documents are rendered horizontally if that fits the page. Otherwise they are aligned vertically. All separators are put in front of the elements. For example, the combinator list can be defined with encloseSep:

list xs = encloseSep lbracket rbracket comma xs
test = text "list" <+> (list (map int [10,200,3000]))

Which is laid out with a page width of 20 as:

  list [10,200,3000]
  

But when the page width is 15, it is laid out as:

  list [10
       ,200
       ,3000]
  

semiBraces :: Functor m => m [Doc] -> m Doc

The document (semiBraces xs) separates the documents xs with semi colons and encloses them in braces. The documents are rendered horizontally if that fits the page. Otherwise they are aligned vertically. All semi colons are put in front of the elements.

tupled :: Functor m => m [Doc] -> m Doc

The document (tupled xs) comma separates the documents xs and encloses them in parenthesis. The documents are rendered horizontally if that fits the page. Otherwise they are aligned vertically. All comma separators are put in front of the elements.

list :: Functor m => m [Doc] -> m Doc

The document (list xs) comma separates the documents xs and encloses them in square brackets. The documents are rendered horizontally if that fits the page. Otherwise they are aligned vertically. All comma separators are put in front of the elements.

displayTStrict :: SimpleDoc -> Text

displayB :: SimpleDoc -> Builder

(displayB simpleDoc) takes the output simpleDoc from a rendering function and transforms it to a Builder type (for further manipulation before converting to a lazy Doc).

renderOneLine :: Doc -> SimpleDoc

(renderOneLine x) renders document x without adding any indentation or newlines.

data Doc

The abstract data type Doc represents pretty documents.

Doc is an instance of the Show class. (show doc) pretty prints document doc with a page width of 100 characters and a ribbon width of 40 characters.

show (text "hello" <$> text "world")

Which would return the string "hello\nworld", i.e.

  hello
  world
  

Instances

Show Doc

Defined in Text.PrettyPrint.Leijen.Text

Methods

showsPrec :: Int -> Doc -> ShowS

show :: Doc -> String

showList :: [Doc] -> ShowS

Show DotCode

Defined in Data.GraphViz.Printing

Methods

showsPrec :: Int -> DotCode -> ShowS

show :: DotCode -> String

showList :: [DotCode] -> ShowS

IsString Doc

Defined in Text.PrettyPrint.Leijen.Text

Methods

fromString :: String -> Doc

IsString DotCode

Defined in Data.GraphViz.Printing

Methods

fromString :: String -> DotCode

Semigroup Doc

In particular, note that the document (x <> y) concatenates document x and document y. It is an associative operation having empty as a left and right unit. (infixr 6)

Defined in Text.PrettyPrint.Leijen.Text

Methods

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

sconcat :: NonEmpty Doc -> Doc

stimes :: Integral b => b -> Doc -> Doc

Semigroup DotCode

Defined in Data.GraphViz.Printing

Methods

(<>) :: DotCode -> DotCode -> DotCode

sconcat :: NonEmpty DotCode -> DotCode

stimes :: Integral b => b -> DotCode -> DotCode

Monoid Doc

Defined in Text.PrettyPrint.Leijen.Text

Methods

mempty :: Doc

mappend :: Doc -> Doc -> Doc

mconcat :: [Doc] -> Doc

Monoid DotCode

Defined in Data.GraphViz.Printing

Methods

mempty :: DotCode

mappend :: DotCode -> DotCode -> DotCode

mconcat :: [DotCode] -> DotCode

Pretty Doc

Defined in Text.PrettyPrint.Leijen.Text

Methods

pretty :: Doc -> Doc

prettyList :: [Doc] -> Doc

type DotCode = DotCodeM Doc

data DotCodeM a

A type alias to indicate what is being produced.

Instances

Monad DotCodeM

Defined in Data.GraphViz.Printing

Methods

(>>=) :: DotCodeM a -> (a -> DotCodeM b) -> DotCodeM b

(>>) :: DotCodeM a -> DotCodeM b -> DotCodeM b

return :: a -> DotCodeM a

fail :: String -> DotCodeM a

Functor DotCodeM

Defined in Data.GraphViz.Printing

Methods

fmap :: (a -> b) -> DotCodeM a -> DotCodeM b

(<$) :: a -> DotCodeM b -> DotCodeM a

Show DotCode

Defined in Data.GraphViz.Printing

Methods

showsPrec :: Int -> DotCode -> ShowS

show :: DotCode -> String

showList :: [DotCode] -> ShowS

IsString DotCode

Defined in Data.GraphViz.Printing

Methods

fromString :: String -> DotCode

Applicative DotCodeM

Defined in Data.GraphViz.Printing

Methods

pure :: a -> DotCodeM a

(<*>) :: DotCodeM (a -> b) -> DotCodeM a -> DotCodeM b

liftA2 :: (a -> b -> c) -> DotCodeM a -> DotCodeM b -> DotCodeM c

(*>) :: DotCodeM a -> DotCodeM b -> DotCodeM b

(<*) :: DotCodeM a -> DotCodeM b -> DotCodeM a

Semigroup DotCode

Defined in Data.GraphViz.Printing

Methods

(<>) :: DotCode -> DotCode -> DotCode

sconcat :: NonEmpty DotCode -> DotCode

stimes :: Integral b => b -> DotCode -> DotCode

Monoid DotCode

Defined in Data.GraphViz.Printing

Methods

mempty :: DotCode

mappend :: DotCode -> DotCode -> DotCode

mconcat :: [DotCode] -> DotCode

runDotCode :: DotCode -> Doc

renderDot :: DotCode -> Text

Correctly render Graphviz output.

class PrintDot a where

A class used to correctly print parts of the Graphviz Dot language. Minimal implementation is unqtDot.

Minimal complete definition

unqtDot

Methods

unqtDot :: a -> DotCode

The unquoted representation, for use when composing values to produce a larger printing value.

toDot :: a -> DotCode

The actual quoted representation; this should be quoted if it contains characters not permitted a plain ID String, a number or it is not an HTML string. Defaults to unqtDot.

unqtListToDot :: [a] -> DotCode

The correct way of representing a list of this value when printed; not all Dot values require this to be implemented. Defaults to Haskell-like list representation.

listToDot :: [a] -> DotCode

The quoted form of unqtListToDot; defaults to wrapping double quotes around the result of unqtListToDot (since the default implementation has characters that must be quoted).

Instances

PrintDot Bool

Defined in Data.GraphViz.Printing

Methods

unqtDot :: Bool -> DotCode

toDot :: Bool -> DotCode

unqtListToDot :: [Bool] -> DotCode

listToDot :: [Bool] -> DotCode

PrintDot Char

Defined in Data.GraphViz.Printing

Methods

unqtDot :: Char -> DotCode

toDot :: Char -> DotCode

unqtListToDot :: [Char] -> DotCode

listToDot :: [Char] -> DotCode

PrintDot Double

Defined in Data.GraphViz.Printing

Methods

unqtDot :: Double -> DotCode

toDot :: Double -> DotCode

unqtListToDot :: [Double] -> DotCode

listToDot :: [Double] -> DotCode

PrintDot Int

Defined in Data.GraphViz.Printing

Methods

unqtDot :: Int -> DotCode

toDot :: Int -> DotCode

unqtListToDot :: [Int] -> DotCode

listToDot :: [Int] -> DotCode

PrintDot Integer

Defined in Data.GraphViz.Printing

Methods

unqtDot :: Integer -> DotCode

toDot :: Integer -> DotCode

unqtListToDot :: [Integer] -> DotCode

listToDot :: [Integer] -> DotCode

PrintDot Word8

Defined in Data.GraphViz.Printing

Methods

unqtDot :: Word8 -> DotCode

toDot :: Word8 -> DotCode

unqtListToDot :: [Word8] -> DotCode

listToDot :: [Word8] -> DotCode

PrintDot Word16

Defined in Data.GraphViz.Printing

Methods

unqtDot :: Word16 -> DotCode

toDot :: Word16 -> DotCode

unqtListToDot :: [Word16] -> DotCode

listToDot :: [Word16] -> DotCode

PrintDot Version

Ignores versionTags and assumes 'not . null . versionBranch' (usually you want 'length . versionBranch == 2').

Defined in Data.GraphViz.Printing

Methods

unqtDot :: Version -> DotCode

toDot :: Version -> DotCode

unqtListToDot :: [Version] -> DotCode

listToDot :: [Version] -> DotCode

PrintDot Text

Defined in Data.GraphViz.Printing

Methods

unqtDot :: Text -> DotCode

toDot :: Text -> DotCode

unqtListToDot :: [Text] -> DotCode

listToDot :: [Text] -> DotCode

PrintDot Text

Defined in Data.GraphViz.Printing

Methods

unqtDot :: Text -> DotCode

toDot :: Text -> DotCode

unqtListToDot :: [Text] -> DotCode

listToDot :: [Text] -> DotCode

PrintDot BrewerName

Defined in Data.GraphViz.Printing

Methods

unqtDot :: BrewerName -> DotCode

toDot :: BrewerName -> DotCode

unqtListToDot :: [BrewerName] -> DotCode

listToDot :: [BrewerName] -> DotCode

PrintDot BrewerScheme

Defined in Data.GraphViz.Printing

Methods

unqtDot :: BrewerScheme -> DotCode

toDot :: BrewerScheme -> DotCode

unqtListToDot :: [BrewerScheme] -> DotCode

listToDot :: [BrewerScheme] -> DotCode

PrintDot ColorScheme

Defined in Data.GraphViz.Printing

Methods

unqtDot :: ColorScheme -> DotCode

toDot :: ColorScheme -> DotCode

unqtListToDot :: [ColorScheme] -> DotCode

listToDot :: [ColorScheme] -> DotCode

PrintDot GraphvizCommand

Defined in Data.GraphViz.Commands.Available

Methods

unqtDot :: GraphvizCommand -> DotCode

toDot :: GraphvizCommand -> DotCode

unqtListToDot :: [GraphvizCommand] -> DotCode

listToDot :: [GraphvizCommand] -> DotCode

PrintDot CompassPoint

Defined in Data.GraphViz.Attributes.Internal

Methods

unqtDot :: CompassPoint -> DotCode

toDot :: CompassPoint -> DotCode

unqtListToDot :: [CompassPoint] -> DotCode

listToDot :: [CompassPoint] -> DotCode

PrintDot PortPos

Defined in Data.GraphViz.Attributes.Internal

Methods

unqtDot :: PortPos -> DotCode

toDot :: PortPos -> DotCode

unqtListToDot :: [PortPos] -> DotCode

listToDot :: [PortPos] -> DotCode

PrintDot PortName

Defined in Data.GraphViz.Attributes.Internal

Methods

unqtDot :: PortName -> DotCode

toDot :: PortName -> DotCode

unqtListToDot :: [PortName] -> DotCode

listToDot :: [PortName] -> DotCode

PrintDot X11Color

Defined in Data.GraphViz.Attributes.Colors.X11

Methods

unqtDot :: X11Color -> DotCode

toDot :: X11Color -> DotCode

unqtListToDot :: [X11Color] -> DotCode

listToDot :: [X11Color] -> DotCode

PrintDot SVGColor

Defined in Data.GraphViz.Attributes.Colors.SVG

Methods

unqtDot :: SVGColor -> DotCode

toDot :: SVGColor -> DotCode

unqtListToDot :: [SVGColor] -> DotCode

listToDot :: [SVGColor] -> DotCode

PrintDot WeightedColor

Defined in Data.GraphViz.Attributes.Colors

Methods

unqtDot :: WeightedColor -> DotCode

toDot :: WeightedColor -> DotCode

unqtListToDot :: [WeightedColor] -> DotCode

listToDot :: [WeightedColor] -> DotCode

PrintDot Color

Defined in Data.GraphViz.Attributes.Colors

Methods

unqtDot :: Color -> DotCode

toDot :: Color -> DotCode

unqtListToDot :: [Color] -> DotCode

listToDot :: [Color] -> DotCode

PrintDot Style

Defined in Data.GraphViz.Attributes.HTML

Methods

unqtDot :: Style -> DotCode

toDot :: Style -> DotCode

unqtListToDot :: [Style] -> DotCode

listToDot :: [Style] -> DotCode

PrintDot Side

Defined in Data.GraphViz.Attributes.HTML

Methods

unqtDot :: Side -> DotCode

toDot :: Side -> DotCode

unqtListToDot :: [Side] -> DotCode

listToDot :: [Side] -> DotCode

PrintDot Scale

Defined in Data.GraphViz.Attributes.HTML

Methods

unqtDot :: Scale -> DotCode

toDot :: Scale -> DotCode

unqtListToDot :: [Scale] -> DotCode

listToDot :: [Scale] -> DotCode

PrintDot CellFormat

Defined in Data.GraphViz.Attributes.HTML

Methods

unqtDot :: CellFormat -> DotCode

toDot :: CellFormat -> DotCode

unqtListToDot :: [CellFormat] -> DotCode

listToDot :: [CellFormat] -> DotCode

PrintDot VAlign

Defined in Data.GraphViz.Attributes.HTML

Methods

unqtDot :: VAlign -> DotCode

toDot :: VAlign -> DotCode

unqtListToDot :: [VAlign] -> DotCode

listToDot :: [VAlign] -> DotCode

PrintDot Align

Defined in Data.GraphViz.Attributes.HTML

Methods

unqtDot :: Align -> DotCode

toDot :: Align -> DotCode

unqtListToDot :: [Align] -> DotCode

listToDot :: [Align] -> DotCode

PrintDot Attribute

Defined in Data.GraphViz.Attributes.HTML

Methods

unqtDot :: Attribute -> DotCode

toDot :: Attribute -> DotCode

unqtListToDot :: [Attribute] -> DotCode

listToDot :: [Attribute] -> DotCode

PrintDot Img

Defined in Data.GraphViz.Attributes.HTML

Methods

unqtDot :: Img -> DotCode

toDot :: Img -> DotCode

unqtListToDot :: [Img] -> DotCode

listToDot :: [Img] -> DotCode

PrintDot Cell

Defined in Data.GraphViz.Attributes.HTML

Methods

unqtDot :: Cell -> DotCode

toDot :: Cell -> DotCode

unqtListToDot :: [Cell] -> DotCode

listToDot :: [Cell] -> DotCode

PrintDot Row

Defined in Data.GraphViz.Attributes.HTML

Methods

unqtDot :: Row -> DotCode

toDot :: Row -> DotCode

unqtListToDot :: [Row] -> DotCode

listToDot :: [Row] -> DotCode

PrintDot Table

Defined in Data.GraphViz.Attributes.HTML

Methods

unqtDot :: Table -> DotCode

toDot :: Table -> DotCode

unqtListToDot :: [Table] -> DotCode

listToDot :: [Table] -> DotCode

PrintDot Format

Defined in Data.GraphViz.Attributes.HTML

Methods

unqtDot :: Format -> DotCode

toDot :: Format -> DotCode

unqtListToDot :: [Format] -> DotCode

listToDot :: [Format] -> DotCode

PrintDot TextItem

Defined in Data.GraphViz.Attributes.HTML

Methods

unqtDot :: TextItem -> DotCode

toDot :: TextItem -> DotCode

unqtListToDot :: [TextItem] -> DotCode

listToDot :: [TextItem] -> DotCode

PrintDot Label

Defined in Data.GraphViz.Attributes.HTML

Methods

unqtDot :: Label -> DotCode

toDot :: Label -> DotCode

unqtListToDot :: [Label] -> DotCode

listToDot :: [Label] -> DotCode

PrintDot NodeSize

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: NodeSize -> DotCode

toDot :: NodeSize -> DotCode

unqtListToDot :: [NodeSize] -> DotCode

listToDot :: [NodeSize] -> DotCode

PrintDot Normalized

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: Normalized -> DotCode

toDot :: Normalized -> DotCode

unqtListToDot :: [Normalized] -> DotCode

listToDot :: [Normalized] -> DotCode

PrintDot Number

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: Number -> DotCode

toDot :: Number -> DotCode

unqtListToDot :: [Number] -> DotCode

listToDot :: [Number] -> DotCode

PrintDot Ratios

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: Ratios -> DotCode

toDot :: Ratios -> DotCode

unqtListToDot :: [Ratios] -> DotCode

listToDot :: [Ratios] -> DotCode

PrintDot Justification

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: Justification -> DotCode

toDot :: Justification -> DotCode

unqtListToDot :: [Justification] -> DotCode

listToDot :: [Justification] -> DotCode

PrintDot ScaleType

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: ScaleType -> DotCode

toDot :: ScaleType -> DotCode

unqtListToDot :: [ScaleType] -> DotCode

listToDot :: [ScaleType] -> DotCode

PrintDot Paths

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: Paths -> DotCode

toDot :: Paths -> DotCode

unqtListToDot :: [Paths] -> DotCode

listToDot :: [Paths] -> DotCode

PrintDot VerticalPlacement

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: VerticalPlacement -> DotCode

toDot :: VerticalPlacement -> DotCode

unqtListToDot :: [VerticalPlacement] -> DotCode

listToDot :: [VerticalPlacement] -> DotCode

PrintDot FocusType

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: FocusType -> DotCode

toDot :: FocusType -> DotCode

unqtListToDot :: [FocusType] -> DotCode

listToDot :: [FocusType] -> DotCode

PrintDot ViewPort

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: ViewPort -> DotCode

toDot :: ViewPort -> DotCode

unqtListToDot :: [ViewPort] -> DotCode

listToDot :: [ViewPort] -> DotCode

PrintDot StyleName

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: StyleName -> DotCode

toDot :: StyleName -> DotCode

unqtListToDot :: [StyleName] -> DotCode

listToDot :: [StyleName] -> DotCode

PrintDot StyleItem

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: StyleItem -> DotCode

toDot :: StyleItem -> DotCode

unqtListToDot :: [StyleItem] -> DotCode

listToDot :: [StyleItem] -> DotCode

PrintDot STStyle

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: STStyle -> DotCode

toDot :: STStyle -> DotCode

unqtListToDot :: [STStyle] -> DotCode

listToDot :: [STStyle] -> DotCode

PrintDot StartType

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: StartType -> DotCode

toDot :: StartType -> DotCode

unqtListToDot :: [StartType] -> DotCode

listToDot :: [StartType] -> DotCode

PrintDot SmoothType

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: SmoothType -> DotCode

toDot :: SmoothType -> DotCode

unqtListToDot :: [SmoothType] -> DotCode

listToDot :: [SmoothType] -> DotCode

PrintDot Shape

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: Shape -> DotCode

toDot :: Shape -> DotCode

unqtListToDot :: [Shape] -> DotCode

listToDot :: [Shape] -> DotCode

PrintDot RankDir

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: RankDir -> DotCode

toDot :: RankDir -> DotCode

unqtListToDot :: [RankDir] -> DotCode

listToDot :: [RankDir] -> DotCode

PrintDot RankType

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: RankType -> DotCode

toDot :: RankType -> DotCode

unqtListToDot :: [RankType] -> DotCode

listToDot :: [RankType] -> DotCode

PrintDot Root

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: Root -> DotCode

toDot :: Root -> DotCode

unqtListToDot :: [Root] -> DotCode

listToDot :: [Root] -> DotCode

PrintDot QuadType

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: QuadType -> DotCode

toDot :: QuadType -> DotCode

unqtListToDot :: [QuadType] -> DotCode

listToDot :: [QuadType] -> DotCode

PrintDot Spline

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: Spline -> DotCode

toDot :: Spline -> DotCode

unqtListToDot :: [Spline] -> DotCode

listToDot :: [Spline] -> DotCode

PrintDot PageDir

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: PageDir -> DotCode

toDot :: PageDir -> DotCode

unqtListToDot :: [PageDir] -> DotCode

listToDot :: [PageDir] -> DotCode

PrintDot EdgeType

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: EdgeType -> DotCode

toDot :: EdgeType -> DotCode

unqtListToDot :: [EdgeType] -> DotCode

listToDot :: [EdgeType] -> DotCode

PrintDot Pos

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: Pos -> DotCode

toDot :: Pos -> DotCode

unqtListToDot :: [Pos] -> DotCode

listToDot :: [Pos] -> DotCode

PrintDot PackMode

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: PackMode -> DotCode

toDot :: PackMode -> DotCode

unqtListToDot :: [PackMode] -> DotCode

listToDot :: [PackMode] -> DotCode

PrintDot Pack

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: Pack -> DotCode

toDot :: Pack -> DotCode

unqtListToDot :: [Pack] -> DotCode

listToDot :: [Pack] -> DotCode

PrintDot OutputMode

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: OutputMode -> DotCode

toDot :: OutputMode -> DotCode

unqtListToDot :: [OutputMode] -> DotCode

listToDot :: [OutputMode] -> DotCode

PrintDot Order

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: Order -> DotCode

toDot :: Order -> DotCode

unqtListToDot :: [Order] -> DotCode

listToDot :: [Order] -> DotCode

PrintDot LayerList

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: LayerList -> DotCode

toDot :: LayerList -> DotCode

unqtListToDot :: [LayerList] -> DotCode

listToDot :: [LayerList] -> DotCode

PrintDot LayerID

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: LayerID -> DotCode

toDot :: LayerID -> DotCode

unqtListToDot :: [LayerID] -> DotCode

listToDot :: [LayerID] -> DotCode

PrintDot LayerRangeElem

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: LayerRangeElem -> DotCode

toDot :: LayerRangeElem -> DotCode

unqtListToDot :: [LayerRangeElem] -> DotCode

listToDot :: [LayerRangeElem] -> DotCode

PrintDot LayerListSep

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: LayerListSep -> DotCode

toDot :: LayerListSep -> DotCode

unqtListToDot :: [LayerListSep] -> DotCode

listToDot :: [LayerListSep] -> DotCode

PrintDot LayerSep

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: LayerSep -> DotCode

toDot :: LayerSep -> DotCode

unqtListToDot :: [LayerSep] -> DotCode

listToDot :: [LayerSep] -> DotCode

PrintDot Overlap

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: Overlap -> DotCode

toDot :: Overlap -> DotCode

unqtListToDot :: [Overlap] -> DotCode

listToDot :: [Overlap] -> DotCode

PrintDot Point

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: Point -> DotCode

toDot :: Point -> DotCode

unqtListToDot :: [Point] -> DotCode

listToDot :: [Point] -> DotCode

PrintDot LabelScheme

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: LabelScheme -> DotCode

toDot :: LabelScheme -> DotCode

unqtListToDot :: [LabelScheme] -> DotCode

listToDot :: [LabelScheme] -> DotCode

PrintDot RecordField

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: RecordField -> DotCode

toDot :: RecordField -> DotCode

unqtListToDot :: [RecordField] -> DotCode

listToDot :: [RecordField] -> DotCode

PrintDot Label

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: Label -> DotCode

toDot :: Label -> DotCode

unqtListToDot :: [Label] -> DotCode

listToDot :: [Label] -> DotCode

PrintDot Model

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: Model -> DotCode

toDot :: Model -> DotCode

unqtListToDot :: [Model] -> DotCode

listToDot :: [Model] -> DotCode

PrintDot ModeType

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: ModeType -> DotCode

toDot :: ModeType -> DotCode

unqtListToDot :: [ModeType] -> DotCode

listToDot :: [ModeType] -> DotCode

PrintDot GraphSize

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: GraphSize -> DotCode

toDot :: GraphSize -> DotCode

unqtListToDot :: [GraphSize] -> DotCode

listToDot :: [GraphSize] -> DotCode

PrintDot SVGFontNames

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: SVGFontNames -> DotCode

toDot :: SVGFontNames -> DotCode

unqtListToDot :: [SVGFontNames] -> DotCode

listToDot :: [SVGFontNames] -> DotCode

PrintDot DPoint

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: DPoint -> DotCode

toDot :: DPoint -> DotCode

unqtListToDot :: [DPoint] -> DotCode

listToDot :: [DPoint] -> DotCode

PrintDot DEConstraints

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: DEConstraints -> DotCode

toDot :: DEConstraints -> DotCode

unqtListToDot :: [DEConstraints] -> DotCode

listToDot :: [DEConstraints] -> DotCode

PrintDot DirType

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: DirType -> DotCode

toDot :: DirType -> DotCode

unqtListToDot :: [DirType] -> DotCode

listToDot :: [DirType] -> DotCode

PrintDot ClusterMode

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: ClusterMode -> DotCode

toDot :: ClusterMode -> DotCode

unqtListToDot :: [ClusterMode] -> DotCode

listToDot :: [ClusterMode] -> DotCode

PrintDot Rect

Defined in Data.GraphViz.Attributes.Values

Methods

unqtDot :: Rect -> DotCode

toDot :: Rect -> DotCode

unqtListToDot :: [Rect] -> DotCode

listToDot :: [Rect] -> DotCode

PrintDot ArrowSide

Defined in Data.GraphViz.Attributes.Arrows

Methods

unqtDot :: ArrowSide -> DotCode

toDot :: ArrowSide -> DotCode

unqtListToDot :: [ArrowSide] -> DotCode

listToDot :: [ArrowSide] -> DotCode

PrintDot ArrowFill

Defined in Data.GraphViz.Attributes.Arrows

Methods

unqtDot :: ArrowFill -> DotCode

toDot :: ArrowFill -> DotCode

unqtListToDot :: [ArrowFill] -> DotCode

listToDot :: [ArrowFill] -> DotCode

PrintDot ArrowModifier

Defined in Data.GraphViz.Attributes.Arrows

Methods

unqtDot :: ArrowModifier -> DotCode

toDot :: ArrowModifier -> DotCode

unqtListToDot :: [ArrowModifier] -> DotCode

listToDot :: [ArrowModifier] -> DotCode

PrintDot ArrowShape

Defined in Data.GraphViz.Attributes.Arrows

Methods

unqtDot :: ArrowShape -> DotCode

toDot :: ArrowShape -> DotCode

unqtListToDot :: [ArrowShape] -> DotCode

listToDot :: [ArrowShape] -> DotCode

PrintDot ArrowType

Defined in Data.GraphViz.Attributes.Arrows

Methods

unqtDot :: ArrowType -> DotCode

toDot :: ArrowType -> DotCode

unqtListToDot :: [ArrowType] -> DotCode

listToDot :: [ArrowType] -> DotCode

PrintDot Attribute

Defined in Data.GraphViz.Attributes.Complete

Methods

unqtDot :: Attribute -> DotCode

toDot :: Attribute -> DotCode

unqtListToDot :: [Attribute] -> DotCode

listToDot :: [Attribute] -> DotCode

PrintDot GlobalAttributes

Defined in Data.GraphViz.Types.Internal.Common

Methods

unqtDot :: GlobalAttributes -> DotCode

toDot :: GlobalAttributes -> DotCode

unqtListToDot :: [GlobalAttributes] -> DotCode

listToDot :: [GlobalAttributes] -> DotCode

PrintDot GraphID

Defined in Data.GraphViz.Types.Internal.Common

Methods

unqtDot :: GraphID -> DotCode

toDot :: GraphID -> DotCode

unqtListToDot :: [GraphID] -> DotCode

listToDot :: [GraphID] -> DotCode

PrintDot a => PrintDot [a]

Defined in Data.GraphViz.Printing

Methods

unqtDot :: [a] -> DotCode

toDot :: [a] -> DotCode

unqtListToDot :: [[a]] -> DotCode

listToDot :: [[a]] -> DotCode

PrintDot n => PrintDot (DotEdge n)

Defined in Data.GraphViz.Types.Internal.Common

Methods

unqtDot :: DotEdge n -> DotCode

toDot :: DotEdge n -> DotCode

unqtListToDot :: [DotEdge n] -> DotCode

listToDot :: [DotEdge n] -> DotCode

PrintDot n => PrintDot (DotNode n)

Defined in Data.GraphViz.Types.Internal.Common

Methods

unqtDot :: DotNode n -> DotCode

toDot :: DotNode n -> DotCode

unqtListToDot :: [DotNode n] -> DotCode

listToDot :: [DotNode n] -> DotCode

PrintDot n => PrintDot (DotSubGraph n)

Defined in Data.GraphViz.Types.Canonical

Methods

unqtDot :: DotSubGraph n -> DotCode

toDot :: DotSubGraph n -> DotCode

unqtListToDot :: [DotSubGraph n] -> DotCode

listToDot :: [DotSubGraph n] -> DotCode

PrintDot n => PrintDot (DotStatements n)

Defined in Data.GraphViz.Types.Canonical

Methods

unqtDot :: DotStatements n -> DotCode

toDot :: DotStatements n -> DotCode

unqtListToDot :: [DotStatements n] -> DotCode

listToDot :: [DotStatements n] -> DotCode

PrintDot n => PrintDot (DotGraph n)

Defined in Data.GraphViz.Types.Canonical

Methods

unqtDot :: DotGraph n -> DotCode

toDot :: DotGraph n -> DotCode

unqtListToDot :: [DotGraph n] -> DotCode

listToDot :: [DotGraph n] -> DotCode

PrintDot n => PrintDot (DotSubGraph n)

Defined in Data.GraphViz.Types.Generalised

Methods

unqtDot :: DotSubGraph n -> DotCode

toDot :: DotSubGraph n -> DotCode

unqtListToDot :: [DotSubGraph n] -> DotCode

listToDot :: [DotSubGraph n] -> DotCode

PrintDot n => PrintDot (DotStatement n)

Defined in Data.GraphViz.Types.Generalised

Methods

unqtDot :: DotStatement n -> DotCode

toDot :: DotStatement n -> DotCode

unqtListToDot :: [DotStatement n] -> DotCode

listToDot :: [DotStatement n] -> DotCode

PrintDot n => PrintDot (DotGraph n)

Defined in Data.GraphViz.Types.Generalised

Methods

unqtDot :: DotGraph n -> DotCode

toDot :: DotGraph n -> DotCode

unqtListToDot :: [DotGraph n] -> DotCode

listToDot :: [DotGraph n] -> DotCode

PrintDot n => PrintDot (DotGraph n)

Uses the PrintDot instance for canonical DotGraphs.

Defined in Data.GraphViz.Types.Graph

Methods

unqtDot :: DotGraph n -> DotCode

toDot :: DotGraph n -> DotCode

unqtListToDot :: [DotGraph n] -> DotCode

listToDot :: [DotGraph n] -> DotCode

unqtText :: Text -> DotCode

For use with OverloadedStrings to avoid ambiguous type variable errors.

dotText :: Text -> DotCode

For use with OverloadedStrings to avoid ambiguous type variable errors.

printIt :: PrintDot a => a -> Text

Convert to DotCode; note that this has no indentation, as we can only have one of indentation and (possibly) infinite line lengths.

addQuotes :: Text -> DotCode -> DotCode

unqtEscaped :: [Char] -> Text -> DotCode

Escape the specified chars as well as ".

printEscaped :: [Char] -> Text -> DotCode

Escape the specified chars as well as " and then wrap the result in quotes.

wrap :: DotCode -> DotCode -> DotCode -> DotCode

commaDel :: (PrintDot a, PrintDot b) => a -> b -> DotCode

printField :: PrintDot a => Text -> a -> DotCode

angled :: DotCode -> DotCode

fslash :: DotCode

printColorScheme :: Bool -> ColorScheme -> DotCode