img/catafix-project-hl-3.svg

<?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.43.0 (0)
 -->
<!-- Title: %3 Pages: 1 -->
<svg width="476pt" height="44pt"
 viewBox="0.00 0.00 476.00 44.00" 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 40)">
<title>%3</title>
<!-- ListFList -->
<g id="node1" class="node">
<title>ListFList</title>
<path fill="#b2ebf2" stroke="#dddddd" d="M178,-36C178,-36 137,-36 137,-36 131,-36 125,-30 125,-24 125,-24 125,-12 125,-12 125,-6 131,0 137,0 137,0 178,0 178,0 184,0 190,-6 190,-12 190,-12 190,-24 190,-24 190,-30 184,-36 178,-36"/>
<text text-anchor="middle" x="157.5" y="-14.3" font-family="Segoe UI,Roboto,Helvetica,Arial,sans-serif" font-size="14.00" fill="#dddddd">F[Fix[F]]</text>
</g>
<!-- ListFA -->
<g id="node2" class="node">
<title>ListFA</title>
<path fill="#b2ebf2" stroke="#2980b9" d="M329,-36C329,-36 299,-36 299,-36 293,-36 287,-30 287,-24 287,-24 287,-12 287,-12 287,-6 293,0 299,0 299,0 329,0 329,0 335,0 341,-6 341,-12 341,-12 341,-24 341,-24 341,-30 335,-36 329,-36"/>
<text text-anchor="middle" x="314" y="-14.3" font-family="Segoe UI,Roboto,Helvetica,Arial,sans-serif" font-size="14.00" fill="#000000">F[A]</text>
</g>
<!-- ListFList&#45;&gt;ListFA -->
<g id="edge2" class="edge">
<title>ListFList&#45;&gt;ListFA</title>
<path fill="none" stroke="#dddddd" d="M190.14,-18C215.12,-18 250.03,-18 276.25,-18"/>
<polygon fill="#dddddd" stroke="#dddddd" points="276.54,-21.5 286.54,-18 276.54,-14.5 276.54,-21.5"/>
<text text-anchor="middle" x="238.5" y="-21.2" font-family="Segoe UI,Roboto,Helvetica,Arial,sans-serif" font-size="11.00" fill="#dddddd">map(_, loop)</text>
</g>
<!-- A -->
<g id="node4" class="node">
<title>A</title>
<path fill="#b2ebf2" stroke="#2980b9" d="M456,-36C456,-36 426,-36 426,-36 420,-36 414,-30 414,-24 414,-24 414,-12 414,-12 414,-6 420,0 426,0 426,0 456,0 456,0 462,0 468,-6 468,-12 468,-12 468,-24 468,-24 468,-30 462,-36 456,-36"/>
<text text-anchor="middle" x="441" y="-14.3" font-family="Segoe UI,Roboto,Helvetica,Arial,sans-serif" font-size="14.00" fill="#000000">A</text>
</g>
<!-- ListFA&#45;&gt;A -->
<g id="edge3" class="edge">
<title>ListFA&#45;&gt;A</title>
<path fill="none" stroke="#2980b9" d="M341.2,-18C359.37,-18 383.8,-18 403.82,-18"/>
<polygon fill="#2980b9" stroke="#2980b9" points="403.83,-21.5 413.83,-18 403.83,-14.5 403.83,-21.5"/>
<text text-anchor="middle" x="377.5" y="-21.2" font-family="Segoe UI,Roboto,Helvetica,Arial,sans-serif" font-size="11.00" fill="#000000">algebra</text>
</g>
<!-- B -->
<g id="node3" class="node">
<title>B</title>
<path fill="#b2ebf2" stroke="#dddddd" d="M42,-36C42,-36 12,-36 12,-36 6,-36 0,-30 0,-24 0,-24 0,-12 0,-12 0,-6 6,0 12,0 12,0 42,0 42,0 48,0 54,-6 54,-12 54,-12 54,-24 54,-24 54,-30 48,-36 42,-36"/>
<text text-anchor="middle" x="27" y="-14.3" font-family="Segoe UI,Roboto,Helvetica,Arial,sans-serif" font-size="14.00" fill="#dddddd">Fix[F]</text>
</g>
<!-- B&#45;&gt;ListFList -->
<g id="edge1" class="edge">
<title>B&#45;&gt;ListFList</title>
<path fill="none" stroke="#dddddd" d="M54,-18C71.37,-18 94.58,-18 114.53,-18"/>
<polygon fill="#dddddd" stroke="#dddddd" points="114.62,-21.5 124.62,-18 114.62,-14.5 114.62,-21.5"/>
<text text-anchor="middle" x="89.5" y="-21.2" font-family="Segoe UI,Roboto,Helvetica,Arial,sans-serif" font-size="11.00" fill="#dddddd">_.value</text>
</g>
</g>
</svg>