181 lines
10 KiB
XML
181 lines
10 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
|
|
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
|
|
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
|
|
-->
|
|
<!-- Title: periphery Pages: 1 -->
|
|
<svg width="518pt" height="594pt"
|
|
viewBox="0.00 0.00 518.00 594.17" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
|
|
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 590.1665)">
|
|
<title>periphery</title>
|
|
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-590.1665 514,-590.1665 514,4 -4,4"/>
|
|
<g id="clust1" class="cluster">
|
|
<title>cluster_0</title>
|
|
<polygon fill="none" stroke="#d3d3d3" points="8,-503.1665 8,-578.1665 384,-578.1665 384,-503.1665 8,-503.1665"/>
|
|
<text text-anchor="middle" x="196" y="-562.9665" font-family="Times,serif" font-size="14.00" fill="#000000">input</text>
|
|
</g>
|
|
<g id="clust2" class="cluster">
|
|
<title>cluster_1</title>
|
|
<polygon fill="none" stroke="#d3d3d3" points="162,-8 162,-83 399,-83 399,-8 162,-8"/>
|
|
<text text-anchor="middle" x="280.5" y="-67.8" font-family="Times,serif" font-size="14.00" fill="#000000">output</text>
|
|
</g>
|
|
<!-- stdin/input file -->
|
|
<g id="node1" class="node">
|
|
<title>stdin/input file</title>
|
|
<polygon fill="#d3d3d3" stroke="#d3d3d3" points="138,-547.1665 16,-547.1665 16,-511.1665 138,-511.1665 138,-547.1665"/>
|
|
<text text-anchor="middle" x="77" y="-525.4665" font-family="Times,serif" font-size="14.00" fill="#000000">stdin/input file</text>
|
|
</g>
|
|
<!-- parse -->
|
|
<g id="node12" class="node">
|
|
<title>parse</title>
|
|
<polygon fill="#ffffff" stroke="transparent" points="188.5,-475.1665 11.5,-475.1665 11.5,-439.1665 188.5,-439.1665 188.5,-475.1665"/>
|
|
<text text-anchor="middle" x="100" y="-453.4665" font-family="Times,serif" font-size="14.00" fill="#000000">parse via ghc-exactprint</text>
|
|
</g>
|
|
<!-- stdin/input file->parse -->
|
|
<g id="edge6" class="edge">
|
|
<title>stdin/input file->parse</title>
|
|
<path fill="none" stroke="#666666" stroke-width="2" d="M82.8039,-510.9979C86.2639,-500.1665 90.6442,-486.4541 94.118,-475.5798"/>
|
|
</g>
|
|
<!-- program args -->
|
|
<g id="node2" class="node">
|
|
<title>program args</title>
|
|
<polygon fill="#d3d3d3" stroke="#d3d3d3" points="270,-547.1665 156,-547.1665 156,-511.1665 270,-511.1665 270,-547.1665"/>
|
|
<text text-anchor="middle" x="213" y="-525.4665" font-family="Times,serif" font-size="14.00" fill="#000000">program args</text>
|
|
</g>
|
|
<!-- config -->
|
|
<g id="node6" class="node">
|
|
<title>config</title>
|
|
<polygon fill="#d3d3d3" stroke="#d3d3d3" points="356.5,-475.1665 295.5,-475.1665 295.5,-439.1665 356.5,-439.1665 356.5,-475.1665"/>
|
|
<text text-anchor="middle" x="326" y="-453.4665" font-family="Times,serif" font-size="14.00" fill="#000000">config</text>
|
|
</g>
|
|
<!-- program args->config -->
|
|
<g id="edge1" class="edge">
|
|
<title>program args->config</title>
|
|
<path fill="none" stroke="#666666" stroke-width="2" d="M241.5147,-510.9979C255.8342,-501.8739 273.3624,-490.7056 288.7338,-480.9114"/>
|
|
<polygon fill="#666666" stroke="#666666" stroke-width="2" points="290.9417,-483.6547 297.4945,-475.3293 287.1801,-477.7512 290.9417,-483.6547"/>
|
|
</g>
|
|
<!-- config file -->
|
|
<g id="node3" class="node">
|
|
<title>config file</title>
|
|
<polygon fill="#d3d3d3" stroke="#d3d3d3" points="376,-547.1665 288,-547.1665 288,-511.1665 376,-511.1665 376,-547.1665"/>
|
|
<text text-anchor="middle" x="332" y="-525.4665" font-family="Times,serif" font-size="14.00" fill="#000000">config file</text>
|
|
</g>
|
|
<!-- config file->config -->
|
|
<g id="edge2" class="edge">
|
|
<title>config file->config</title>
|
|
<path fill="none" stroke="#666666" stroke-width="2" d="M330.4859,-510.9979C329.8442,-503.2975 329.0812,-494.1409 328.3681,-485.5832"/>
|
|
<polygon fill="#666666" stroke="#666666" stroke-width="2" points="331.8529,-485.2546 327.5344,-475.5798 324.8771,-485.8359 331.8529,-485.2546"/>
|
|
</g>
|
|
<!-- output -->
|
|
<g id="node4" class="node">
|
|
<title>output</title>
|
|
<polygon fill="#d3d3d3" stroke="#d3d3d3" points="390.5,-52 249.5,-52 249.5,-16 390.5,-16 390.5,-52"/>
|
|
<text text-anchor="middle" x="320" y="-30.3" font-family="Times,serif" font-size="14.00" fill="#000000">stdout/output file</text>
|
|
</g>
|
|
<!-- stderr -->
|
|
<g id="node5" class="node">
|
|
<title>stderr</title>
|
|
<polygon fill="#d3d3d3" stroke="#d3d3d3" points="231.5,-52 170.5,-52 170.5,-16 231.5,-16 231.5,-52"/>
|
|
<text text-anchor="middle" x="201" y="-30.3" font-family="Times,serif" font-size="14.00" fill="#000000">stderr</text>
|
|
</g>
|
|
<!-- ppmcontext -->
|
|
<g id="node13" class="node">
|
|
<title>ppmcontext</title>
|
|
<ellipse fill="none" stroke="#000000" cx="215" cy="-139.0833" rx="214.007" ry="48.1667"/>
|
|
<text text-anchor="middle" x="215" y="-157.8833" font-family="Times,serif" font-size="14.00" fill="#000000">transformation in</text>
|
|
<text text-anchor="middle" x="215" y="-142.8833" font-family="Times,serif" font-size="14.00" fill="#000000">PPM monadic context:</text>
|
|
<text text-anchor="middle" x="215" y="-127.8833" font-family="Times,serif" font-size="14.00" fill="#000000">Reader: Config+Anns</text>
|
|
<text text-anchor="middle" x="215" y="-112.8833" font-family="Times,serif" font-size="14.00" fill="#000000">Writer: Output+Errors(+Debug output)</text>
|
|
</g>
|
|
<!-- config->ppmcontext -->
|
|
<g id="edge9" class="edge">
|
|
<title>config->ppmcontext</title>
|
|
<path fill="none" stroke="#666666" stroke-width="2" d="M324.6965,-439.0662C321.2506,-398.6923 309.7228,-298.8717 276,-223.1665 271.7735,-213.6784 266.3613,-204.2038 260.5108,-195.2166"/>
|
|
<polygon fill="#666666" stroke="#666666" stroke-width="2" points="263.2947,-193.0855 254.7916,-186.765 257.4974,-197.0086 263.2947,-193.0855"/>
|
|
</g>
|
|
<!-- default config -->
|
|
<g id="node7" class="node">
|
|
<title>default config</title>
|
|
<polygon fill="#d3d3d3" stroke="#d3d3d3" points="510,-547.1665 394,-547.1665 394,-511.1665 510,-511.1665 510,-547.1665"/>
|
|
<text text-anchor="middle" x="452" y="-525.4665" font-family="Times,serif" font-size="14.00" fill="#000000">default config</text>
|
|
</g>
|
|
<!-- default config->config -->
|
|
<g id="edge3" class="edge">
|
|
<title>default config->config</title>
|
|
<path fill="none" stroke="#666666" stroke-width="2" d="M420.2049,-510.9979C403.6912,-501.5615 383.3505,-489.9383 365.8014,-479.9102"/>
|
|
<polygon fill="#666666" stroke="#666666" stroke-width="2" points="367.3328,-476.7541 356.9138,-474.8316 363.8598,-482.8319 367.3328,-476.7541"/>
|
|
</g>
|
|
<!-- syntaxtree -->
|
|
<g id="node8" class="node">
|
|
<title>syntaxtree</title>
|
|
<polygon fill="#d3d3d3" stroke="#d3d3d3" points="146.5,-403.1665 53.5,-403.1665 53.5,-367.1665 146.5,-367.1665 146.5,-403.1665"/>
|
|
<text text-anchor="middle" x="100" y="-381.4665" font-family="Times,serif" font-size="14.00" fill="#000000">syntaxtree</text>
|
|
</g>
|
|
<!-- syntaxtree->ppmcontext -->
|
|
<g id="edge11" class="edge">
|
|
<title>syntaxtree->ppmcontext</title>
|
|
<path fill="none" stroke="#666666" stroke-width="2" d="M104.1318,-366.9507C111.5273,-336.188 128.6613,-272.4758 154,-223.1665 158.8594,-213.71 164.7157,-204.1499 170.8519,-195.0353"/>
|
|
<polygon fill="#666666" stroke="#666666" stroke-width="2" points="173.7342,-197.0208 176.5454,-186.8057 167.9776,-193.0382 173.7342,-197.0208"/>
|
|
</g>
|
|
<!-- annotations -->
|
|
<g id="node9" class="node">
|
|
<title>annotations</title>
|
|
<polygon fill="#d3d3d3" stroke="#d3d3d3" points="265.5,-403.1665 164.5,-403.1665 164.5,-367.1665 265.5,-367.1665 265.5,-403.1665"/>
|
|
<text text-anchor="middle" x="215" y="-381.4665" font-family="Times,serif" font-size="14.00" fill="#000000">annotations</text>
|
|
</g>
|
|
<!-- annTrans -->
|
|
<g id="node11" class="node">
|
|
<title>annTrans</title>
|
|
<polygon fill="#ffffff" stroke="transparent" points="281,-331.1665 149,-331.1665 149,-295.1665 281,-295.1665 281,-331.1665"/>
|
|
<text text-anchor="middle" x="215" y="-309.4665" font-family="Times,serif" font-size="14.00" fill="#000000">transform slightly</text>
|
|
</g>
|
|
<!-- annotations->annTrans -->
|
|
<g id="edge4" class="edge">
|
|
<title>annotations->annTrans</title>
|
|
<path fill="none" stroke="#666666" stroke-width="2" d="M215,-366.9979C215,-356.1665 215,-342.4541 215,-331.5798"/>
|
|
</g>
|
|
<!-- annotations' -->
|
|
<g id="node10" class="node">
|
|
<title>annotations'</title>
|
|
<polygon fill="#d3d3d3" stroke="#d3d3d3" points="267,-259.1665 163,-259.1665 163,-223.1665 267,-223.1665 267,-259.1665"/>
|
|
<text text-anchor="middle" x="215" y="-237.4665" font-family="Times,serif" font-size="14.00" fill="#000000">annotations'</text>
|
|
</g>
|
|
<!-- annotations'->ppmcontext -->
|
|
<g id="edge10" class="edge">
|
|
<title>annotations'->ppmcontext</title>
|
|
<path fill="none" stroke="#666666" stroke-width="2" d="M215,-222.9161C215,-215.5879 215,-206.6959 215,-197.4771"/>
|
|
<polygon fill="#666666" stroke="#666666" stroke-width="2" points="218.5001,-197.404 215,-187.404 211.5001,-197.4041 218.5001,-197.404"/>
|
|
</g>
|
|
<!-- annTrans->annotations' -->
|
|
<g id="edge5" class="edge">
|
|
<title>annTrans->annotations'</title>
|
|
<path fill="none" stroke="#666666" stroke-width="2" d="M215,-294.9979C215,-287.2975 215,-278.1409 215,-269.5832"/>
|
|
<polygon fill="#666666" stroke="#666666" stroke-width="2" points="218.5001,-269.5798 215,-259.5798 211.5001,-269.5798 218.5001,-269.5798"/>
|
|
</g>
|
|
<!-- parse->syntaxtree -->
|
|
<g id="edge7" class="edge">
|
|
<title>parse->syntaxtree</title>
|
|
<path fill="none" stroke="#666666" stroke-width="2" d="M100,-438.9979C100,-431.2975 100,-422.1409 100,-413.5832"/>
|
|
<polygon fill="#666666" stroke="#666666" stroke-width="2" points="103.5001,-413.5798 100,-403.5798 96.5001,-413.5798 103.5001,-413.5798"/>
|
|
</g>
|
|
<!-- parse->annotations -->
|
|
<g id="edge8" class="edge">
|
|
<title>parse->annotations</title>
|
|
<path fill="none" stroke="#666666" stroke-width="2" d="M129.0194,-438.9979C143.7286,-429.7886 161.7644,-418.4966 177.5122,-408.6371"/>
|
|
<polygon fill="#666666" stroke="#666666" stroke-width="2" points="179.3714,-411.6026 185.9899,-403.3293 175.6567,-405.6695 179.3714,-411.6026"/>
|
|
</g>
|
|
<!-- ppmcontext->output -->
|
|
<g id="edge12" class="edge">
|
|
<title>ppmcontext->output</title>
|
|
<path fill="none" stroke="#666666" stroke-width="2" d="M261.972,-92.074C273.2851,-80.7519 284.9444,-69.0834 294.8172,-59.2028"/>
|
|
<polygon fill="#666666" stroke="#666666" stroke-width="2" points="297.391,-61.5786 301.9834,-52.0308 292.4393,-56.6308 297.391,-61.5786"/>
|
|
</g>
|
|
<!-- ppmcontext->stderr -->
|
|
<g id="edge13" class="edge">
|
|
<title>ppmcontext->stderr</title>
|
|
<path fill="none" stroke="#666666" stroke-width="2" d="M208.5736,-90.8474C207.2654,-81.0277 205.9302,-71.0061 204.7526,-62.1669"/>
|
|
<polygon fill="#666666" stroke="#666666" stroke-width="2" points="208.1967,-61.5146 203.4067,-52.0645 201.258,-62.4391 208.1967,-61.5146"/>
|
|
</g>
|
|
</g>
|
|
</svg>
|