{-# LANGUAGE CPP, OverloadedStrings #-}
module Data.GraphViz.Attributes.Complete
(
Attribute(..)
, Attributes
, sameAttribute
, defaultAttributeValue
, rmUnwantedAttributes
, usedByGraphs
, usedBySubGraphs
, usedByClusters
, usedByNodes
, usedByEdges
, validUnknown
, AttributeName
, CustomAttribute
, customAttribute
, isCustom
, isSpecifiedCustom
, customValue
, customName
, findCustoms
, findSpecifiedCustom
, deleteCustomAttributes
, deleteSpecifiedCustom
, module Data.GraphViz.Attributes.Colors
, Number (..)
, EscString
, Label(..)
, VerticalPlacement(..)
, LabelScheme(..)
, SVGFontNames(..)
, RecordFields
, RecordField(..)
, Rect(..)
, Justification(..)
, Shape(..)
, Paths(..)
, ScaleType(..)
, NodeSize(..)
, DirType(..)
, EdgeType(..)
, PortName(..)
, PortPos(..)
, CompassPoint(..)
, ArrowType(..)
, ArrowShape(..)
, ArrowModifier(..)
, ArrowFill(..)
, ArrowSide(..)
, noMods
, openMod
, Point(..)
, createPoint
, Pos(..)
, Spline(..)
, DPoint(..)
, Normalized (..)
, GraphvizCommand(..)
, GraphSize(..)
, ClusterMode(..)
, Model(..)
, Overlap(..)
, Root(..)
, Order(..)
, OutputMode(..)
, Pack(..)
, PackMode(..)
, PageDir(..)
, QuadType(..)
, RankType(..)
, RankDir(..)
, StartType(..)
, ViewPort(..)
, FocusType(..)
, Ratios(..)
, ModeType(..)
, DEConstraints(..)
, LayerSep(..)
, LayerListSep(..)
, LayerRange
, LayerRangeElem(..)
, LayerID(..)
, LayerList(..)
, SmoothType(..)
, STStyle(..)
, StyleItem(..)
, StyleName(..)
) where
import Data.GraphViz.Attributes.Arrows
import Data.GraphViz.Attributes.Colors
import Data.GraphViz.Attributes.Colors.X11 (X11Color(Black))
import Data.GraphViz.Attributes.Internal
import Data.GraphViz.Attributes.Values
import Data.GraphViz.Commands.Available
import Data.GraphViz.Exception (GraphvizException(NotCustomAttr),
throw)
import Data.GraphViz.Internal.State (getsGS, parseStrictly)
import Data.GraphViz.Internal.Util (bool, isIDString, keywords,
restIDString)
import Data.GraphViz.Parsing
import Data.GraphViz.Printing
import Data.List (partition)
import Data.Maybe (isNothing)
import qualified Data.Set as S
import Data.Text.Lazy (Text)
import qualified Data.Text.Lazy as T
import Data.Version (Version(..))
import Data.Word (Word16)
#if !MIN_VERSION_base (4,13,0)
import Data.Monoid ((<>))
#endif
data Attribute
= Damping Double
| K Double
| URL EscString
| Area Double
| ArrowHead ArrowType
| ArrowSize Double
| ArrowTail ArrowType
| Background Text
| BoundingBox Rect
| BgColor ColorList
| Center Bool
| ClusterRank ClusterMode
| Color ColorList
| ColorScheme ColorScheme
| Text
| Compound Bool
| Concentrate Bool
| Constraint Bool
| Decorate Bool
| DefaultDist Double
| Dim Int
| Dimen Int
| Dir DirType
| DirEdgeConstraints DEConstraints
| Distortion Double
| DPI Double
| EdgeURL EscString
| EdgeTarget EscString
| EdgeTooltip EscString
| Epsilon Double
| ESep DPoint
| FillColor ColorList
| FixedSize NodeSize
| FontColor Color
| FontName Text
| FontNames SVGFontNames
| FontPath Paths
| FontSize Double
| ForceLabels Bool
| GradientAngle Int
| Group Text
| HeadURL EscString
| Head_LP Point
| HeadClip Bool
| HeadLabel Label
| HeadPort PortPos
| HeadTarget EscString
| HeadTooltip EscString
| Height Double
| ID EscString
| Image Text
| ImagePath Paths
| ImageScale ScaleType
| InputScale Double
| Label Label
| LabelURL EscString
| LabelScheme LabelScheme
| LabelAngle Double
| LabelDistance Double
| LabelFloat Bool
| LabelFontColor Color
| LabelFontName Text
| LabelFontSize Double
| LabelJust Justification
| LabelLoc VerticalPlacement
| LabelTarget EscString
| LabelTooltip EscString
| Landscape Bool
| Layer LayerRange
| LayerListSep LayerListSep
| Layers LayerList
| LayerSelect LayerRange
| LayerSep LayerSep
| Layout GraphvizCommand
| Len Double
| Levels Int
| LevelsGap Double
| LHead Text
| LHeight Double
| LPos Point
| LTail Text
| LWidth Double
| Margin DPoint
| MaxIter Int
| MCLimit Double
| MinDist Double
| MinLen Int
| Mode ModeType
| Model Model
| Mosek Bool
| NodeSep Double
| NoJustify Bool
| Normalize Normalized
| NoTranslate Bool
| Nslimit Double
| Nslimit1 Double
| Ordering Order
| Orientation Double
| OutputOrder OutputMode
| Overlap Overlap
| OverlapScaling Double
| OverlapShrink Bool
| Pack Pack
| PackMode PackMode
| Pad DPoint
| Page Point
| PageDir PageDir
| PenColor Color
| PenWidth Double
| Peripheries Int
| Pin Bool
| Pos Pos
| QuadTree QuadType
| Quantum Double
| Rank RankType
| RankDir RankDir
| RankSep [Double]
| Ratio Ratios
| Rects [Rect]
| Regular Bool
| ReMinCross Bool
| RepulsiveForce Double
| Root Root
| Rotate Int
| Rotation Double
| SameHead Text
| SameTail Text
| SamplePoints Int
| Scale DPoint
| SearchSize Int
| Sep DPoint
| Shape Shape
| ShowBoxes Int
| Sides Int
| Size GraphSize
| Skew Double
| Smoothing SmoothType
| SortV Word16
| Splines EdgeType
| Start StartType
| Style [StyleItem]
| StyleSheet Text
| TailURL EscString
| Tail_LP Point
| TailClip Bool
| TailLabel Label
| TailPort PortPos
| TailTarget EscString
| TailTooltip EscString
| Target EscString
| Tooltip EscString
| TrueColor Bool
| Vertices [Point]
| ViewPort ViewPort
| VoroMargin Double
| Weight Number
| Width Double
| XDotVersion Version
| XLabel Label
| XLP Point
| UnknownAttribute AttributeName Text
deriving (Attribute -> Attribute -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Attribute -> Attribute -> Bool
$c/= :: Attribute -> Attribute -> Bool
== :: Attribute -> Attribute -> Bool
$c== :: Attribute -> Attribute -> Bool
Eq, Eq Attribute
Attribute -> Attribute -> Bool
Attribute -> Attribute -> Ordering
Attribute -> Attribute -> Attribute
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: Attribute -> Attribute -> Attribute
$cmin :: Attribute -> Attribute -> Attribute
max :: Attribute -> Attribute -> Attribute
$cmax :: Attribute -> Attribute -> Attribute
>= :: Attribute -> Attribute -> Bool
$c>= :: Attribute -> Attribute -> Bool
> :: Attribute -> Attribute -> Bool
$c> :: Attribute -> Attribute -> Bool
<= :: Attribute -> Attribute -> Bool
$c<= :: Attribute -> Attribute -> Bool
< :: Attribute -> Attribute -> Bool
$c< :: Attribute -> Attribute -> Bool
compare :: Attribute -> Attribute -> Ordering
$ccompare :: Attribute -> Attribute -> Ordering
Ord, Int -> Attribute -> ShowS
[Attribute] -> ShowS
Attribute -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Attribute] -> ShowS
$cshowList :: [Attribute] -> ShowS
show :: Attribute -> String
$cshow :: Attribute -> String
showsPrec :: Int -> Attribute -> ShowS
$cshowsPrec :: Int -> Attribute -> ShowS
Show, ReadPrec [Attribute]
ReadPrec Attribute
Int -> ReadS Attribute
ReadS [Attribute]
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [Attribute]
$creadListPrec :: ReadPrec [Attribute]
readPrec :: ReadPrec Attribute
$creadPrec :: ReadPrec Attribute
readList :: ReadS [Attribute]
$creadList :: ReadS [Attribute]
readsPrec :: Int -> ReadS Attribute
$creadsPrec :: Int -> ReadS Attribute
Read)
type Attributes = [Attribute]
type AttributeName = Text
instance PrintDot Attribute where
unqtDot :: Attribute -> DotCode
unqtDot (Damping Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"Damping" Double
v
unqtDot (K Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"K" Double
v
unqtDot (URL AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"URL" AttributeName
v
unqtDot (Area Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"area" Double
v
unqtDot (ArrowHead ArrowType
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"arrowhead" ArrowType
v
unqtDot (ArrowSize Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"arrowsize" Double
v
unqtDot (ArrowTail ArrowType
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"arrowtail" ArrowType
v
unqtDot (Background AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"_background" AttributeName
v
unqtDot (BoundingBox Rect
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"bb" Rect
v
unqtDot (BgColor ColorList
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"bgcolor" ColorList
v
unqtDot (Center Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"center" Bool
v
unqtDot (ClusterRank ClusterMode
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"clusterrank" ClusterMode
v
unqtDot (Color ColorList
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"color" ColorList
v
unqtDot (ColorScheme ColorScheme
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"colorscheme" ColorScheme
v
unqtDot (Comment AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"comment" AttributeName
v
unqtDot (Compound Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"compound" Bool
v
unqtDot (Concentrate Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"concentrate" Bool
v
unqtDot (Constraint Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"constraint" Bool
v
unqtDot (Decorate Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"decorate" Bool
v
unqtDot (DefaultDist Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"defaultdist" Double
v
unqtDot (Dim Int
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"dim" Int
v
unqtDot (Dimen Int
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"dimen" Int
v
unqtDot (Dir DirType
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"dir" DirType
v
unqtDot (DirEdgeConstraints DEConstraints
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"diredgeconstraints" DEConstraints
v
unqtDot (Distortion Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"distortion" Double
v
unqtDot (DPI Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"dpi" Double
v
unqtDot (EdgeURL AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"edgeURL" AttributeName
v
unqtDot (EdgeTarget AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"edgetarget" AttributeName
v
unqtDot (EdgeTooltip AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"edgetooltip" AttributeName
v
unqtDot (Epsilon Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"epsilon" Double
v
unqtDot (ESep DPoint
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"esep" DPoint
v
unqtDot (FillColor ColorList
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"fillcolor" ColorList
v
unqtDot (FixedSize NodeSize
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"fixedsize" NodeSize
v
unqtDot (FontColor Color
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"fontcolor" Color
v
unqtDot (FontName AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"fontname" AttributeName
v
unqtDot (FontNames SVGFontNames
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"fontnames" SVGFontNames
v
unqtDot (FontPath Paths
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"fontpath" Paths
v
unqtDot (FontSize Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"fontsize" Double
v
unqtDot (ForceLabels Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"forcelabels" Bool
v
unqtDot (GradientAngle Int
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"gradientangle" Int
v
unqtDot (Group AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"group" AttributeName
v
unqtDot (HeadURL AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"headURL" AttributeName
v
unqtDot (Head_LP Point
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"head_lp" Point
v
unqtDot (HeadClip Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"headclip" Bool
v
unqtDot (HeadLabel Label
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"headlabel" Label
v
unqtDot (HeadPort PortPos
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"headport" PortPos
v
unqtDot (HeadTarget AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"headtarget" AttributeName
v
unqtDot (HeadTooltip AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"headtooltip" AttributeName
v
unqtDot (Height Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"height" Double
v
unqtDot (ID AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"id" AttributeName
v
unqtDot (Image AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"image" AttributeName
v
unqtDot (ImagePath Paths
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"imagepath" Paths
v
unqtDot (ImageScale ScaleType
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"imagescale" ScaleType
v
unqtDot (InputScale Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"inputscale" Double
v
unqtDot (Label Label
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"label" Label
v
unqtDot (LabelURL AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"labelURL" AttributeName
v
unqtDot (LabelScheme LabelScheme
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"label_scheme" LabelScheme
v
unqtDot (LabelAngle Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"labelangle" Double
v
unqtDot (LabelDistance Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"labeldistance" Double
v
unqtDot (LabelFloat Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"labelfloat" Bool
v
unqtDot (LabelFontColor Color
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"labelfontcolor" Color
v
unqtDot (LabelFontName AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"labelfontname" AttributeName
v
unqtDot (LabelFontSize Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"labelfontsize" Double
v
unqtDot (LabelJust Justification
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"labeljust" Justification
v
unqtDot (LabelLoc VerticalPlacement
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"labelloc" VerticalPlacement
v
unqtDot (LabelTarget AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"labeltarget" AttributeName
v
unqtDot (LabelTooltip AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"labeltooltip" AttributeName
v
unqtDot (Landscape Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"landscape" Bool
v
unqtDot (Layer LayerRange
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"layer" LayerRange
v
unqtDot (LayerListSep LayerListSep
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"layerlistsep" LayerListSep
v
unqtDot (Layers LayerList
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"layers" LayerList
v
unqtDot (LayerSelect LayerRange
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"layerselect" LayerRange
v
unqtDot (LayerSep LayerSep
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"layersep" LayerSep
v
unqtDot (Layout GraphvizCommand
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"layout" GraphvizCommand
v
unqtDot (Len Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"len" Double
v
unqtDot (Levels Int
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"levels" Int
v
unqtDot (LevelsGap Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"levelsgap" Double
v
unqtDot (LHead AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"lhead" AttributeName
v
unqtDot (LHeight Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"LHeight" Double
v
unqtDot (LPos Point
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"lp" Point
v
unqtDot (LTail AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"ltail" AttributeName
v
unqtDot (LWidth Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"lwidth" Double
v
unqtDot (Margin DPoint
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"margin" DPoint
v
unqtDot (MaxIter Int
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"maxiter" Int
v
unqtDot (MCLimit Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"mclimit" Double
v
unqtDot (MinDist Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"mindist" Double
v
unqtDot (MinLen Int
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"minlen" Int
v
unqtDot (Mode ModeType
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"mode" ModeType
v
unqtDot (Model Model
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"model" Model
v
unqtDot (Mosek Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"mosek" Bool
v
unqtDot (NodeSep Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"nodesep" Double
v
unqtDot (NoJustify Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"nojustify" Bool
v
unqtDot (Normalize Normalized
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"normalize" Normalized
v
unqtDot (NoTranslate Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"notranslate" Bool
v
unqtDot (Nslimit Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"nslimit" Double
v
unqtDot (Nslimit1 Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"nslimit1" Double
v
unqtDot (Ordering Order
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"ordering" Order
v
unqtDot (Orientation Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"orientation" Double
v
unqtDot (OutputOrder OutputMode
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"outputorder" OutputMode
v
unqtDot (Overlap Overlap
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"overlap" Overlap
v
unqtDot (OverlapScaling Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"overlap_scaling" Double
v
unqtDot (OverlapShrink Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"overlap_shrink" Bool
v
unqtDot (Pack Pack
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"pack" Pack
v
unqtDot (PackMode PackMode
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"packmode" PackMode
v
unqtDot (Pad DPoint
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"pad" DPoint
v
unqtDot (Page Point
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"page" Point
v
unqtDot (PageDir PageDir
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"pagedir" PageDir
v
unqtDot (PenColor Color
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"pencolor" Color
v
unqtDot (PenWidth Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"penwidth" Double
v
unqtDot (Peripheries Int
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"peripheries" Int
v
unqtDot (Pin Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"pin" Bool
v
unqtDot (Pos Pos
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"pos" Pos
v
unqtDot (QuadTree QuadType
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"quadtree" QuadType
v
unqtDot (Quantum Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"quantum" Double
v
unqtDot (Rank RankType
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"rank" RankType
v
unqtDot (RankDir RankDir
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"rankdir" RankDir
v
unqtDot (RankSep [Double]
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"ranksep" [Double]
v
unqtDot (Ratio Ratios
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"ratio" Ratios
v
unqtDot (Rects [Rect]
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"rects" [Rect]
v
unqtDot (Regular Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"regular" Bool
v
unqtDot (ReMinCross Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"remincross" Bool
v
unqtDot (RepulsiveForce Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"repulsiveforce" Double
v
unqtDot (Root Root
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"root" Root
v
unqtDot (Rotate Int
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"rotate" Int
v
unqtDot (Rotation Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"rotation" Double
v
unqtDot (SameHead AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"samehead" AttributeName
v
unqtDot (SameTail AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"sametail" AttributeName
v
unqtDot (SamplePoints Int
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"samplepoints" Int
v
unqtDot (Scale DPoint
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"scale" DPoint
v
unqtDot (SearchSize Int
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"searchsize" Int
v
unqtDot (Sep DPoint
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"sep" DPoint
v
unqtDot (Shape Shape
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"shape" Shape
v
unqtDot (ShowBoxes Int
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"showboxes" Int
v
unqtDot (Sides Int
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"sides" Int
v
unqtDot (Size GraphSize
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"size" GraphSize
v
unqtDot (Skew Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"skew" Double
v
unqtDot (Smoothing SmoothType
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"smoothing" SmoothType
v
unqtDot (SortV Word16
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"sortv" Word16
v
unqtDot (Splines EdgeType
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"splines" EdgeType
v
unqtDot (Start StartType
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"start" StartType
v
unqtDot (Style [StyleItem]
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"style" [StyleItem]
v
unqtDot (StyleSheet AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"stylesheet" AttributeName
v
unqtDot (TailURL AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"tailURL" AttributeName
v
unqtDot (Tail_LP Point
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"tail_lp" Point
v
unqtDot (TailClip Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"tailclip" Bool
v
unqtDot (TailLabel Label
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"taillabel" Label
v
unqtDot (TailPort PortPos
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"tailport" PortPos
v
unqtDot (TailTarget AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"tailtarget" AttributeName
v
unqtDot (TailTooltip AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"tailtooltip" AttributeName
v
unqtDot (Target AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"target" AttributeName
v
unqtDot (Tooltip AttributeName
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"tooltip" AttributeName
v
unqtDot (TrueColor Bool
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"truecolor" Bool
v
unqtDot (Vertices [Point]
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"vertices" [Point]
v
unqtDot (ViewPort ViewPort
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"viewport" ViewPort
v
unqtDot (VoroMargin Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"voro_margin" Double
v
unqtDot (Weight Number
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"weight" Number
v
unqtDot (Width Double
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"width" Double
v
unqtDot (XDotVersion Version
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"xdotversion" Version
v
unqtDot (XLabel Label
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"xlabel" Label
v
unqtDot (XLP Point
v) = forall a. PrintDot a => AttributeName -> a -> DotCode
printField AttributeName
"xlp" Point
v
unqtDot (UnknownAttribute AttributeName
a AttributeName
v) = forall a. PrintDot a => a -> DotCode
toDot AttributeName
a forall a. Semigroup a => a -> a -> a
<> forall (m :: * -> *). Applicative m => m Doc
equals forall a. Semigroup a => a -> a -> a
<> forall a. PrintDot a => a -> DotCode
toDot AttributeName
v
listToDot :: [Attribute] -> DotCode
listToDot = forall a. PrintDot a => [a] -> DotCode
unqtListToDot
instance ParseDot Attribute where
parseUnqt :: Parse Attribute
parseUnqt = forall a. [(String, Parse a)] -> Parse a
stringParse (forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat [ forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
Damping String
"Damping"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
K String
"K"
, forall a.
ParseDot a =>
(a -> Attribute) -> [String] -> [(String, Parse Attribute)]
parseFields AttributeName -> Attribute
URL [String
"URL", String
"href"]
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
Area String
"area"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField ArrowType -> Attribute
ArrowHead String
"arrowhead"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
ArrowSize String
"arrowsize"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField ArrowType -> Attribute
ArrowTail String
"arrowtail"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
Background String
"_background"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Rect -> Attribute
BoundingBox String
"bb"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField ColorList -> Attribute
BgColor String
"bgcolor"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
Center String
"center"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField ClusterMode -> Attribute
ClusterRank String
"clusterrank"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField ColorList -> Attribute
Color String
"color"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField ColorScheme -> Attribute
ColorScheme String
"colorscheme"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
Comment String
"comment"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
Compound String
"compound"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
Concentrate String
"concentrate"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
Constraint String
"constraint"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
Decorate String
"decorate"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
DefaultDist String
"defaultdist"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Int -> Attribute
Dim String
"dim"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Int -> Attribute
Dimen String
"dimen"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField DirType -> Attribute
Dir String
"dir"
, forall a.
ParseDot a =>
(a -> Attribute) -> a -> String -> [(String, Parse Attribute)]
parseFieldDef DEConstraints -> Attribute
DirEdgeConstraints DEConstraints
EdgeConstraints String
"diredgeconstraints"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
Distortion String
"distortion"
, forall a.
ParseDot a =>
(a -> Attribute) -> [String] -> [(String, Parse Attribute)]
parseFields Double -> Attribute
DPI [String
"dpi", String
"resolution"]
, forall a.
ParseDot a =>
(a -> Attribute) -> [String] -> [(String, Parse Attribute)]
parseFields AttributeName -> Attribute
EdgeURL [String
"edgeURL", String
"edgehref"]
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
EdgeTarget String
"edgetarget"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
EdgeTooltip String
"edgetooltip"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
Epsilon String
"epsilon"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField DPoint -> Attribute
ESep String
"esep"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField ColorList -> Attribute
FillColor String
"fillcolor"
, forall a.
ParseDot a =>
(a -> Attribute) -> a -> String -> [(String, Parse Attribute)]
parseFieldDef NodeSize -> Attribute
FixedSize NodeSize
SetNodeSize String
"fixedsize"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Color -> Attribute
FontColor String
"fontcolor"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
FontName String
"fontname"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField SVGFontNames -> Attribute
FontNames String
"fontnames"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Paths -> Attribute
FontPath String
"fontpath"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
FontSize String
"fontsize"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
ForceLabels String
"forcelabels"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Int -> Attribute
GradientAngle String
"gradientangle"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
Group String
"group"
, forall a.
ParseDot a =>
(a -> Attribute) -> [String] -> [(String, Parse Attribute)]
parseFields AttributeName -> Attribute
HeadURL [String
"headURL", String
"headhref"]
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Point -> Attribute
Head_LP String
"head_lp"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
HeadClip String
"headclip"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Label -> Attribute
HeadLabel String
"headlabel"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField PortPos -> Attribute
HeadPort String
"headport"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
HeadTarget String
"headtarget"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
HeadTooltip String
"headtooltip"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
Height String
"height"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
ID String
"id"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
Image String
"image"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Paths -> Attribute
ImagePath String
"imagepath"
, forall a.
ParseDot a =>
(a -> Attribute) -> a -> String -> [(String, Parse Attribute)]
parseFieldDef ScaleType -> Attribute
ImageScale ScaleType
UniformScale String
"imagescale"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
InputScale String
"inputscale"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Label -> Attribute
Label String
"label"
, forall a.
ParseDot a =>
(a -> Attribute) -> [String] -> [(String, Parse Attribute)]
parseFields AttributeName -> Attribute
LabelURL [String
"labelURL", String
"labelhref"]
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField LabelScheme -> Attribute
LabelScheme String
"label_scheme"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
LabelAngle String
"labelangle"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
LabelDistance String
"labeldistance"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
LabelFloat String
"labelfloat"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Color -> Attribute
LabelFontColor String
"labelfontcolor"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
LabelFontName String
"labelfontname"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
LabelFontSize String
"labelfontsize"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Justification -> Attribute
LabelJust String
"labeljust"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField VerticalPlacement -> Attribute
LabelLoc String
"labelloc"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
LabelTarget String
"labeltarget"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
LabelTooltip String
"labeltooltip"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
Landscape String
"landscape"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField LayerRange -> Attribute
Layer String
"layer"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField LayerListSep -> Attribute
LayerListSep String
"layerlistsep"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField LayerList -> Attribute
Layers String
"layers"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField LayerRange -> Attribute
LayerSelect String
"layerselect"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField LayerSep -> Attribute
LayerSep String
"layersep"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField GraphvizCommand -> Attribute
Layout String
"layout"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
Len String
"len"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Int -> Attribute
Levels String
"levels"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
LevelsGap String
"levelsgap"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
LHead String
"lhead"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
LHeight String
"LHeight"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Point -> Attribute
LPos String
"lp"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
LTail String
"ltail"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
LWidth String
"lwidth"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField DPoint -> Attribute
Margin String
"margin"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Int -> Attribute
MaxIter String
"maxiter"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
MCLimit String
"mclimit"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
MinDist String
"mindist"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Int -> Attribute
MinLen String
"minlen"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField ModeType -> Attribute
Mode String
"mode"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Model -> Attribute
Model String
"model"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
Mosek String
"mosek"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
NodeSep String
"nodesep"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
NoJustify String
"nojustify"
, forall a.
ParseDot a =>
(a -> Attribute) -> a -> String -> [(String, Parse Attribute)]
parseFieldDef Normalized -> Attribute
Normalize Normalized
IsNormalized String
"normalize"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
NoTranslate String
"notranslate"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
Nslimit String
"nslimit"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
Nslimit1 String
"nslimit1"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Order -> Attribute
Ordering String
"ordering"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
Orientation String
"orientation"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField OutputMode -> Attribute
OutputOrder String
"outputorder"
, forall a.
ParseDot a =>
(a -> Attribute) -> a -> String -> [(String, Parse Attribute)]
parseFieldDef Overlap -> Attribute
Overlap Overlap
KeepOverlaps String
"overlap"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
OverlapScaling String
"overlap_scaling"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
OverlapShrink String
"overlap_shrink"
, forall a.
ParseDot a =>
(a -> Attribute) -> a -> String -> [(String, Parse Attribute)]
parseFieldDef Pack -> Attribute
Pack Pack
DoPack String
"pack"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField PackMode -> Attribute
PackMode String
"packmode"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField DPoint -> Attribute
Pad String
"pad"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Point -> Attribute
Page String
"page"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField PageDir -> Attribute
PageDir String
"pagedir"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Color -> Attribute
PenColor String
"pencolor"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
PenWidth String
"penwidth"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Int -> Attribute
Peripheries String
"peripheries"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
Pin String
"pin"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Pos -> Attribute
Pos String
"pos"
, forall a.
ParseDot a =>
(a -> Attribute) -> a -> String -> [(String, Parse Attribute)]
parseFieldDef QuadType -> Attribute
QuadTree QuadType
NormalQT String
"quadtree"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
Quantum String
"quantum"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField RankType -> Attribute
Rank String
"rank"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField RankDir -> Attribute
RankDir String
"rankdir"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField [Double] -> Attribute
RankSep String
"ranksep"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Ratios -> Attribute
Ratio String
"ratio"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField [Rect] -> Attribute
Rects String
"rects"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
Regular String
"regular"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
ReMinCross String
"remincross"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
RepulsiveForce String
"repulsiveforce"
, forall a.
ParseDot a =>
(a -> Attribute) -> a -> String -> [(String, Parse Attribute)]
parseFieldDef Root -> Attribute
Root Root
IsCentral String
"root"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Int -> Attribute
Rotate String
"rotate"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
Rotation String
"rotation"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
SameHead String
"samehead"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
SameTail String
"sametail"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Int -> Attribute
SamplePoints String
"samplepoints"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField DPoint -> Attribute
Scale String
"scale"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Int -> Attribute
SearchSize String
"searchsize"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField DPoint -> Attribute
Sep String
"sep"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Shape -> Attribute
Shape String
"shape"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Int -> Attribute
ShowBoxes String
"showboxes"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Int -> Attribute
Sides String
"sides"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField GraphSize -> Attribute
Size String
"size"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
Skew String
"skew"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField SmoothType -> Attribute
Smoothing String
"smoothing"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Word16 -> Attribute
SortV String
"sortv"
, forall a.
ParseDot a =>
(a -> Attribute) -> a -> String -> [(String, Parse Attribute)]
parseFieldDef EdgeType -> Attribute
Splines EdgeType
SplineEdges String
"splines"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField StartType -> Attribute
Start String
"start"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField [StyleItem] -> Attribute
Style String
"style"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
StyleSheet String
"stylesheet"
, forall a.
ParseDot a =>
(a -> Attribute) -> [String] -> [(String, Parse Attribute)]
parseFields AttributeName -> Attribute
TailURL [String
"tailURL", String
"tailhref"]
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Point -> Attribute
Tail_LP String
"tail_lp"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
TailClip String
"tailclip"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Label -> Attribute
TailLabel String
"taillabel"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField PortPos -> Attribute
TailPort String
"tailport"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
TailTarget String
"tailtarget"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
TailTooltip String
"tailtooltip"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
Target String
"target"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField AttributeName -> Attribute
Tooltip String
"tooltip"
, (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool Bool -> Attribute
TrueColor String
"truecolor"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField [Point] -> Attribute
Vertices String
"vertices"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField ViewPort -> Attribute
ViewPort String
"viewport"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
VoroMargin String
"voro_margin"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Number -> Attribute
Weight String
"weight"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Double -> Attribute
Width String
"width"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Version -> Attribute
XDotVersion String
"xdotversion"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Label -> Attribute
XLabel String
"xlabel"
, forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField Point -> Attribute
XLP String
"xlp"
])
forall s a. Parser s a -> Parser s a -> Parser s a
`onFail`
do AttributeName
attrName <- Parse AttributeName
stringBlock
forall a.
ParseDot a =>
String -> (a -> Attribute) -> Parse Attribute
liftEqParse (String
"UnknownAttribute (" forall a. [a] -> [a] -> [a]
++ AttributeName -> String
T.unpack AttributeName
attrName forall a. [a] -> [a] -> [a]
++ String
")")
(AttributeName -> AttributeName -> Attribute
UnknownAttribute AttributeName
attrName)
parse :: Parse Attribute
parse = forall a. ParseDot a => Parse a
parseUnqt
parseList :: Parse [Attribute]
parseList = forall a. ParseDot a => Parse [a]
parseUnqtList
usedByGraphs :: Attribute -> Bool
usedByGraphs :: Attribute -> Bool
usedByGraphs Damping{} = Bool
True
usedByGraphs K{} = Bool
True
usedByGraphs URL{} = Bool
True
usedByGraphs Background{} = Bool
True
usedByGraphs BoundingBox{} = Bool
True
usedByGraphs BgColor{} = Bool
True
usedByGraphs Center{} = Bool
True
usedByGraphs ClusterRank{} = Bool
True
usedByGraphs ColorScheme{} = Bool
True
usedByGraphs Comment{} = Bool
True
usedByGraphs Compound{} = Bool
True
usedByGraphs Concentrate{} = Bool
True
usedByGraphs DefaultDist{} = Bool
True
usedByGraphs Dim{} = Bool
True
usedByGraphs Dimen{} = Bool
True
usedByGraphs DirEdgeConstraints{} = Bool
True
usedByGraphs DPI{} = Bool
True
usedByGraphs Epsilon{} = Bool
True
usedByGraphs ESep{} = Bool
True
usedByGraphs FontColor{} = Bool
True
usedByGraphs FontName{} = Bool
True
usedByGraphs FontNames{} = Bool
True
usedByGraphs FontPath{} = Bool
True
usedByGraphs FontSize{} = Bool
True
usedByGraphs ForceLabels{} = Bool
True
usedByGraphs GradientAngle{} = Bool
True
usedByGraphs ID{} = Bool
True
usedByGraphs ImagePath{} = Bool
True
usedByGraphs Label{} = Bool
True
usedByGraphs LabelScheme{} = Bool
True
usedByGraphs LabelJust{} = Bool
True
usedByGraphs LabelLoc{} = Bool
True
usedByGraphs Landscape{} = Bool
True
usedByGraphs LayerListSep{} = Bool
True
usedByGraphs Layers{} = Bool
True
usedByGraphs LayerSelect{} = Bool
True
usedByGraphs LayerSep{} = Bool
True
usedByGraphs Layout{} = Bool
True
usedByGraphs Levels{} = Bool
True
usedByGraphs LevelsGap{} = Bool
True
usedByGraphs LHeight{} = Bool
True
usedByGraphs LPos{} = Bool
True
usedByGraphs LWidth{} = Bool
True
usedByGraphs Margin{} = Bool
True
usedByGraphs MaxIter{} = Bool
True
usedByGraphs MCLimit{} = Bool
True
usedByGraphs MinDist{} = Bool
True
usedByGraphs Mode{} = Bool
True
usedByGraphs Model{} = Bool
True
usedByGraphs Mosek{} = Bool
True
usedByGraphs NodeSep{} = Bool
True
usedByGraphs NoJustify{} = Bool
True
usedByGraphs Normalize{} = Bool
True
usedByGraphs NoTranslate{} = Bool
True
usedByGraphs Nslimit{} = Bool
True
usedByGraphs Nslimit1{} = Bool
True
usedByGraphs Ordering{} = Bool
True
usedByGraphs OutputOrder{} = Bool
True
usedByGraphs Overlap{} = Bool
True
usedByGraphs OverlapScaling{} = Bool
True
usedByGraphs OverlapShrink{} = Bool
True
usedByGraphs Pack{} = Bool
True
usedByGraphs PackMode{} = Bool
True
usedByGraphs Pad{} = Bool
True
usedByGraphs Page{} = Bool
True
usedByGraphs PageDir{} = Bool
True
usedByGraphs QuadTree{} = Bool
True
usedByGraphs Quantum{} = Bool
True
usedByGraphs RankDir{} = Bool
True
usedByGraphs RankSep{} = Bool
True
usedByGraphs Ratio{} = Bool
True
usedByGraphs ReMinCross{} = Bool
True
usedByGraphs RepulsiveForce{} = Bool
True
usedByGraphs Root{} = Bool
True
usedByGraphs Rotate{} = Bool
True
usedByGraphs Rotation{} = Bool
True
usedByGraphs Scale{} = Bool
True
usedByGraphs SearchSize{} = Bool
True
usedByGraphs Sep{} = Bool
True
usedByGraphs ShowBoxes{} = Bool
True
usedByGraphs Size{} = Bool
True
usedByGraphs Smoothing{} = Bool
True
usedByGraphs SortV{} = Bool
True
usedByGraphs Splines{} = Bool
True
usedByGraphs Start{} = Bool
True
usedByGraphs Style{} = Bool
True
usedByGraphs StyleSheet{} = Bool
True
usedByGraphs Target{} = Bool
True
usedByGraphs TrueColor{} = Bool
True
usedByGraphs ViewPort{} = Bool
True
usedByGraphs VoroMargin{} = Bool
True
usedByGraphs XDotVersion{} = Bool
True
usedByGraphs UnknownAttribute{} = Bool
True
usedByGraphs Attribute
_ = Bool
False
usedByClusters :: Attribute -> Bool
usedByClusters :: Attribute -> Bool
usedByClusters K{} = Bool
True
usedByClusters URL{} = Bool
True
usedByClusters Area{} = Bool
True
usedByClusters BgColor{} = Bool
True
usedByClusters Color{} = Bool
True
usedByClusters ColorScheme{} = Bool
True
usedByClusters FillColor{} = Bool
True
usedByClusters FontColor{} = Bool
True
usedByClusters FontName{} = Bool
True
usedByClusters FontSize{} = Bool
True
usedByClusters GradientAngle{} = Bool
True
usedByClusters Label{} = Bool
True
usedByClusters LabelJust{} = Bool
True
usedByClusters LabelLoc{} = Bool
True
usedByClusters Layer{} = Bool
True
usedByClusters LHeight{} = Bool
True
usedByClusters LPos{} = Bool
True
usedByClusters LWidth{} = Bool
True
usedByClusters Margin{} = Bool
True
usedByClusters NoJustify{} = Bool
True
usedByClusters PenColor{} = Bool
True
usedByClusters PenWidth{} = Bool
True
usedByClusters Peripheries{} = Bool
True
usedByClusters Rank{} = Bool
True
usedByClusters SortV{} = Bool
True
usedByClusters Style{} = Bool
True
usedByClusters Target{} = Bool
True
usedByClusters Tooltip{} = Bool
True
usedByClusters UnknownAttribute{} = Bool
True
usedByClusters Attribute
_ = Bool
False
usedBySubGraphs :: Attribute -> Bool
usedBySubGraphs :: Attribute -> Bool
usedBySubGraphs Rank{} = Bool
True
usedBySubGraphs UnknownAttribute{} = Bool
True
usedBySubGraphs Attribute
_ = Bool
False
usedByNodes :: Attribute -> Bool
usedByNodes :: Attribute -> Bool
usedByNodes URL{} = Bool
True
usedByNodes Area{} = Bool
True
usedByNodes Color{} = Bool
True
usedByNodes ColorScheme{} = Bool
True
usedByNodes Comment{} = Bool
True
usedByNodes Distortion{} = Bool
True
usedByNodes FillColor{} = Bool
True
usedByNodes FixedSize{} = Bool
True
usedByNodes FontColor{} = Bool
True
usedByNodes FontName{} = Bool
True
usedByNodes FontSize{} = Bool
True
usedByNodes GradientAngle{} = Bool
True
usedByNodes Group{} = Bool
True
usedByNodes Height{} = Bool
True
usedByNodes ID{} = Bool
True
usedByNodes Image{} = Bool
True
usedByNodes ImageScale{} = Bool
True
usedByNodes InputScale{} = Bool
True
usedByNodes Label{} = Bool
True
usedByNodes LabelLoc{} = Bool
True
usedByNodes Layer{} = Bool
True
usedByNodes Margin{} = Bool
True
usedByNodes NoJustify{} = Bool
True
usedByNodes Ordering{} = Bool
True
usedByNodes Orientation{} = Bool
True
usedByNodes PenWidth{} = Bool
True
usedByNodes Peripheries{} = Bool
True
usedByNodes Pin{} = Bool
True
usedByNodes Pos{} = Bool
True
usedByNodes Rects{} = Bool
True
usedByNodes Regular{} = Bool
True
usedByNodes Root{} = Bool
True
usedByNodes SamplePoints{} = Bool
True
usedByNodes Shape{} = Bool
True
usedByNodes ShowBoxes{} = Bool
True
usedByNodes Sides{} = Bool
True
usedByNodes Skew{} = Bool
True
usedByNodes SortV{} = Bool
True
usedByNodes Style{} = Bool
True
usedByNodes Target{} = Bool
True
usedByNodes Tooltip{} = Bool
True
usedByNodes Vertices{} = Bool
True
usedByNodes Width{} = Bool
True
usedByNodes XLabel{} = Bool
True
usedByNodes XLP{} = Bool
True
usedByNodes UnknownAttribute{} = Bool
True
usedByNodes Attribute
_ = Bool
False
usedByEdges :: Attribute -> Bool
usedByEdges :: Attribute -> Bool
usedByEdges URL{} = Bool
True
usedByEdges ArrowHead{} = Bool
True
usedByEdges ArrowSize{} = Bool
True
usedByEdges ArrowTail{} = Bool
True
usedByEdges Color{} = Bool
True
usedByEdges ColorScheme{} = Bool
True
usedByEdges Comment{} = Bool
True
usedByEdges Constraint{} = Bool
True
usedByEdges Decorate{} = Bool
True
usedByEdges Dir{} = Bool
True
usedByEdges EdgeURL{} = Bool
True
usedByEdges EdgeTarget{} = Bool
True
usedByEdges EdgeTooltip{} = Bool
True
usedByEdges FillColor{} = Bool
True
usedByEdges FontColor{} = Bool
True
usedByEdges FontName{} = Bool
True
usedByEdges FontSize{} = Bool
True
usedByEdges HeadURL{} = Bool
True
usedByEdges Head_LP{} = Bool
True
usedByEdges HeadClip{} = Bool
True
usedByEdges HeadLabel{} = Bool
True
usedByEdges HeadPort{} = Bool
True
usedByEdges HeadTarget{} = Bool
True
usedByEdges HeadTooltip{} = Bool
True
usedByEdges ID{} = Bool
True
usedByEdges Label{} = Bool
True
usedByEdges LabelURL{} = Bool
True
usedByEdges LabelAngle{} = Bool
True
usedByEdges LabelDistance{} = Bool
True
usedByEdges LabelFloat{} = Bool
True
usedByEdges LabelFontColor{} = Bool
True
usedByEdges LabelFontName{} = Bool
True
usedByEdges LabelFontSize{} = Bool
True
usedByEdges LabelTarget{} = Bool
True
usedByEdges LabelTooltip{} = Bool
True
usedByEdges Layer{} = Bool
True
usedByEdges Len{} = Bool
True
usedByEdges LHead{} = Bool
True
usedByEdges LPos{} = Bool
True
usedByEdges LTail{} = Bool
True
usedByEdges MinLen{} = Bool
True
usedByEdges NoJustify{} = Bool
True
usedByEdges PenWidth{} = Bool
True
usedByEdges Pos{} = Bool
True
usedByEdges SameHead{} = Bool
True
usedByEdges SameTail{} = Bool
True
usedByEdges ShowBoxes{} = Bool
True
usedByEdges Style{} = Bool
True
usedByEdges TailURL{} = Bool
True
usedByEdges Tail_LP{} = Bool
True
usedByEdges TailClip{} = Bool
True
usedByEdges TailLabel{} = Bool
True
usedByEdges TailPort{} = Bool
True
usedByEdges TailTarget{} = Bool
True
usedByEdges TailTooltip{} = Bool
True
usedByEdges Target{} = Bool
True
usedByEdges Tooltip{} = Bool
True
usedByEdges Weight{} = Bool
True
usedByEdges XLabel{} = Bool
True
usedByEdges XLP{} = Bool
True
usedByEdges UnknownAttribute{} = Bool
True
usedByEdges Attribute
_ = Bool
False
sameAttribute :: Attribute -> Attribute -> Bool
sameAttribute :: Attribute -> Attribute -> Bool
sameAttribute Damping{} Damping{} = Bool
True
sameAttribute K{} K{} = Bool
True
sameAttribute URL{} URL{} = Bool
True
sameAttribute Area{} Area{} = Bool
True
sameAttribute ArrowHead{} ArrowHead{} = Bool
True
sameAttribute ArrowSize{} ArrowSize{} = Bool
True
sameAttribute ArrowTail{} ArrowTail{} = Bool
True
sameAttribute Background{} Background{} = Bool
True
sameAttribute BoundingBox{} BoundingBox{} = Bool
True
sameAttribute BgColor{} BgColor{} = Bool
True
sameAttribute Center{} Center{} = Bool
True
sameAttribute ClusterRank{} ClusterRank{} = Bool
True
sameAttribute Color{} Color{} = Bool
True
sameAttribute ColorScheme{} ColorScheme{} = Bool
True
sameAttribute Comment{} Comment{} = Bool
True
sameAttribute Compound{} Compound{} = Bool
True
sameAttribute Concentrate{} Concentrate{} = Bool
True
sameAttribute Constraint{} Constraint{} = Bool
True
sameAttribute Decorate{} Decorate{} = Bool
True
sameAttribute DefaultDist{} DefaultDist{} = Bool
True
sameAttribute Dim{} Dim{} = Bool
True
sameAttribute Dimen{} Dimen{} = Bool
True
sameAttribute Dir{} Dir{} = Bool
True
sameAttribute DirEdgeConstraints{} DirEdgeConstraints{} = Bool
True
sameAttribute Distortion{} Distortion{} = Bool
True
sameAttribute DPI{} DPI{} = Bool
True
sameAttribute EdgeURL{} EdgeURL{} = Bool
True
sameAttribute EdgeTarget{} EdgeTarget{} = Bool
True
sameAttribute EdgeTooltip{} EdgeTooltip{} = Bool
True
sameAttribute Epsilon{} Epsilon{} = Bool
True
sameAttribute ESep{} ESep{} = Bool
True
sameAttribute FillColor{} FillColor{} = Bool
True
sameAttribute FixedSize{} FixedSize{} = Bool
True
sameAttribute FontColor{} FontColor{} = Bool
True
sameAttribute FontName{} FontName{} = Bool
True
sameAttribute FontNames{} FontNames{} = Bool
True
sameAttribute FontPath{} FontPath{} = Bool
True
sameAttribute FontSize{} FontSize{} = Bool
True
sameAttribute ForceLabels{} ForceLabels{} = Bool
True
sameAttribute GradientAngle{} GradientAngle{} = Bool
True
sameAttribute Group{} Group{} = Bool
True
sameAttribute HeadURL{} HeadURL{} = Bool
True
sameAttribute Head_LP{} Head_LP{} = Bool
True
sameAttribute HeadClip{} HeadClip{} = Bool
True
sameAttribute HeadLabel{} HeadLabel{} = Bool
True
sameAttribute HeadPort{} HeadPort{} = Bool
True
sameAttribute HeadTarget{} HeadTarget{} = Bool
True
sameAttribute HeadTooltip{} HeadTooltip{} = Bool
True
sameAttribute Height{} Height{} = Bool
True
sameAttribute ID{} ID{} = Bool
True
sameAttribute Image{} Image{} = Bool
True
sameAttribute ImagePath{} ImagePath{} = Bool
True
sameAttribute ImageScale{} ImageScale{} = Bool
True
sameAttribute InputScale{} InputScale{} = Bool
True
sameAttribute Label{} Label{} = Bool
True
sameAttribute LabelURL{} LabelURL{} = Bool
True
sameAttribute LabelScheme{} LabelScheme{} = Bool
True
sameAttribute LabelAngle{} LabelAngle{} = Bool
True
sameAttribute LabelDistance{} LabelDistance{} = Bool
True
sameAttribute LabelFloat{} LabelFloat{} = Bool
True
sameAttribute LabelFontColor{} LabelFontColor{} = Bool
True
sameAttribute LabelFontName{} LabelFontName{} = Bool
True
sameAttribute LabelFontSize{} LabelFontSize{} = Bool
True
sameAttribute LabelJust{} LabelJust{} = Bool
True
sameAttribute LabelLoc{} LabelLoc{} = Bool
True
sameAttribute LabelTarget{} LabelTarget{} = Bool
True
sameAttribute LabelTooltip{} LabelTooltip{} = Bool
True
sameAttribute Landscape{} Landscape{} = Bool
True
sameAttribute Layer{} Layer{} = Bool
True
sameAttribute LayerListSep{} LayerListSep{} = Bool
True
sameAttribute Layers{} Layers{} = Bool
True
sameAttribute LayerSelect{} LayerSelect{} = Bool
True
sameAttribute LayerSep{} LayerSep{} = Bool
True
sameAttribute Layout{} Layout{} = Bool
True
sameAttribute Len{} Len{} = Bool
True
sameAttribute Levels{} Levels{} = Bool
True
sameAttribute LevelsGap{} LevelsGap{} = Bool
True
sameAttribute LHead{} LHead{} = Bool
True
sameAttribute LHeight{} LHeight{} = Bool
True
sameAttribute LPos{} LPos{} = Bool
True
sameAttribute LTail{} LTail{} = Bool
True
sameAttribute LWidth{} LWidth{} = Bool
True
sameAttribute Margin{} Margin{} = Bool
True
sameAttribute MaxIter{} MaxIter{} = Bool
True
sameAttribute MCLimit{} MCLimit{} = Bool
True
sameAttribute MinDist{} MinDist{} = Bool
True
sameAttribute MinLen{} MinLen{} = Bool
True
sameAttribute Mode{} Mode{} = Bool
True
sameAttribute Model{} Model{} = Bool
True
sameAttribute Mosek{} Mosek{} = Bool
True
sameAttribute NodeSep{} NodeSep{} = Bool
True
sameAttribute NoJustify{} NoJustify{} = Bool
True
sameAttribute Normalize{} Normalize{} = Bool
True
sameAttribute NoTranslate{} NoTranslate{} = Bool
True
sameAttribute Nslimit{} Nslimit{} = Bool
True
sameAttribute Nslimit1{} Nslimit1{} = Bool
True
sameAttribute Ordering{} Ordering{} = Bool
True
sameAttribute Orientation{} Orientation{} = Bool
True
sameAttribute OutputOrder{} OutputOrder{} = Bool
True
sameAttribute Overlap{} Overlap{} = Bool
True
sameAttribute OverlapScaling{} OverlapScaling{} = Bool
True
sameAttribute OverlapShrink{} OverlapShrink{} = Bool
True
sameAttribute Pack{} Pack{} = Bool
True
sameAttribute PackMode{} PackMode{} = Bool
True
sameAttribute Pad{} Pad{} = Bool
True
sameAttribute Page{} Page{} = Bool
True
sameAttribute PageDir{} PageDir{} = Bool
True
sameAttribute PenColor{} PenColor{} = Bool
True
sameAttribute PenWidth{} PenWidth{} = Bool
True
sameAttribute Peripheries{} Peripheries{} = Bool
True
sameAttribute Pin{} Pin{} = Bool
True
sameAttribute Pos{} Pos{} = Bool
True
sameAttribute QuadTree{} QuadTree{} = Bool
True
sameAttribute Quantum{} Quantum{} = Bool
True
sameAttribute Rank{} Rank{} = Bool
True
sameAttribute RankDir{} RankDir{} = Bool
True
sameAttribute RankSep{} RankSep{} = Bool
True
sameAttribute Ratio{} Ratio{} = Bool
True
sameAttribute Rects{} Rects{} = Bool
True
sameAttribute Regular{} Regular{} = Bool
True
sameAttribute ReMinCross{} ReMinCross{} = Bool
True
sameAttribute RepulsiveForce{} RepulsiveForce{} = Bool
True
sameAttribute Root{} Root{} = Bool
True
sameAttribute Rotate{} Rotate{} = Bool
True
sameAttribute Rotation{} Rotation{} = Bool
True
sameAttribute SameHead{} SameHead{} = Bool
True
sameAttribute SameTail{} SameTail{} = Bool
True
sameAttribute SamplePoints{} SamplePoints{} = Bool
True
sameAttribute Scale{} Scale{} = Bool
True
sameAttribute SearchSize{} SearchSize{} = Bool
True
sameAttribute Sep{} Sep{} = Bool
True
sameAttribute Shape{} Shape{} = Bool
True
sameAttribute ShowBoxes{} ShowBoxes{} = Bool
True
sameAttribute Sides{} Sides{} = Bool
True
sameAttribute Size{} Size{} = Bool
True
sameAttribute Skew{} Skew{} = Bool
True
sameAttribute Smoothing{} Smoothing{} = Bool
True
sameAttribute SortV{} SortV{} = Bool
True
sameAttribute Splines{} Splines{} = Bool
True
sameAttribute Start{} Start{} = Bool
True
sameAttribute Style{} Style{} = Bool
True
sameAttribute StyleSheet{} StyleSheet{} = Bool
True
sameAttribute TailURL{} TailURL{} = Bool
True
sameAttribute Tail_LP{} Tail_LP{} = Bool
True
sameAttribute TailClip{} TailClip{} = Bool
True
sameAttribute TailLabel{} TailLabel{} = Bool
True
sameAttribute TailPort{} TailPort{} = Bool
True
sameAttribute TailTarget{} TailTarget{} = Bool
True
sameAttribute TailTooltip{} TailTooltip{} = Bool
True
sameAttribute Target{} Target{} = Bool
True
sameAttribute Tooltip{} Tooltip{} = Bool
True
sameAttribute TrueColor{} TrueColor{} = Bool
True
sameAttribute Vertices{} Vertices{} = Bool
True
sameAttribute ViewPort{} ViewPort{} = Bool
True
sameAttribute VoroMargin{} VoroMargin{} = Bool
True
sameAttribute Weight{} Weight{} = Bool
True
sameAttribute Width{} Width{} = Bool
True
sameAttribute XDotVersion{} XDotVersion{} = Bool
True
sameAttribute XLabel{} XLabel{} = Bool
True
sameAttribute XLP{} XLP{} = Bool
True
sameAttribute (UnknownAttribute AttributeName
a1 AttributeName
_) (UnknownAttribute AttributeName
a2 AttributeName
_) = AttributeName
a1 forall a. Eq a => a -> a -> Bool
== AttributeName
a2
sameAttribute Attribute
_ Attribute
_ = Bool
False
defaultAttributeValue :: Attribute -> Maybe Attribute
defaultAttributeValue :: Attribute -> Maybe Attribute
defaultAttributeValue Damping{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
Damping Double
0.99
defaultAttributeValue K{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
K Double
0.3
defaultAttributeValue URL{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
URL AttributeName
""
defaultAttributeValue Area{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
Area Double
1.0
defaultAttributeValue ArrowHead{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ ArrowType -> Attribute
ArrowHead ArrowType
normal
defaultAttributeValue ArrowSize{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
ArrowSize Double
1.0
defaultAttributeValue ArrowTail{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ ArrowType -> Attribute
ArrowTail ArrowType
normal
defaultAttributeValue Background{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
Background AttributeName
""
defaultAttributeValue BgColor{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ ColorList -> Attribute
BgColor []
defaultAttributeValue Center{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Bool -> Attribute
Center Bool
False
defaultAttributeValue ClusterRank{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ ClusterMode -> Attribute
ClusterRank ClusterMode
Local
defaultAttributeValue Color{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ ColorList -> Attribute
Color [forall nc. NamedColor nc => nc -> WeightedColor
toWColor X11Color
Black]
defaultAttributeValue ColorScheme{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ ColorScheme -> Attribute
ColorScheme ColorScheme
X11
defaultAttributeValue Comment{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
Comment AttributeName
""
defaultAttributeValue Compound{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Bool -> Attribute
Compound Bool
False
defaultAttributeValue Concentrate{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Bool -> Attribute
Concentrate Bool
False
defaultAttributeValue Constraint{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Bool -> Attribute
Constraint Bool
True
defaultAttributeValue Decorate{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Bool -> Attribute
Decorate Bool
False
defaultAttributeValue Dim{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Int -> Attribute
Dim Int
2
defaultAttributeValue Dimen{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Int -> Attribute
Dimen Int
2
defaultAttributeValue DirEdgeConstraints{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ DEConstraints -> Attribute
DirEdgeConstraints DEConstraints
NoConstraints
defaultAttributeValue Distortion{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
Distortion Double
0.0
defaultAttributeValue DPI{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
DPI Double
96.0
defaultAttributeValue EdgeURL{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
EdgeURL AttributeName
""
defaultAttributeValue EdgeTooltip{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
EdgeTooltip AttributeName
""
defaultAttributeValue ESep{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ DPoint -> Attribute
ESep (Double -> DPoint
DVal Double
3)
defaultAttributeValue FillColor{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ ColorList -> Attribute
FillColor [forall nc. NamedColor nc => nc -> WeightedColor
toWColor X11Color
Black]
defaultAttributeValue FixedSize{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ NodeSize -> Attribute
FixedSize NodeSize
GrowAsNeeded
defaultAttributeValue FontColor{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Color -> Attribute
FontColor (X11Color -> Color
X11Color X11Color
Black)
defaultAttributeValue FontName{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
FontName AttributeName
"Times-Roman"
defaultAttributeValue FontNames{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ SVGFontNames -> Attribute
FontNames SVGFontNames
SvgNames
defaultAttributeValue FontSize{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
FontSize Double
14.0
defaultAttributeValue ForceLabels{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Bool -> Attribute
ForceLabels Bool
True
defaultAttributeValue GradientAngle{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Int -> Attribute
GradientAngle Int
0
defaultAttributeValue Group{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
Group AttributeName
""
defaultAttributeValue HeadURL{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
HeadURL AttributeName
""
defaultAttributeValue HeadClip{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Bool -> Attribute
HeadClip Bool
True
defaultAttributeValue HeadLabel{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Label -> Attribute
HeadLabel (AttributeName -> Label
StrLabel AttributeName
"")
defaultAttributeValue HeadPort{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ PortPos -> Attribute
HeadPort (CompassPoint -> PortPos
CompassPoint CompassPoint
CenterPoint)
defaultAttributeValue HeadTarget{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
HeadTarget AttributeName
""
defaultAttributeValue HeadTooltip{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
HeadTooltip AttributeName
""
defaultAttributeValue Height{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
Height Double
0.5
defaultAttributeValue ID{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
ID AttributeName
""
defaultAttributeValue Image{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
Image AttributeName
""
defaultAttributeValue ImagePath{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Paths -> Attribute
ImagePath ([String] -> Paths
Paths [])
defaultAttributeValue ImageScale{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ ScaleType -> Attribute
ImageScale ScaleType
NoScale
defaultAttributeValue Label{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Label -> Attribute
Label (AttributeName -> Label
StrLabel AttributeName
"")
defaultAttributeValue LabelURL{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
LabelURL AttributeName
""
defaultAttributeValue LabelScheme{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ LabelScheme -> Attribute
LabelScheme LabelScheme
NotEdgeLabel
defaultAttributeValue LabelAngle{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
LabelAngle (-Double
25.0)
defaultAttributeValue LabelDistance{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
LabelDistance Double
1.0
defaultAttributeValue LabelFloat{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Bool -> Attribute
LabelFloat Bool
False
defaultAttributeValue LabelFontColor{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Color -> Attribute
LabelFontColor (X11Color -> Color
X11Color X11Color
Black)
defaultAttributeValue LabelFontName{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
LabelFontName AttributeName
"Times-Roman"
defaultAttributeValue LabelFontSize{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
LabelFontSize Double
14.0
defaultAttributeValue LabelJust{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Justification -> Attribute
LabelJust Justification
JCenter
defaultAttributeValue LabelLoc{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ VerticalPlacement -> Attribute
LabelLoc VerticalPlacement
VTop
defaultAttributeValue LabelTarget{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
LabelTarget AttributeName
""
defaultAttributeValue LabelTooltip{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
LabelTooltip AttributeName
""
defaultAttributeValue Landscape{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Bool -> Attribute
Landscape Bool
False
defaultAttributeValue Layer{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ LayerRange -> Attribute
Layer []
defaultAttributeValue LayerListSep{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ LayerListSep -> Attribute
LayerListSep (AttributeName -> LayerListSep
LLSep AttributeName
",")
defaultAttributeValue Layers{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ LayerList -> Attribute
Layers ([LayerID] -> LayerList
LL [])
defaultAttributeValue LayerSelect{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ LayerRange -> Attribute
LayerSelect []
defaultAttributeValue LayerSep{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ LayerSep -> Attribute
LayerSep (AttributeName -> LayerSep
LSep AttributeName
" :\t")
defaultAttributeValue Levels{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Int -> Attribute
Levels forall a. Bounded a => a
maxBound
defaultAttributeValue LevelsGap{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
LevelsGap Double
0.0
defaultAttributeValue LHead{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
LHead AttributeName
""
defaultAttributeValue LTail{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
LTail AttributeName
""
defaultAttributeValue MCLimit{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
MCLimit Double
1.0
defaultAttributeValue MinDist{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
MinDist Double
1.0
defaultAttributeValue MinLen{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Int -> Attribute
MinLen Int
1
defaultAttributeValue Mode{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ ModeType -> Attribute
Mode ModeType
Major
defaultAttributeValue Model{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Model -> Attribute
Model Model
ShortPath
defaultAttributeValue Mosek{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Bool -> Attribute
Mosek Bool
False
defaultAttributeValue NodeSep{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
NodeSep Double
0.25
defaultAttributeValue NoJustify{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Bool -> Attribute
NoJustify Bool
False
defaultAttributeValue Normalize{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Normalized -> Attribute
Normalize Normalized
NotNormalized
defaultAttributeValue NoTranslate{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Bool -> Attribute
NoTranslate Bool
False
defaultAttributeValue Orientation{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
Orientation Double
0.0
defaultAttributeValue OutputOrder{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ OutputMode -> Attribute
OutputOrder OutputMode
BreadthFirst
defaultAttributeValue Overlap{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Overlap -> Attribute
Overlap Overlap
KeepOverlaps
defaultAttributeValue OverlapScaling{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
OverlapScaling (-Double
4)
defaultAttributeValue OverlapShrink{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Bool -> Attribute
OverlapShrink Bool
True
defaultAttributeValue Pack{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Pack -> Attribute
Pack Pack
DontPack
defaultAttributeValue PackMode{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ PackMode -> Attribute
PackMode PackMode
PackNode
defaultAttributeValue Pad{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ DPoint -> Attribute
Pad (Double -> DPoint
DVal Double
0.0555)
defaultAttributeValue PageDir{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ PageDir -> Attribute
PageDir PageDir
Bl
defaultAttributeValue PenColor{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Color -> Attribute
PenColor (X11Color -> Color
X11Color X11Color
Black)
defaultAttributeValue PenWidth{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
PenWidth Double
1.0
defaultAttributeValue Peripheries{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Int -> Attribute
Peripheries Int
1
defaultAttributeValue Pin{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Bool -> Attribute
Pin Bool
False
defaultAttributeValue QuadTree{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ QuadType -> Attribute
QuadTree QuadType
NormalQT
defaultAttributeValue Quantum{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
Quantum Double
0
defaultAttributeValue RankDir{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ RankDir -> Attribute
RankDir RankDir
FromTop
defaultAttributeValue Regular{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Bool -> Attribute
Regular Bool
False
defaultAttributeValue ReMinCross{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Bool -> Attribute
ReMinCross Bool
False
defaultAttributeValue RepulsiveForce{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
RepulsiveForce Double
1.0
defaultAttributeValue Root{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Root -> Attribute
Root (AttributeName -> Root
NodeName AttributeName
"")
defaultAttributeValue Rotate{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Int -> Attribute
Rotate Int
0
defaultAttributeValue Rotation{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
Rotation Double
0
defaultAttributeValue SameHead{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
SameHead AttributeName
""
defaultAttributeValue SameTail{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
SameTail AttributeName
""
defaultAttributeValue SearchSize{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Int -> Attribute
SearchSize Int
30
defaultAttributeValue Sep{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ DPoint -> Attribute
Sep (Double -> DPoint
DVal Double
4)
defaultAttributeValue Shape{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Shape -> Attribute
Shape Shape
Ellipse
defaultAttributeValue ShowBoxes{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Int -> Attribute
ShowBoxes Int
0
defaultAttributeValue Sides{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Int -> Attribute
Sides Int
4
defaultAttributeValue Skew{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
Skew Double
0.0
defaultAttributeValue Smoothing{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ SmoothType -> Attribute
Smoothing SmoothType
NoSmooth
defaultAttributeValue SortV{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Word16 -> Attribute
SortV Word16
0
defaultAttributeValue StyleSheet{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
StyleSheet AttributeName
""
defaultAttributeValue TailURL{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
TailURL AttributeName
""
defaultAttributeValue TailClip{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Bool -> Attribute
TailClip Bool
True
defaultAttributeValue TailLabel{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Label -> Attribute
TailLabel (AttributeName -> Label
StrLabel AttributeName
"")
defaultAttributeValue TailPort{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ PortPos -> Attribute
TailPort (CompassPoint -> PortPos
CompassPoint CompassPoint
CenterPoint)
defaultAttributeValue TailTarget{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
TailTarget AttributeName
""
defaultAttributeValue TailTooltip{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
TailTooltip AttributeName
""
defaultAttributeValue Target{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
Target AttributeName
""
defaultAttributeValue Tooltip{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ AttributeName -> Attribute
Tooltip AttributeName
""
defaultAttributeValue VoroMargin{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
VoroMargin Double
0.05
defaultAttributeValue Weight{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Number -> Attribute
Weight (Int -> Number
Int Int
1)
defaultAttributeValue Width{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Double -> Attribute
Width Double
0.75
defaultAttributeValue XLabel{} = forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Label -> Attribute
XLabel (AttributeName -> Label
StrLabel AttributeName
"")
defaultAttributeValue Attribute
_ = forall a. Maybe a
Nothing
validUnknown :: AttributeName -> Bool
validUnknown :: AttributeName -> Bool
validUnknown AttributeName
txt = AttributeName -> AttributeName
T.toLower AttributeName
txt forall a. Ord a => a -> Set a -> Bool
`S.notMember` Set AttributeName
names
Bool -> Bool -> Bool
&& AttributeName -> Bool
isIDString AttributeName
txt
where
names :: Set AttributeName
names = (forall a. Ord a => [a] -> Set a
S.fromList forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a b. (a -> b) -> [a] -> [b]
map AttributeName -> AttributeName
T.toLower
forall a b. (a -> b) -> a -> b
$ [ AttributeName
"Damping"
, AttributeName
"K"
, AttributeName
"URL"
, AttributeName
"href"
, AttributeName
"area"
, AttributeName
"arrowhead"
, AttributeName
"arrowsize"
, AttributeName
"arrowtail"
, AttributeName
"_background"
, AttributeName
"bb"
, AttributeName
"bgcolor"
, AttributeName
"center"
, AttributeName
"clusterrank"
, AttributeName
"color"
, AttributeName
"colorscheme"
, AttributeName
"comment"
, AttributeName
"compound"
, AttributeName
"concentrate"
, AttributeName
"constraint"
, AttributeName
"decorate"
, AttributeName
"defaultdist"
, AttributeName
"dim"
, AttributeName
"dimen"
, AttributeName
"dir"
, AttributeName
"diredgeconstraints"
, AttributeName
"distortion"
, AttributeName
"dpi"
, AttributeName
"resolution"
, AttributeName
"edgeURL"
, AttributeName
"edgehref"
, AttributeName
"edgetarget"
, AttributeName
"edgetooltip"
, AttributeName
"epsilon"
, AttributeName
"esep"
, AttributeName
"fillcolor"
, AttributeName
"fixedsize"
, AttributeName
"fontcolor"
, AttributeName
"fontname"
, AttributeName
"fontnames"
, AttributeName
"fontpath"
, AttributeName
"fontsize"
, AttributeName
"forcelabels"
, AttributeName
"gradientangle"
, AttributeName
"group"
, AttributeName
"headURL"
, AttributeName
"headhref"
, AttributeName
"head_lp"
, AttributeName
"headclip"
, AttributeName
"headlabel"
, AttributeName
"headport"
, AttributeName
"headtarget"
, AttributeName
"headtooltip"
, AttributeName
"height"
, AttributeName
"id"
, AttributeName
"image"
, AttributeName
"imagepath"
, AttributeName
"imagescale"
, AttributeName
"inputscale"
, AttributeName
"label"
, AttributeName
"labelURL"
, AttributeName
"labelhref"
, AttributeName
"label_scheme"
, AttributeName
"labelangle"
, AttributeName
"labeldistance"
, AttributeName
"labelfloat"
, AttributeName
"labelfontcolor"
, AttributeName
"labelfontname"
, AttributeName
"labelfontsize"
, AttributeName
"labeljust"
, AttributeName
"labelloc"
, AttributeName
"labeltarget"
, AttributeName
"labeltooltip"
, AttributeName
"landscape"
, AttributeName
"layer"
, AttributeName
"layerlistsep"
, AttributeName
"layers"
, AttributeName
"layerselect"
, AttributeName
"layersep"
, AttributeName
"layout"
, AttributeName
"len"
, AttributeName
"levels"
, AttributeName
"levelsgap"
, AttributeName
"lhead"
, AttributeName
"LHeight"
, AttributeName
"lp"
, AttributeName
"ltail"
, AttributeName
"lwidth"
, AttributeName
"margin"
, AttributeName
"maxiter"
, AttributeName
"mclimit"
, AttributeName
"mindist"
, AttributeName
"minlen"
, AttributeName
"mode"
, AttributeName
"model"
, AttributeName
"mosek"
, AttributeName
"nodesep"
, AttributeName
"nojustify"
, AttributeName
"normalize"
, AttributeName
"notranslate"
, AttributeName
"nslimit"
, AttributeName
"nslimit1"
, AttributeName
"ordering"
, AttributeName
"orientation"
, AttributeName
"outputorder"
, AttributeName
"overlap"
, AttributeName
"overlap_scaling"
, AttributeName
"overlap_shrink"
, AttributeName
"pack"
, AttributeName
"packmode"
, AttributeName
"pad"
, AttributeName
"page"
, AttributeName
"pagedir"
, AttributeName
"pencolor"
, AttributeName
"penwidth"
, AttributeName
"peripheries"
, AttributeName
"pin"
, AttributeName
"pos"
, AttributeName
"quadtree"
, AttributeName
"quantum"
, AttributeName
"rank"
, AttributeName
"rankdir"
, AttributeName
"ranksep"
, AttributeName
"ratio"
, AttributeName
"rects"
, AttributeName
"regular"
, AttributeName
"remincross"
, AttributeName
"repulsiveforce"
, AttributeName
"root"
, AttributeName
"rotate"
, AttributeName
"rotation"
, AttributeName
"samehead"
, AttributeName
"sametail"
, AttributeName
"samplepoints"
, AttributeName
"scale"
, AttributeName
"searchsize"
, AttributeName
"sep"
, AttributeName
"shape"
, AttributeName
"showboxes"
, AttributeName
"sides"
, AttributeName
"size"
, AttributeName
"skew"
, AttributeName
"smoothing"
, AttributeName
"sortv"
, AttributeName
"splines"
, AttributeName
"start"
, AttributeName
"style"
, AttributeName
"stylesheet"
, AttributeName
"tailURL"
, AttributeName
"tailhref"
, AttributeName
"tail_lp"
, AttributeName
"tailclip"
, AttributeName
"taillabel"
, AttributeName
"tailport"
, AttributeName
"tailtarget"
, AttributeName
"tailtooltip"
, AttributeName
"target"
, AttributeName
"tooltip"
, AttributeName
"truecolor"
, AttributeName
"vertices"
, AttributeName
"viewport"
, AttributeName
"voro_margin"
, AttributeName
"weight"
, AttributeName
"width"
, AttributeName
"xdotversion"
, AttributeName
"xlabel"
, AttributeName
"xlp"
, AttributeName
"charset"
])
forall a. Ord a => Set a -> Set a -> Set a
`S.union`
Set AttributeName
keywords
rmUnwantedAttributes :: Attributes -> Attributes
rmUnwantedAttributes :: [Attribute] -> [Attribute]
rmUnwantedAttributes = forall a. (a -> Bool) -> [a] -> [a]
filter (Bool -> Bool
not forall b c a. (b -> c) -> (a -> b) -> a -> c
. (forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
`any` [Attribute -> Bool]
tests) forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a b c. (a -> b -> c) -> b -> a -> c
flip forall a b. (a -> b) -> a -> b
($))
where
tests :: [Attribute -> Bool]
tests = [Attribute -> Bool
isDefault, Attribute -> Bool
isColorScheme]
isDefault :: Attribute -> Bool
isDefault Attribute
a = forall b a. b -> (a -> b) -> Maybe a -> b
maybe Bool
False (Attribute
aforall a. Eq a => a -> a -> Bool
==) forall a b. (a -> b) -> a -> b
$ Attribute -> Maybe Attribute
defaultAttributeValue Attribute
a
isColorScheme :: Attribute -> Bool
isColorScheme ColorScheme{} = Bool
True
isColorScheme Attribute
_ = Bool
False
parseField :: (ParseDot a) => (a -> Attribute) -> String
-> [(String, Parse Attribute)]
parseField :: forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField a -> Attribute
c String
fld = [(String
fld, forall a.
ParseDot a =>
String -> (a -> Attribute) -> Parse Attribute
liftEqParse String
fld a -> Attribute
c)]
parseFields :: (ParseDot a) => (a -> Attribute) -> [String]
-> [(String, Parse Attribute)]
parseFields :: forall a.
ParseDot a =>
(a -> Attribute) -> [String] -> [(String, Parse Attribute)]
parseFields a -> Attribute
c = forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
concatMap (forall a.
ParseDot a =>
(a -> Attribute) -> String -> [(String, Parse Attribute)]
parseField a -> Attribute
c)
parseFieldBool :: (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool :: (Bool -> Attribute) -> String -> [(String, Parse Attribute)]
parseFieldBool = (forall a.
ParseDot a =>
(a -> Attribute) -> a -> String -> [(String, Parse Attribute)]
`parseFieldDef` Bool
True)
parseFieldDef :: (ParseDot a) => (a -> Attribute) -> a -> String
-> [(String, Parse Attribute)]
parseFieldDef :: forall a.
ParseDot a =>
(a -> Attribute) -> a -> String -> [(String, Parse Attribute)]
parseFieldDef a -> Attribute
c a
d String
fld = [(String
fld, Parse Attribute
p)]
where
p :: Parse Attribute
p = forall a.
ParseDot a =>
String -> (a -> Attribute) -> Parse Attribute
liftEqParse String
fld a -> Attribute
c
forall s a. Parser s a -> Parser s a -> Parser s a
`onFail`
do Maybe Char
nxt <- forall (f :: * -> *) a. Alternative f => f a -> f (Maybe a)
optional forall a b. (a -> b) -> a -> b
$ forall s. (Char -> Bool) -> Parser s Char
satisfy Char -> Bool
restIDString
forall a. a -> a -> Bool -> a
bool (forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"Not actually the field you were after")
(forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ a -> Attribute
c a
d)
(forall a. Maybe a -> Bool
isNothing Maybe Char
nxt)
liftEqParse :: (ParseDot a) => String -> (a -> Attribute) -> Parse Attribute
liftEqParse :: forall a.
ParseDot a =>
String -> (a -> Attribute) -> Parse Attribute
liftEqParse String
k a -> Attribute
c = do Bool
pStrict <- forall (m :: * -> *) a.
GraphvizStateM m =>
(GraphvizState -> a) -> m a
getsGS GraphvizState -> Bool
parseStrictly
let adjErr :: Parser GraphvizState a -> ShowS -> Parser GraphvizState a
adjErr = forall a. a -> a -> Bool -> a
bool forall (p :: * -> *) a. Commitment p => p a -> ShowS -> p a
adjustErr forall (p :: * -> *) a. PolyParse p => p a -> ShowS -> p a
adjustErrBad Bool
pStrict
Parse ()
parseEq
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f b
*> ( Parse Attribute -> Parse Attribute
hasDef (forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap a -> Attribute
c forall a. ParseDot a => Parse a
parse)
forall {a}.
Parser GraphvizState a -> ShowS -> Parser GraphvizState a
`adjErr`
((String
"Unable to parse key=value with key of " forall a. [a] -> [a] -> [a]
++ String
k
forall a. [a] -> [a] -> [a]
++ String
"\n\t") forall a. [a] -> [a] -> [a]
++)
)
where
hasDef :: Parse Attribute -> Parse Attribute
hasDef Parse Attribute
p = forall b a. b -> (a -> b) -> Maybe a -> b
maybe Parse Attribute
p (forall s a. Parser s a -> Parser s a -> Parser s a
onFail Parse Attribute
p forall b c a. (b -> c) -> (a -> b) -> a -> c
. (forall a. a -> String -> Parse a
`stringRep` String
"\"\""))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Attribute -> Maybe Attribute
defaultAttributeValue forall a b. (a -> b) -> a -> b
$ a -> Attribute
c forall a. HasCallStack => a
undefined
type CustomAttribute = Attribute
customAttribute :: AttributeName -> Text -> CustomAttribute
customAttribute :: AttributeName -> AttributeName -> Attribute
customAttribute = AttributeName -> AttributeName -> Attribute
UnknownAttribute
isCustom :: Attribute -> Bool
isCustom :: Attribute -> Bool
isCustom UnknownAttribute{} = Bool
True
isCustom Attribute
_ = Bool
False
isSpecifiedCustom :: AttributeName -> Attribute -> Bool
isSpecifiedCustom :: AttributeName -> Attribute -> Bool
isSpecifiedCustom AttributeName
nm (UnknownAttribute AttributeName
nm' AttributeName
_) = AttributeName
nm forall a. Eq a => a -> a -> Bool
== AttributeName
nm'
isSpecifiedCustom AttributeName
_ Attribute
_ = Bool
False
customValue :: CustomAttribute -> Text
customValue :: Attribute -> AttributeName
customValue (UnknownAttribute AttributeName
_ AttributeName
v) = AttributeName
v
customValue Attribute
attr = forall a e. Exception e => e -> a
throw forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> GraphvizException
NotCustomAttr forall b c a. (b -> c) -> (a -> b) -> a -> c
. AttributeName -> String
T.unpack
forall a b. (a -> b) -> a -> b
$ forall a. PrintDot a => a -> AttributeName
printIt Attribute
attr
customName :: CustomAttribute -> AttributeName
customName :: Attribute -> AttributeName
customName (UnknownAttribute AttributeName
nm AttributeName
_) = AttributeName
nm
customName Attribute
attr = forall a e. Exception e => e -> a
throw forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> GraphvizException
NotCustomAttr forall b c a. (b -> c) -> (a -> b) -> a -> c
. AttributeName -> String
T.unpack
forall a b. (a -> b) -> a -> b
$ forall a. PrintDot a => a -> AttributeName
printIt Attribute
attr
findCustoms :: Attributes -> ([CustomAttribute], Attributes)
findCustoms :: [Attribute] -> ([Attribute], [Attribute])
findCustoms = forall a. (a -> Bool) -> [a] -> ([a], [a])
partition Attribute -> Bool
isCustom
findSpecifiedCustom :: AttributeName -> Attributes
-> Maybe (CustomAttribute, Attributes)
findSpecifiedCustom :: AttributeName -> [Attribute] -> Maybe (Attribute, [Attribute])
findSpecifiedCustom AttributeName
nm [Attribute]
attrs
= case forall a. (a -> Bool) -> [a] -> ([a], [a])
break (AttributeName -> Attribute -> Bool
isSpecifiedCustom AttributeName
nm) [Attribute]
attrs of
([Attribute]
bf,Attribute
cust:[Attribute]
aft) -> forall a. a -> Maybe a
Just (Attribute
cust, [Attribute]
bf forall a. [a] -> [a] -> [a]
++ [Attribute]
aft)
([Attribute], [Attribute])
_ -> forall a. Maybe a
Nothing
deleteCustomAttributes :: Attributes -> Attributes
deleteCustomAttributes :: [Attribute] -> [Attribute]
deleteCustomAttributes = forall a. (a -> Bool) -> [a] -> [a]
filter (Bool -> Bool
not forall b c a. (b -> c) -> (a -> b) -> a -> c
. Attribute -> Bool
isCustom)
deleteSpecifiedCustom :: AttributeName -> Attributes -> Attributes
deleteSpecifiedCustom :: AttributeName -> [Attribute] -> [Attribute]
deleteSpecifiedCustom AttributeName
nm = forall a. (a -> Bool) -> [a] -> [a]
filter (Bool -> Bool
not forall b c a. (b -> c) -> (a -> b) -> a -> c
. AttributeName -> Attribute -> Bool
isSpecifiedCustom AttributeName
nm)