DotParse.Examples

Examples of conversion from dot ByteStrings

Most examples from https://renenyffenegger.ch/notes/tools/Graphviz/examples/index

Documentation

>>> import DotParse
>>> import Data.Proxy
>>> :set -XOverloadedStrings
>>> import Data.String.Interpolate
>>> import qualified Data.ByteString.Char8 as Char8
>>> import Optics.Core
>>> import Chart

examples

ex0 :: ByteString

minimal definition

>>> runDotParser ex0 :: Graph
Graph {strict = Last {getLast = Just NoMergeEdges}, directed = Last {getLast = Just UnDirected}, graphid = Last {getLast = Nothing}, nodeAttributes = fromList [], graphAttributes = fromList [], edgeAttributes = fromList [], globalAttributes = fromList [], nodes = [], edges = [], subgraphs = []}

>>> testDotParser (Proxy :: Proxy Graph) defaultDotConfig ex0

ex1 :: ByteString

ex2 :: ByteString

ex3 :: ByteString

ex4 :: ByteString

ex5 :: ByteString

ex6 :: ByteString

ex7 :: ByteString

ex8 :: ByteString

ex9 :: ByteString

ex10 :: ByteString

ex11 :: ByteString

ex12 :: ByteString

ex13 :: ByteString

ex14 :: ByteString

ex15 :: ByteString

testAll :: IO ()

Test all the examples

svgAll :: IO ()

Render all the examples

exAGraph :: Graph Int

algebraic graph example

exGraph = defaultGraph & addStatements (toStatements Directed (Char8.pack . show <$> exAGraph))
exGraphAugmented <- processGraph exGraph
writeChartOptions "other/exga.svg" (graphToChart exGraphAugmented)