Data.GraphViz.Parsing

This module defines simple helper functions for use with Text.ParserCombinators.Poly.Lazy.

Note that the ParseDot instances for Bool, etc. match those specified for use with Graphviz (e.g. non-zero integers are equivalent to True).

You should not be using this module; rather, it is here for informative/documentative reasons. If you want to parse a Data.GraphViz.Types.DotRepr, you should use Data.GraphViz.Types.parseDotGraph rather than its ParseDot instance.

Re-exporting pertinent parts of Polyparse.

module Text.ParserCombinators.Poly.Lazy

The ParseDot class.

type Parse a = Parser Char a

A ReadS-like type alias.

class ParseDot a where

Methods

parseUnqt :: Parse a

parse :: Parse a

parseUnqtList :: Parse [a]

parseList :: Parse [a]

Instances

ParseDot Bool

ParseDot Char

ParseDot Double

ParseDot Int

ParseDot Word8

ParseDot X11Color

ParseDot Color

ParseDot BrewerName

ParseDot ColorScheme

ParseDot Ratios

ParseDot Justification

ParseDot ScaleType

ParseDot VerticalPlacement

ParseDot FocusType

ParseDot ViewPort

ParseDot CompassPoint

ParseDot PortPos

ParseDot StyleName

ParseDot StyleItem

ParseDot STStyle

ParseDot StartType

ParseDot SmoothType

ParseDot Shape

ParseDot RankDir

ParseDot RankType

ParseDot Root

ParseDot QuadType

ParseDot Spline

ParseDot PageDir

ParseDot EdgeType

ParseDot Pos

ParseDot PackMode

ParseDot Pack

ParseDot OutputMode

ParseDot LayerList

ParseDot LayerID

ParseDot LayerRange

ParseDot Overlap

ParseDot Point

ParseDot Label

ParseDot Model

ParseDot ModeType

ParseDot DPoint

ParseDot DEConstraints

ParseDot DirType

ParseDot ClusterMode

ParseDot Rect

ParseDot AspectType

ParseDot ArrowSide

ParseDot ArrowFill

ParseDot ArrowModifier

ParseDot ArrowShape

ParseDot ArrowType

ParseDot URL

ParseDot Attribute

ParseDot GraphID

ParseDot GlobalAttributes

ParseDot a => ParseDot [a]

ParseDot a => ParseDot (DotEdge a)

ParseDot a => ParseDot (DotNode a)

ParseDot a => ParseDot (DotSubGraph a)

ParseDot a => ParseDot (DotStatements a)

ParseDot a => ParseDot (DotGraph a)

ParseDot a => ParseDot (GDotSubGraph a)

ParseDot a => ParseDot (GDotStatement a)

ParseDot a => ParseDot (GDotGraph a)

parseIt :: ParseDot a => String -> (a, String)

Parse the required value, returning also the rest of the input String that hasn't been parsed.

Convenience parsing combinators.

onlyBool :: Parse Bool

Use this when you do not want numbers to be treated as Bool values.

stringBlock :: Parse String

numString :: Parse String

isNumString :: String -> Bool

Determine if this String represents a number.

isIntString :: String -> Bool

quotedString :: Parse String

Used when quotes are explicitly required;

parseAndSpace :: Parse a -> Parse a

string :: String -> Parse String

strings :: [String] -> Parse String

hasString :: String -> Parse Bool

character :: Char -> Parse Char

parseStrictFloat :: Parse Double

Parse a floating point number that actually contains decimals.

noneOf :: Eq a => [a] -> Parser a a

whitespace :: Parse String

whitespace' :: Parse String

optionalQuotedString :: String -> Parse String

optionalQuoted :: Parse a -> Parse a

quotedParse :: Parse a -> Parse a

orQuote :: Parse Char -> Parse Char

quoteChar :: Char

newline :: Parse String

newline' :: Parse ()

Consume all whitespace and newlines until a line with non-whitespace is reached. The whitespace on that line is not consumed.

parseComma :: Parse Char

tryParseList :: ParseDot a => Parse [a]

tryParseList' :: Parse [a] -> Parse [a]

skipToNewline :: Parse String

Parses and returns all characters up till the end of the line, then skips to the beginning of the next line.

parseField :: ParseDot a => String -> Parse a

parseFields :: ParseDot a => [String] -> Parse a

parseFieldBool :: String -> Parse Bool

parseFieldsBool :: [String] -> Parse Bool

parseFieldDef :: ParseDot a => a -> String -> Parse a

For Bool-like data structures where the presence of the field name without a value implies a default value.

parseFieldsDef :: ParseDot a => a -> [String] -> Parse a

commaSep :: (ParseDot a, ParseDot b) => Parse (a, b)

commaSepUnqt :: (ParseDot a, ParseDot b) => Parse (a, b)

commaSep' :: Parse a -> Parse b -> Parse (a, b)

stringRep :: a -> String -> Parse a

stringReps :: a -> [String] -> Parse a

Pre-processing of Dot code to remove comments, etc.

preProcess :: String -> String

Remove unparseable features of Dot, such as comments and multi-line strings (which are converted to single-line strings).