ghcup-hs/docs/modules_small.svg

537 lines
27 KiB
XML
Raw Permalink Normal View History

2021-10-05 19:36:50 +00:00
<?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">
2023-11-13 07:21:54 +00:00
<!-- Generated by graphviz version 5.0.0 (0)
2021-10-05 19:36:50 +00:00
-->
<!-- Title: G Pages: 1 -->
2021-10-17 19:17:14 +00:00
<svg width="720pt" height="648pt"
2023-11-13 07:21:54 +00:00
viewBox="0.00 0.00 719.74 648.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(0.580229 0.580229) rotate(0) translate(4 1112.8)">
2021-10-05 19:36:50 +00:00
<title>G</title>
2023-11-13 07:21:54 +00:00
<polygon fill="white" stroke="transparent" points="-4,4 -4,-1112.8 1236.45,-1112.8 1236.45,4 -4,4"/>
2021-10-05 19:36:50 +00:00
<g id="clust1" class="cluster">
<title>cluster_0</title>
2023-11-13 07:21:54 +00:00
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="8,-14.04 8,-1094.76 1156,-1094.76 1156,-14.04 8,-14.04"/>
<text text-anchor="middle" x="582" y="-1079.56" font-family="Times,serif" font-size="14.00">GHCup</text>
2021-10-05 19:36:50 +00:00
</g>
<g id="clust2" class="cluster">
<title>cluster_1</title>
2023-11-13 07:21:54 +00:00
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="661,-700.02 661,-963.18 929,-963.18 929,-700.02 661,-700.02"/>
<text text-anchor="middle" x="795" y="-947.98" font-family="Times,serif" font-size="14.00">Download</text>
2021-10-05 19:36:50 +00:00
</g>
<g id="clust3" class="cluster">
<title>cluster_2</title>
2023-11-13 07:21:54 +00:00
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="545,-28.07 545,-685.98 1020,-685.98 1020,-28.07 545,-28.07"/>
<text text-anchor="middle" x="782.5" y="-670.78" font-family="Times,serif" font-size="14.00">Prelude</text>
2021-10-05 19:36:50 +00:00
</g>
<g id="clust4" class="cluster">
<title>cluster_3</title>
2023-11-13 07:21:54 +00:00
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="558,-154.39 558,-285.97 735,-285.97 735,-154.39 558,-154.39"/>
<text text-anchor="middle" x="646.5" y="-270.77" font-family="Times,serif" font-size="14.00">File</text>
2021-10-05 19:36:50 +00:00
</g>
<g id="clust5" class="cluster">
<title>cluster_4</title>
2023-11-13 07:21:54 +00:00
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="553,-300.01 553,-431.59 771,-431.59 771,-300.01 553,-300.01"/>
<text text-anchor="middle" x="662" y="-416.39" font-family="Times,serif" font-size="14.00">Logger</text>
2021-10-05 19:36:50 +00:00
</g>
<g id="clust6" class="cluster">
<title>cluster_5</title>
2023-11-13 07:21:54 +00:00
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="779,-300.01 779,-431.59 1012,-431.59 1012,-300.01 779,-300.01"/>
<text text-anchor="middle" x="895.5" y="-416.39" font-family="Times,serif" font-size="14.00">Process</text>
2021-10-05 19:36:50 +00:00
</g>
<g id="clust7" class="cluster">
<title>cluster_6</title>
2023-11-13 07:21:54 +00:00
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="699,-500.01 699,-631.59 769,-631.59 769,-500.01 699,-500.01"/>
<text text-anchor="middle" x="734" y="-616.39" font-family="Times,serif" font-size="14.00">String</text>
2021-10-17 19:17:14 +00:00
</g>
<g id="clust8" class="cluster">
<title>cluster_7</title>
2023-11-13 07:21:54 +00:00
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="942,-500.01 942,-631.59 1012,-631.59 1012,-500.01 942,-500.01"/>
<text text-anchor="middle" x="977" y="-616.39" font-family="Times,serif" font-size="14.00">Version</text>
2021-10-05 19:36:50 +00:00
</g>
2022-05-22 22:00:57 +00:00
<g id="clust9" class="cluster">
<title>cluster_8</title>
2023-11-13 07:21:54 +00:00
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="16,-140.35 16,-485.98 413,-485.98 413,-140.35 16,-140.35"/>
<text text-anchor="middle" x="214.5" y="-470.78" font-family="Times,serif" font-size="14.00">Types</text>
2021-10-05 19:36:50 +00:00
</g>
2022-05-22 22:00:57 +00:00
<g id="clust10" class="cluster">
<title>cluster_9</title>
2023-11-13 07:21:54 +00:00
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="24,-154.39 24,-431.59 230,-431.59 230,-154.39 24,-154.39"/>
<text text-anchor="middle" x="127" y="-416.39" font-family="Times,serif" font-size="14.00">JSON</text>
2021-10-05 19:36:50 +00:00
</g>
2022-05-22 22:00:57 +00:00
<g id="clust11" class="cluster">
<title>cluster_10</title>
2023-11-13 07:21:54 +00:00
<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="418,-700.02 418,-831.6 580,-831.6 580,-700.02 418,-700.02"/>
<text text-anchor="middle" x="499" y="-816.4" font-family="Times,serif" font-size="14.00">Utils</text>
2021-10-05 19:36:50 +00:00
</g>
2022-05-22 22:00:57 +00:00
<!-- u2 -->
<g id="node1" class="node">
<title>u2</title>
2023-11-13 07:21:54 +00:00
<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="864" cy="-877.04" rx="56.59" ry="18"/>
<text text-anchor="middle" x="864" y="-873.34" font-family="Times,serif" font-size="14.00">Download</text>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u15 -->
<g id="node26" class="node">
<title>u15</title>
<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="1097" cy="-746.04" rx="51.19" ry="18"/>
<text text-anchor="middle" x="1097" y="-742.34" font-family="Times,serif" font-size="14.00">Platform</text>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u2&#45;&gt;u15 -->
2022-05-22 22:00:57 +00:00
<g id="edge20" class="edge">
2023-11-13 07:21:54 +00:00
<title>u2&#45;&gt;u15</title>
<path fill="none" stroke="black" d="M898.14,-862.66C933.72,-848.11 990.51,-823.14 1036,-795.04 1048.03,-787.6 1060.45,-778.2 1070.92,-769.69"/>
<polygon fill="black" stroke="black" points="1073.38,-772.18 1078.85,-763.11 1068.92,-766.8 1073.38,-772.18"/>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u22 -->
<g id="node27" class="node">
<title>u22</title>
<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="982" cy="-746.04" rx="45.49" ry="18"/>
<text text-anchor="middle" x="982" y="-742.34" font-family="Times,serif" font-size="14.00">Version</text>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u2&#45;&gt;u22 -->
2022-05-22 22:00:57 +00:00
<g id="edge21" class="edge">
2023-11-13 07:21:54 +00:00
<title>u2&#45;&gt;u22</title>
<path fill="none" stroke="black" d="M879.18,-859.44C899.83,-836.86 936.88,-796.37 960.41,-770.64"/>
<polygon fill="black" stroke="black" points="963.08,-772.91 967.24,-763.17 957.91,-768.18 963.08,-772.91"/>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u28 -->
2022-05-22 22:00:57 +00:00
<g id="node2" class="node">
2023-11-13 07:21:54 +00:00
<title>u28</title>
<ellipse fill="#bbbbff" stroke="black" stroke-width="0" cx="777" cy="-746.04" rx="33.29" ry="18"/>
<text text-anchor="middle" x="777" y="-742.34" font-family="Times,serif" font-size="14.00">Utils</text>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u16 -->
<g id="node12" class="node">
<title>u16</title>
<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="826" cy="-546.04" rx="46.59" ry="18"/>
<text text-anchor="middle" x="826" y="-542.34" font-family="Times,serif" font-size="14.00">Prelude</text>
</g>
<!-- u28&#45;&gt;u16 -->
2022-05-22 22:00:57 +00:00
<g id="edge22" class="edge">
2023-11-13 07:21:54 +00:00
<title>u28&#45;&gt;u16</title>
<path fill="none" stroke="black" d="M781.18,-728.15C789.67,-693.83 809.02,-615.63 819.3,-574.11"/>
<polygon fill="black" stroke="black" points="822.76,-574.7 821.76,-564.16 815.96,-573.02 822.76,-574.7"/>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u31 -->
2021-10-05 19:36:50 +00:00
<g id="node3" class="node">
2023-11-13 07:21:54 +00:00
<title>u31</title>
<ellipse fill="#bbbbff" stroke="black" stroke-width="0" cx="729" cy="-877.04" rx="60.39" ry="18"/>
<text text-anchor="middle" x="729" y="-873.34" font-family="Times,serif" font-size="14.00">IOStreams</text>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u31&#45;&gt;u28 -->
2022-05-22 22:00:57 +00:00
<g id="edge23" class="edge">
2023-11-13 07:21:54 +00:00
<title>u31&#45;&gt;u28</title>
<path fill="none" stroke="black" d="M735.37,-858.91C743.52,-837 757.72,-798.86 767.23,-773.28"/>
<polygon fill="black" stroke="black" points="770.55,-774.42 770.75,-763.83 763.98,-771.98 770.55,-774.42"/>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u19 -->
2021-10-05 19:36:50 +00:00
<g id="node4" class="node">
2023-11-13 07:21:54 +00:00
<title>u19</title>
<ellipse fill="#ffbbbb" stroke="black" stroke-width="2" cx="595" cy="-200.04" rx="28.7" ry="18"/>
<text text-anchor="middle" x="595" y="-196.34" font-family="Times,serif" font-size="14.00">File</text>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u17 -->
<g id="node14" class="node">
<title>u17</title>
<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="601" cy="-74.04" rx="48.19" ry="18"/>
<text text-anchor="middle" x="601" y="-70.34" font-family="Times,serif" font-size="14.00">Internal</text>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u19&#45;&gt;u17 -->
<g id="edge27" class="edge">
<title>u19&#45;&gt;u17</title>
<path fill="none" stroke="black" d="M595.83,-181.79C596.83,-161.25 598.5,-126.67 599.67,-102.44"/>
<polygon fill="black" stroke="black" points="603.19,-102.29 600.17,-92.13 596.19,-101.95 603.19,-102.29"/>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u3 -->
<g id="node25" class="node">
<title>u3</title>
<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="462" cy="-346.04" rx="40.89" ry="18"/>
<text text-anchor="middle" x="462" y="-342.34" font-family="Times,serif" font-size="14.00">Errors</text>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u19&#45;&gt;u3 -->
2022-05-22 22:00:57 +00:00
<g id="edge26" class="edge">
2023-11-13 07:21:54 +00:00
<title>u19&#45;&gt;u3</title>
<path fill="none" stroke="black" d="M581,-216.2C557.77,-241.35 511.1,-291.87 483.62,-321.63"/>
<polygon fill="black" stroke="black" points="480.96,-319.35 476.74,-329.07 486.1,-324.1 480.96,-319.35"/>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u12 -->
<g id="node5" class="node">
<title>u12</title>
<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="684" cy="-200.04" rx="42.79" ry="18"/>
<text text-anchor="middle" x="684" y="-196.34" font-family="Times,serif" font-size="14.00">Search</text>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u4 -->
<g id="node18" class="node">
<title>u4</title>
<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="367" cy="-200.04" rx="38.19" ry="18"/>
<text text-anchor="middle" x="367" y="-196.34" font-family="Times,serif" font-size="14.00">Types</text>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u12&#45;&gt;u4 -->
2022-05-22 22:00:57 +00:00
<g id="edge28" class="edge">
2023-11-13 07:21:54 +00:00
<title>u12&#45;&gt;u4</title>
<path fill="none" stroke="black" d="M677.28,-217.85C668.51,-238.23 651.02,-270.58 624,-284.54 599.91,-296.97 589.55,-290.02 563,-284.54 502.61,-272.07 437.92,-240.11 400.03,-219.26"/>
<polygon fill="black" stroke="black" points="401.43,-216.04 391,-214.22 398.02,-222.15 401.43,-216.04"/>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u18 -->
<g id="node6" class="node">
<title>u18</title>
<ellipse fill="#ffbbbb" stroke="black" stroke-width="2" cx="719" cy="-346.04" rx="43.59" ry="18"/>
<text text-anchor="middle" x="719" y="-342.34" font-family="Times,serif" font-size="14.00">Logger</text>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u18&#45;&gt;u19 -->
2022-05-22 22:00:57 +00:00
<g id="edge29" class="edge">
2023-11-13 07:21:54 +00:00
<title>u18&#45;&gt;u19</title>
<path fill="none" stroke="black" d="M703.82,-329.08C686.13,-310.31 656.24,-278.02 632,-249.04 625.56,-241.33 618.77,-232.7 612.8,-224.9"/>
<polygon fill="black" stroke="black" points="615.52,-222.7 606.69,-216.85 609.95,-226.93 615.52,-222.7"/>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u14 -->
<g id="node7" class="node">
<title>u14</title>
<ellipse fill="#ffbbff" stroke="black" stroke-width="0" cx="609" cy="-346.04" rx="48.19" ry="18"/>
<text text-anchor="middle" x="609" y="-342.34" font-family="Times,serif" font-size="14.00">Internal</text>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u14&#45;&gt;u4 -->
2022-05-22 22:00:57 +00:00
<g id="edge30" class="edge">
2023-11-13 07:21:54 +00:00
<title>u14&#45;&gt;u4</title>
<path fill="none" stroke="black" d="M584.46,-330.44C540.32,-304.17 447.59,-248.99 398.7,-219.9"/>
<polygon fill="black" stroke="black" points="400.21,-216.72 389.82,-214.62 396.63,-222.74 400.21,-216.72"/>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u20 -->
<g id="node8" class="node">
<title>u20</title>
<ellipse fill="#ffbbbb" stroke="black" stroke-width="2" cx="957" cy="-346.04" rx="46.59" ry="18"/>
<text text-anchor="middle" x="957" y="-342.34" font-family="Times,serif" font-size="14.00">Process</text>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u32 -->
<g id="node9" class="node">
<title>u32</title>
<ellipse fill="#77ff77" stroke="black" stroke-width="0" cx="840" cy="-346.04" rx="52.79" ry="18"/>
<text text-anchor="middle" x="840" y="-342.34" font-family="Times,serif" font-size="14.00">Windows</text>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u32&#45;&gt;u12 -->
<g id="edge31" class="edge">
<title>u32&#45;&gt;u12</title>
<path fill="none" stroke="black" d="M822.41,-328.8C794.64,-303.17 740.56,-253.24 708.84,-223.97"/>
<polygon fill="black" stroke="black" points="711.01,-221.21 701.29,-217 706.26,-226.35 711.01,-221.21"/>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u13 -->
<g id="node10" class="node">
<title>u13</title>
<ellipse fill="#ffff77" stroke="black" stroke-width="0" cx="734" cy="-546.04" rx="27" ry="18"/>
<text text-anchor="middle" x="734" y="-542.34" font-family="Times,serif" font-size="14.00">QQ</text>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u21 -->
<g id="node11" class="node">
<title>u21</title>
<ellipse fill="#7777ff" stroke="black" stroke-width="0" cx="977" cy="-546.04" rx="27" ry="18"/>
<text text-anchor="middle" x="977" y="-542.34" font-family="Times,serif" font-size="14.00">QQ</text>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u16&#45;&gt;u18 -->
<g id="edge24" class="edge">
<title>u16&#45;&gt;u18</title>
<path fill="none" stroke="black" d="M816.88,-528.15C798.12,-493.45 755.14,-413.91 732.9,-372.75"/>
<polygon fill="black" stroke="black" points="735.93,-371.01 728.1,-363.87 729.77,-374.34 735.93,-371.01"/>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u10 -->
<g id="node13" class="node">
<title>u10</title>
<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="621" cy="-546.04" rx="67.69" ry="18"/>
<text text-anchor="middle" x="621" y="-542.34" font-family="Times,serif" font-size="14.00">MegaParsec</text>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u10&#45;&gt;u4 -->
<g id="edge25" class="edge">
<title>u10&#45;&gt;u4</title>
<path fill="none" stroke="black" d="M608.83,-528.04C593.2,-505.6 566.08,-464.42 549,-426.04 528.99,-381.07 544.65,-360.74 517,-320.04 486.57,-275.23 434.11,-239.25 399.99,-219.02"/>
<polygon fill="black" stroke="black" points="401.72,-215.97 391.31,-213.97 398.2,-222.02 401.72,-215.97"/>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u8 -->
<g id="node15" class="node">
<title>u8</title>
<ellipse fill="#ff7777" stroke="black" stroke-width="2" cx="68" cy="-346.04" rx="36" ry="18"/>
<text text-anchor="middle" x="68" y="-342.34" font-family="Times,serif" font-size="14.00">JSON</text>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u8&#45;&gt;u10 -->
2022-05-22 22:00:57 +00:00
<g id="edge35" class="edge">
2023-11-13 07:21:54 +00:00
<title>u8&#45;&gt;u10</title>
<path fill="none" stroke="black" d="M73.11,-363.98C79.47,-382.14 92.13,-410.45 113,-426.04 241.65,-522.14 435.74,-542.2 542.93,-545.46"/>
<polygon fill="black" stroke="black" points="542.94,-548.96 553.03,-545.72 543.13,-541.96 542.94,-548.96"/>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u9 -->
<g id="node17" class="node">
<title>u9</title>
<ellipse fill="#77ffff" stroke="black" stroke-width="0" cx="68" cy="-200.04" rx="33.29" ry="18"/>
<text text-anchor="middle" x="68" y="-196.34" font-family="Times,serif" font-size="14.00">Utils</text>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u8&#45;&gt;u9 -->
2022-05-22 22:00:57 +00:00
<g id="edge37" class="edge">
2023-11-13 07:21:54 +00:00
<title>u8&#45;&gt;u9</title>
<path fill="none" stroke="black" d="M68,-327.95C68,-303.38 68,-257.79 68,-228.46"/>
<polygon fill="black" stroke="black" points="71.5,-228.1 68,-218.1 64.5,-228.1 71.5,-228.1"/>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u5 -->
<g id="node19" class="node">
<title>u5</title>
<ellipse fill="#ff7777" stroke="black" stroke-width="0" cx="274" cy="-200.04" rx="36.29" ry="18"/>
<text text-anchor="middle" x="274" y="-196.34" font-family="Times,serif" font-size="14.00">Stack</text>
2021-10-17 19:17:14 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u8&#45;&gt;u5 -->
<g id="edge36" class="edge">
<title>u8&#45;&gt;u5</title>
<path fill="none" stroke="black" d="M91.07,-331.98C135.2,-306.96 227.81,-254.25 234,-249.04 242.13,-242.19 249.89,-233.55 256.38,-225.5"/>
<polygon fill="black" stroke="black" points="259.29,-227.46 262.64,-217.42 253.75,-223.18 259.29,-227.46"/>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u6 -->
<g id="node16" class="node">
<title>u6</title>
<ellipse fill="#77ffff" stroke="black" stroke-width="0" cx="172" cy="-346.04" rx="50.09" ry="18"/>
<text text-anchor="middle" x="172" y="-342.34" font-family="Times,serif" font-size="14.00">Versions</text>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u7 -->
2021-10-17 19:17:14 +00:00
<g id="node22" class="node">
2023-11-13 07:21:54 +00:00
<title>u7</title>
<ellipse fill="#ff77ff" stroke="black" stroke-width="0" cx="457" cy="-746.04" rx="30.59" ry="18"/>
<text text-anchor="middle" x="457" y="-742.34" font-family="Times,serif" font-size="14.00">Dirs</text>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u4&#45;&gt;u7 -->
<g id="edge32" class="edge">
<title>u4&#45;&gt;u7</title>
<path fill="none" stroke="black" stroke-dasharray="5,2" d="M371.51,-218.23C377.33,-241.24 387.28,-283.39 392,-320.04 409.38,-455.08 376.84,-493.26 407,-626.04 414.68,-659.84 431.33,-696.24 443.31,-719.76"/>
<polygon fill="black" stroke="black" points="440.25,-721.44 447.96,-728.7 446.46,-718.22 440.25,-721.44"/>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u5&#45;&gt;u6 -->
<g id="edge33" class="edge">
<title>u5&#45;&gt;u6</title>
<path fill="none" stroke="black" d="M262.44,-217.36C244.69,-242.42 210.6,-290.54 189.72,-320.01"/>
<polygon fill="black" stroke="black" points="186.62,-318.33 183.7,-328.52 192.34,-322.38 186.62,-318.33"/>
2021-10-05 19:36:50 +00:00
</g>
2022-05-22 22:00:57 +00:00
<!-- u11 -->
2023-11-13 07:21:54 +00:00
<g id="node20" class="node">
2022-05-22 22:00:57 +00:00
<title>u11</title>
2023-11-13 07:21:54 +00:00
<ellipse fill="#ff7777" stroke="black" stroke-width="0" cx="343" cy="-346.04" rx="40.09" ry="18"/>
<text text-anchor="middle" x="343" y="-342.34" font-family="Times,serif" font-size="14.00">Optics</text>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u11&#45;&gt;u4 -->
<g id="edge34" class="edge">
<title>u11&#45;&gt;u4</title>
<path fill="none" stroke="black" d="M345.85,-327.95C349.96,-303.27 357.61,-257.39 362.49,-228.08"/>
<polygon fill="black" stroke="black" points="365.96,-228.54 364.16,-218.1 359.06,-227.39 365.96,-228.54"/>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u23 -->
<g id="node21" class="node">
<title>u23</title>
<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="539" cy="-746.04" rx="33.29" ry="18"/>
<text text-anchor="middle" x="539" y="-742.34" font-family="Times,serif" font-size="14.00">Utils</text>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u23&#45;&gt;u2 -->
<g id="edge38" class="edge">
<title>u23&#45;&gt;u2</title>
<path fill="none" stroke="black" d="M564.74,-757.62C588.62,-767.41 625.16,-782.33 657,-795.04 713.2,-817.46 778.2,-842.8 820.15,-859.07"/>
<polygon fill="black" stroke="black" points="818.93,-862.35 829.52,-862.7 821.46,-855.83 818.93,-862.35"/>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u7&#45;&gt;u12 -->
<g id="edge40" class="edge">
<title>u7&#45;&gt;u12</title>
<path fill="none" stroke="black" d="M462.46,-728.29C469.7,-705.44 482.32,-663.09 489,-626.04 497.4,-579.47 487.79,-566.01 499,-520.04 509.67,-476.26 525.92,-469.71 537,-426.04 548.66,-380.08 526.65,-361.85 549,-320.04 572.04,-276.93 596.52,-281.58 633,-249.04 642.03,-240.98 651.75,-231.93 660.25,-223.88"/>
<polygon fill="black" stroke="black" points="662.84,-226.25 667.67,-216.83 658.01,-221.18 662.84,-226.25"/>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u7&#45;&gt;u14 -->
<g id="edge41" class="edge">
<title>u7&#45;&gt;u14</title>
<path fill="none" stroke="black" d="M463.12,-728.34C476.85,-690.97 511.24,-597.71 541,-520.04 560.88,-468.15 584.78,-407.79 598.3,-373.84"/>
<polygon fill="black" stroke="black" points="601.7,-374.77 602.15,-364.19 595.19,-372.18 601.7,-374.77"/>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u7&#45;&gt;u13 -->
<g id="edge42" class="edge">
<title>u7&#45;&gt;u13</title>
<path fill="none" stroke="black" d="M476.64,-732.05C483.03,-728.02 490.22,-723.68 497,-720.04 585.64,-672.38 633.79,-699.1 703,-626.04 716.59,-611.69 724.45,-590.68 728.86,-573.94"/>
<polygon fill="black" stroke="black" points="732.27,-574.7 731.17,-564.16 725.46,-573.08 732.27,-574.7"/>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u7&#45;&gt;u8 -->
<g id="edge44" class="edge">
<title>u7&#45;&gt;u8</title>
<path fill="none" stroke="black" d="M438.75,-731.41C384.23,-690.08 219.78,-560.69 113,-426.04 100.01,-409.65 88.41,-389.06 80.24,-373.01"/>
<polygon fill="black" stroke="black" points="83.19,-371.09 75.62,-363.68 76.92,-374.2 83.19,-371.09"/>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u7&#45;&gt;u11 -->
<g id="edge43" class="edge">
<title>u7&#45;&gt;u11</title>
<path fill="none" stroke="black" d="M446.94,-728.73C433.58,-706.37 410.16,-664.57 397,-626.04 366.47,-536.65 351.4,-424.92 345.75,-374.25"/>
<polygon fill="black" stroke="black" points="349.2,-373.69 344.65,-364.12 342.25,-374.44 349.2,-373.69"/>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u7&#45;&gt;u3 -->
<g id="edge39" class="edge">
<title>u7&#45;&gt;u3</title>
<path fill="none" stroke="black" d="M457.21,-727.93C458,-665.68 460.7,-450.79 461.66,-374.32"/>
<polygon fill="black" stroke="black" points="465.16,-374.12 461.79,-364.07 458.16,-374.03 465.16,-374.12"/>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u0 -->
<g id="node23" class="node">
<title>u0</title>
<ellipse fill="#bbffbb" stroke="black" stroke-width="2" cx="460" cy="-1009.04" rx="44.39" ry="18"/>
<text text-anchor="middle" x="460" y="-1005.34" font-family="Times,serif" font-size="14.00">GHCup</text>
2021-10-05 19:36:50 +00:00
</g>
2022-05-22 22:00:57 +00:00
<!-- u1 -->
2023-11-13 07:21:54 +00:00
<g id="node24" class="node">
2022-05-22 22:00:57 +00:00
<title>u1</title>
2023-11-13 07:21:54 +00:00
<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="286" cy="-877.04" rx="37.09" ry="18"/>
<text text-anchor="middle" x="286" y="-873.34" font-family="Times,serif" font-size="14.00">Cabal</text>
2022-05-22 22:00:57 +00:00
</g>
<!-- u0&#45;&gt;u1 -->
2021-10-17 19:17:14 +00:00
<g id="edge3" class="edge">
2023-11-13 07:21:54 +00:00
<title>u0&#45;&gt;u1</title>
<path fill="none" stroke="black" d="M434.75,-994.25C408.03,-979.13 365.23,-953.36 332,-926.04 323.08,-918.7 314.11,-909.77 306.49,-901.61"/>
<polygon fill="black" stroke="black" points="308.96,-899.13 299.64,-894.1 303.79,-903.85 308.96,-899.13"/>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u24 -->
<g id="node28" class="node">
<title>u24</title>
<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="539" cy="-877.04" rx="32.49" ry="18"/>
<text text-anchor="middle" x="539" y="-873.34" font-family="Times,serif" font-size="14.00">GHC</text>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u0&#45;&gt;u24 -->
2022-05-22 22:00:57 +00:00
<g id="edge4" class="edge">
2023-11-13 07:21:54 +00:00
<title>u0&#45;&gt;u24</title>
<path fill="none" stroke="black" d="M470.17,-991.31C483.75,-968.95 507.94,-929.15 523.72,-903.18"/>
<polygon fill="black" stroke="black" points="526.92,-904.65 529.12,-894.29 520.94,-901.02 526.92,-904.65"/>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u25 -->
<g id="node29" class="node">
<title>u25</title>
<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="620" cy="-877.04" rx="30.59" ry="18"/>
<text text-anchor="middle" x="620" y="-873.34" font-family="Times,serif" font-size="14.00">HLS</text>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u0&#45;&gt;u25 -->
2021-10-17 19:17:14 +00:00
<g id="edge5" class="edge">
2023-11-13 07:21:54 +00:00
<title>u0&#45;&gt;u25</title>
<path fill="none" stroke="black" d="M484.89,-993.83C510.23,-978.75 549.94,-953.36 580,-926.04 587.86,-918.89 595.57,-910.18 602.08,-902.15"/>
<polygon fill="black" stroke="black" points="604.96,-904.15 608.4,-894.13 599.46,-899.83 604.96,-904.15"/>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u26 -->
<g id="node30" class="node">
<title>u26</title>
<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="377" cy="-877.04" rx="36.29" ry="18"/>
<text text-anchor="middle" x="377" y="-873.34" font-family="Times,serif" font-size="14.00">Stack</text>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u0&#45;&gt;u26 -->
2021-10-17 19:17:14 +00:00
<g id="edge6" class="edge">
2023-11-13 07:21:54 +00:00
<title>u0&#45;&gt;u26</title>
<path fill="none" stroke="black" d="M449.32,-991.31C434.98,-968.85 409.41,-928.8 392.83,-902.84"/>
<polygon fill="black" stroke="black" points="395.71,-900.84 387.38,-894.29 389.81,-904.6 395.71,-900.84"/>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u27 -->
<g id="node31" class="node">
<title>u27</title>
<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="460" cy="-877.04" rx="28.7" ry="18"/>
<text text-anchor="middle" x="460" y="-873.34" font-family="Times,serif" font-size="14.00">List</text>
</g>
<!-- u0&#45;&gt;u27 -->
2021-10-17 19:17:14 +00:00
<g id="edge7" class="edge">
2023-11-13 07:21:54 +00:00
<title>u0&#45;&gt;u27</title>
<path fill="none" stroke="black" d="M460,-990.77C460,-969.02 460,-931.36 460,-905.6"/>
<polygon fill="black" stroke="black" points="463.5,-905.37 460,-895.37 456.5,-905.37 463.5,-905.37"/>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u1&#45;&gt;u23 -->
2021-10-17 19:17:14 +00:00
<g id="edge8" class="edge">
2023-11-13 07:21:54 +00:00
<title>u1&#45;&gt;u23</title>
<path fill="none" stroke="black" d="M314.9,-865.36C370.84,-844.64 489.16,-800.51 497,-795.04 506.26,-788.57 514.81,-779.64 521.75,-771.23"/>
<polygon fill="black" stroke="black" points="524.7,-773.14 528.11,-763.11 519.19,-768.82 524.7,-773.14"/>
2021-10-05 19:36:50 +00:00
</g>
2022-05-22 22:00:57 +00:00
<!-- u3&#45;&gt;u4 -->
2021-10-17 19:17:14 +00:00
<g id="edge9" class="edge">
2022-05-22 22:00:57 +00:00
<title>u3&#45;&gt;u4</title>
2023-11-13 07:21:54 +00:00
<path fill="none" stroke="black" d="M451.1,-328.52C434.5,-303.34 402.74,-255.21 383.36,-225.83"/>
<polygon fill="black" stroke="black" points="386.2,-223.78 377.77,-217.36 380.36,-227.64 386.2,-223.78"/>
2021-10-05 19:36:50 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u15&#45;&gt;u20 -->
2022-05-22 22:00:57 +00:00
<g id="edge11" class="edge">
2023-11-13 07:21:54 +00:00
<title>u15&#45;&gt;u20</title>
<path fill="none" stroke="black" d="M1106.22,-728.21C1125.98,-689.79 1168.17,-593.22 1137,-520.04 1107.21,-450.08 1033.73,-394.77 990.42,-366.88"/>
<polygon fill="black" stroke="black" points="992.25,-363.89 981.93,-361.51 988.51,-369.81 992.25,-363.89"/>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u15&#45;&gt;u21 -->
2022-05-22 22:00:57 +00:00
<g id="edge12" class="edge">
2023-11-13 07:21:54 +00:00
<title>u15&#45;&gt;u21</title>
<path fill="none" stroke="black" d="M1082.5,-728.68C1063.49,-706.61 1029.96,-665.48 1008,-626.04 998.71,-609.35 990.88,-589.31 985.41,-573.59"/>
<polygon fill="black" stroke="black" points="988.68,-572.32 982.17,-563.96 982.05,-574.56 988.68,-572.32"/>
</g>
<!-- u15&#45;&gt;u16 -->
<g id="edge10" class="edge">
<title>u15&#45;&gt;u16</title>
<path fill="none" stroke="black" d="M1075.74,-729.5C1027.53,-694.28 909.88,-608.32 855.04,-568.25"/>
<polygon fill="black" stroke="black" points="856.93,-565.3 846.79,-562.23 852.8,-570.95 856.93,-565.3"/>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u22&#45;&gt;u3 -->
2022-05-22 22:00:57 +00:00
<g id="edge13" class="edge">
2023-11-13 07:21:54 +00:00
<title>u22&#45;&gt;u3</title>
<path fill="none" stroke="black" d="M957.08,-730.89C949.51,-726.98 941.06,-723.01 933,-720.04 764.92,-658 670.23,-750.13 541,-626.04 469.68,-557.55 461.3,-429.93 461.26,-374.22"/>
<polygon fill="black" stroke="black" points="464.76,-374.11 461.34,-364.08 457.76,-374.05 464.76,-374.11"/>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u24&#45;&gt;u23 -->
2022-05-22 22:00:57 +00:00
<g id="edge14" class="edge">
2023-11-13 07:21:54 +00:00
<title>u24&#45;&gt;u23</title>
<path fill="none" stroke="black" d="M539,-858.91C539,-837.32 539,-799.95 539,-774.39"/>
<polygon fill="black" stroke="black" points="542.5,-774.24 539,-764.24 535.5,-774.24 542.5,-774.24"/>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u25&#45;&gt;u23 -->
2022-05-22 22:00:57 +00:00
<g id="edge15" class="edge">
2023-11-13 07:21:54 +00:00
<title>u25&#45;&gt;u23</title>
<path fill="none" stroke="black" d="M609.91,-859.96C596.02,-837.85 570.9,-797.84 554.59,-771.86"/>
<polygon fill="black" stroke="black" points="557.5,-769.92 549.22,-763.32 551.58,-773.65 557.5,-769.92"/>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u26&#45;&gt;u23 -->
2022-05-22 22:00:57 +00:00
<g id="edge16" class="edge">
2023-11-13 07:21:54 +00:00
<title>u26&#45;&gt;u23</title>
<path fill="none" stroke="black" d="M399.92,-863.01C425.04,-848.19 465.9,-822.47 497,-795.04 505.22,-787.78 513.36,-778.96 520.26,-770.87"/>
<polygon fill="black" stroke="black" points="523.01,-773.04 526.7,-763.11 517.62,-768.57 523.01,-773.04"/>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u27&#45;&gt;u23 -->
2022-05-22 22:00:57 +00:00
<g id="edge17" class="edge">
2023-11-13 07:21:54 +00:00
<title>u27&#45;&gt;u23</title>
<path fill="none" stroke="black" d="M469.85,-859.96C483.39,-837.85 507.89,-797.84 523.79,-771.86"/>
<polygon fill="black" stroke="black" points="526.79,-773.67 529.03,-763.32 520.82,-770.02 526.79,-773.67"/>
2022-05-22 22:00:57 +00:00
</g>
<!-- u29 -->
2023-11-13 07:21:54 +00:00
<g id="node32" class="node">
2022-05-22 22:00:57 +00:00
<title>u29</title>
2023-11-13 07:21:54 +00:00
<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="1078" cy="-546.04" rx="50.09" ry="18"/>
<text text-anchor="middle" x="1078" y="-542.34" font-family="Times,serif" font-size="14.00">Prompts</text>
</g>
<!-- u29&#45;&gt;u18 -->
<g id="edge18" class="edge">
<title>u29&#45;&gt;u18</title>
<path fill="none" stroke="black" d="M1046.17,-532.12C1036.49,-528.21 1025.82,-523.93 1016,-520.04 909.13,-477.65 865.61,-496.8 775,-426.04 756.67,-411.72 741.79,-389.8 731.99,-372.67"/>
<polygon fill="black" stroke="black" points="734.96,-370.81 727.08,-363.74 728.83,-374.19 734.96,-370.81"/>
</g>
<!-- u30 -->
<g id="node33" class="node">
<title>u30</title>
<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="1015" cy="-877.04" rx="76.09" ry="18"/>
<text text-anchor="middle" x="1015" y="-873.34" font-family="Times,serif" font-size="14.00">Requirements</text>
</g>
<!-- u30&#45;&gt;u22 -->
<g id="edge19" class="edge">
<title>u30&#45;&gt;u22</title>
<path fill="none" stroke="black" d="M1010.62,-858.91C1005.07,-837.22 995.45,-799.61 988.91,-774.05"/>
<polygon fill="black" stroke="black" points="992.27,-773.06 986.4,-764.24 985.49,-774.79 992.27,-773.06"/>
2022-05-22 22:00:57 +00:00
</g>
2023-11-13 07:21:54 +00:00
<!-- u33 -->
<g id="node34" class="node">
<title>u33</title>
<ellipse fill="#bbffbb" stroke="black" stroke-width="0" cx="1198" cy="-1009.04" rx="34.39" ry="18"/>
<text text-anchor="middle" x="1198" y="-1005.34" font-family="Times,serif" font-size="14.00">Main</text>
</g>
<!-- u33&#45;&gt;u24 -->
2022-05-22 22:00:57 +00:00
<g id="edge1" class="edge">
2023-11-13 07:21:54 +00:00
<title>u33&#45;&gt;u24</title>
<path fill="none" stroke="black" d="M1173.88,-995.92C1169.36,-994.03 1164.6,-992.29 1160,-991.04 909.74,-922.81 809.14,-1047.6 580,-926.04 569.88,-920.66 561.18,-911.67 554.44,-902.91"/>
<polygon fill="black" stroke="black" points="557.24,-900.82 548.59,-894.71 551.55,-904.88 557.24,-900.82"/>
</g>
<!-- u33&#45;&gt;u25 -->
<g id="edge2" class="edge">
<title>u33&#45;&gt;u25</title>
<path fill="none" stroke="black" d="M1173.86,-995.98C1169.34,-994.09 1164.59,-992.33 1160,-991.04 943.03,-929.91 852.47,-1038.29 657,-926.04 647.56,-920.61 639.7,-911.73 633.69,-903.07"/>
<polygon fill="black" stroke="black" points="636.64,-901.17 628.31,-894.62 630.73,-904.93 636.64,-901.17"/>
2021-10-05 19:36:50 +00:00
</g>
</g>
</svg>