packages feed

clash-prelude-0.6: doc/stepLock.svg

<?xml version="1.0"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" version="1.1" viewBox="16 76 518 235" width="518pt" height="235pt"><metadata xmlns:dc="http://purl.org/dc/elements/1.1/"><dc:date>2014-11-05 13:00Z</dc:date><!-- Produced by OmniGraffle Professional 5.2.2 --></metadata><defs><font-face font-family="Helvetica" font-size="9" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><font-face font-family="Courier" font-size="9" units-per-em="1000" underline-position="-178.22266" underline-thickness="57.617188" slope="0" x-height="462.40234" cap-height="594.72656" ascent="753.90625" descent="-246.09375" font-weight="500"><font-face-src><font-face-name name="Courier"/></font-face-src></font-face><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" viewBox="-9 -4 10 8" markerWidth="10" markerHeight="8" color="black"><g><path d="M -8 0 L 0 3 L 0 -3 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker_2" viewBox="-1 -4 10 8" markerWidth="10" markerHeight="8" color="black"><g><path d="M 8 0 L 0 -3 L 0 3 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker_3" viewBox="-1 -4 8 8" markerWidth="8" markerHeight="8" color="black"><g><path d="M 5.6000004 0 L 0 -2.1000001 L 0 2.1000001 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker_4" viewBox="-1 -4 8 8" markerWidth="8" markerHeight="8" color="black"><g><path d="M 5.5999994 0 L 0 -2.0999999 L 0 2.0999999 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker_5" viewBox="-1 -4 8 8" markerWidth="8" markerHeight="8" color="black"><g><path d="M 5.6 0 L 0 -2.0999999 L 0 2.0999999 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker></defs><g stroke="none" stroke-opacity="1" stroke-dasharray="none" fill="none" fill-opacity="1"><title>Canvas 1</title><rect fill="white" width="559" height="783"/><g><title>Layer 1</title><path d="M 164.80078 124.5 L 298.23438 124.5 C 300.99579 124.5 303.23438 126.73858 303.23438 129.5 L 303.23438 275.875 C 303.23438 278.63641 300.99579 280.875 298.23438 280.875 L 164.80078 280.875 C 162.03935 280.875 159.80078 278.63641 159.80078 275.875 C 159.80078 275.875 159.80078 275.875 159.80078 275.875 L 159.80078 129.5 C 159.80078 126.73858 162.03935 124.5 164.80078 124.5 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 37.214844 91.375 L 496.19727 91.375 C 498.95868 91.375 501.19727 93.61358 501.19727 96.375 L 501.19727 303.71094 C 501.19727 306.47235 498.95868 308.71094 496.19727 308.71094 L 37.214844 308.71094 C 34.453419 308.71094 32.214844 306.47235 32.214844 303.71094 C 32.214844 303.71094 32.214844 303.71094 32.214844 303.71094 L 32.214836 96.375 C 32.214836 93.61358 34.453411 91.375 37.214836 91.375 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 47.19922 108.089844 L 314.11328 108.089844 C 316.8747 108.089844 319.11328 110.32842 319.11328 113.089844 L 319.11328 291.21484 C 319.11328 293.97626 316.8747 296.21484 314.11328 296.21484 L 47.19922 296.21484 C 44.437794 296.21484 42.19922 293.97626 42.19922 291.21484 C 42.19922 291.21484 42.19922 291.21484 42.19922 291.21484 L 42.19921 113.089844 C 42.19921 110.32842 44.437786 108.089844 47.19921 108.089844 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 227.46118 175.18359 L 238.50488 175.18359 C 244.02673 175.18359 249.54858 172.97485 249.54858 166.34863 C 249.54858 159.72241 244.02673 157.51367 238.50488 157.51367 L 227.46118 157.51367 Z" fill="white"/><path d="M 227.46118 175.18359 L 238.50488 175.18359 C 244.02673 175.18359 249.54858 172.97485 249.54858 166.34863 C 249.54858 159.72241 244.02673 157.51367 238.50488 157.51367 L 227.46118 157.51367 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(232.46118 160.84863)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x=".04077053" y="9" textLength="12.0058594">&amp;&amp;</tspan></text><path d="M 63.339783 138.59375 L 130.32611 138.59375 C 133.08754 138.59375 135.32611 140.83232 135.32611 143.59375 L 135.32611 268.625 C 135.32611 271.38641 133.08754 273.625 130.32611 273.625 L 63.339783 273.625 C 60.578358 273.625 58.339783 271.38641 58.339783 268.625 C 58.339783 268.625 58.339783 268.625 58.339783 268.625 L 58.33978 143.59375 C 58.33978 140.83232 60.578354 138.59375 63.33978 138.59375 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(64.34955 146.80069)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".19824219" y="9" textLength="21.603516">data</tspan></text><text transform="translate(61.34955 199.5)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".49780273" y="9" textLength="27.004395">valid</tspan></text><text transform="translate(103.82611 258.48428)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".49780273" y="9" textLength="27.004395">ready</tspan></text><text transform="translate(106.82611 147.80069)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".19824219" y="9" textLength="21.603516">data</tspan></text><text transform="translate(103.82611 199.5)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".49780273" y="9" textLength="27.004395">valid</tspan></text><text transform="translate(61.34955 258.48428)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".49780273" y="9" textLength="27.004395">ready</tspan></text><text transform="translate(93.832947 125.5)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".29956055" y="9" textLength="5.400879">h</tspan></text><text transform="translate(162.5 76.5)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".48242188" y="9" textLength="216.03516">h `seqDF` stepLock `seqDF` (f `parDF` g)</tspan></text><path d="M 19.330471 206.57925 L 19 206.57925 L 58.853516 206.80093" marker-start="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 19.330471 153.47174 L 19 153.47174 L 58.853516 153.69342" marker-start="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="58.771545" y1="264.01569" x2="29.739782" y2="264.01569" marker-end="url(#FilledArrow_Marker_2)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 334.5 122.339844 L 480.0078 122.339844 C 482.76923 122.339844 485.0078 124.57842 485.0078 127.33984 L 485.0078 273.71484 C 485.0078 276.47626 482.76923 278.71484 480.0078 278.71484 L 334.5 278.71484 C 331.73859 278.71484 329.5 276.47626 329.5 273.71484 C 329.5 273.71484 329.5 273.71484 329.5 273.71484 L 329.5 127.33984 C 329.5 124.57842 331.73859 122.339844 334.5 122.339844 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 357.28906 139.66406 L 454.3496 139.66406 C 457.11102 139.66406 459.3496 141.90263 459.3496 144.66406 L 459.3496 188.36328 C 459.3496 191.12471 457.11102 193.36328 454.3496 193.36328 L 357.28906 193.36328 C 354.52765 193.36328 352.28906 191.12471 352.28906 188.36328 C 352.28906 188.36328 352.28906 188.36328 352.28906 188.36328 L 352.28906 144.66406 C 352.28906 141.90263 354.52765 139.66406 357.28906 139.66406 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(358.29883 147.171875)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".19824219" y="9" textLength="21.603516">data</tspan></text><text transform="translate(355.29883 161.01367)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".49780273" y="9" textLength="27.004395">valid</tspan></text><text transform="translate(428.2754 174.85547)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".49780273" y="9" textLength="27.004395">ready</tspan></text><text transform="translate(431.2754 147.171875)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".19824219" y="9" textLength="21.603516">data</tspan></text><text transform="translate(428.2754 161.01367)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".49780273" y="9" textLength="27.004395">valid</tspan></text><text transform="translate(355.29883 174.85547)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".49780273" y="9" textLength="27.004395">ready</tspan></text><text transform="translate(402.81934 126.66406)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".29956055" y="9" textLength="5.400879">f</tspan></text><line x1="459.8496" y1="153.08885" x2="515.93945" y2="153.08884" marker-end="url(#FilledArrow_Marker_3)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="459.84958" y1="166.51366" x2="515.72266" y2="166.51366" marker-end="url(#FilledArrow_Marker_4)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(377.28418 109)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".29516602" y="9" textLength="59.409668">f `parDF` g</tspan></text><path d="M 357.28906 211.4375 L 454.3496 211.4375 C 457.11102 211.4375 459.3496 213.67607 459.3496 216.4375 L 459.3496 260.13672 C 459.3496 262.89813 457.11102 265.13672 454.3496 265.13672 L 357.28906 265.13672 C 354.52765 265.13672 352.28906 262.89813 352.28906 260.13672 C 352.28906 260.13672 352.28906 260.13672 352.28906 260.13672 L 352.28906 216.4375 C 352.28906 213.67607 354.52765 211.4375 357.28906 211.4375 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(358.29883 218.94531)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".19824219" y="9" textLength="21.603516">data</tspan></text><text transform="translate(355.29883 232.78711)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".49780273" y="9" textLength="27.004395">valid</tspan></text><text transform="translate(428.2754 246.6289)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".49780273" y="9" textLength="27.004395">ready</tspan></text><text transform="translate(431.2754 218.94531)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".19824219" y="9" textLength="21.603516">data</tspan></text><text transform="translate(428.2754 232.78711)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".49780273" y="9" textLength="27.004395">valid</tspan></text><text transform="translate(355.29883 246.6289)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".49780273" y="9" textLength="27.004395">ready</tspan></text><text transform="translate(402.81934 198.4375)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".29956055" y="9" textLength="5.400879">g</tspan></text><line x1="459.8496" y1="224.86229" x2="515.93945" y2="224.86227" marker-end="url(#FilledArrow_Marker_3)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="459.84958" y1="238.2871" x2="515.72266" y2="238.2871" marker-end="url(#FilledArrow_Marker_4)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 135.40033 152.92075 L 342.78906 153.08887 L 344.78906 153.08887" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 225.4563 247.45703 L 236.5 247.45703 C 242.02185 247.45703 247.5437 245.24829 247.5437 238.62207 C 247.5437 231.99585 242.02185 229.78711 236.5 229.78711 L 225.4563 229.78711 Z" fill="white"/><path d="M 225.4563 247.45703 L 236.5 247.45703 C 242.02185 247.45703 247.5437 245.24829 247.5437 238.62207 C 247.5437 231.99585 242.02185 229.78711 236.5 229.78711 L 225.4563 229.78711 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(230.4563 233.12207)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x=".04077053" y="9" textLength="12.0058594">&amp;&amp;</tspan></text><path d="M 191.95874 272.77426 L 180.91504 272.77426 C 175.39319 272.77426 169.87134 270.56552 169.87134 263.9393 C 169.87134 257.31308 175.39319 255.10434 180.91504 255.10434 L 191.95874 255.10434 Z" fill="white"/><path d="M 191.95874 272.77426 L 180.91504 272.77426 C 175.39319 272.77426 169.87134 270.56552 169.87134 263.9393 C 169.87134 257.31308 175.39319 255.10434 180.91504 255.10434 L 191.95874 255.10434 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(174.87134 258.4393)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x=".04077053" y="9" textLength="12.0058594">&amp;&amp;</tspan></text><line x1="169.87134" y1="263.9393" x2="142.82611" y2="263.9393" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 352.28906 179.93843 L 342.78906 179.93843 L 271.78906 179.93843 L 271.78906 259.54868 L 201.24838 259.54868 L 199.24838 259.54868" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 352.28906 251.71187 L 342.78906 251.71187 L 287.78906 251.71187 L 287.78906 268.57574 L 201.45874 268.57574 L 199.45874 268.57574" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="249.54858" y1="166.34863" x2="344.78906" y2="166.5016" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 247.5437 238.62207 L 266.2891 238.56212 C 266.27151 233.06215 277.27145 233.02698 277.28903 238.52695 L 344.7891 238.31107" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 135.32611 206.10934 L 144.82611 206.10934 L 181.82611 206.10934 L 181.82611 161.95801 L 218.17154 161.95801 L 220.17154 161.95801" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="181.82611" cy="204.55278" r="1.3286148" fill="black"/><circle cx="181.82611" cy="204.55278" r="1.3286148" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 183.34058 205.578 L 192.84058 205.578 L 215.84058 205.578 L 215.84058 234.23145 L 216.16666 234.23145 L 218.16666 234.23145" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="214.01781" cy="259.54868" r="1.3286213" fill="black"/><circle cx="214.01781" cy="259.54868" r="1.3286213" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 215.06876 258.05194 L 215.06876 248.55194 L 215.06876 243.25848 L 215.9563 243.25848 L 217.9563 243.25848" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="207.03952" cy="268.54868" r="1.3286213" fill="black"/><circle cx="207.03952" cy="268.54868" r="1.3286213" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 207.41418 266.7587 L 207.41418 265.04868 C 201.91418 265.04868 201.91418 254.04921 207.41418 254.04921 L 207.41418 211.078 C 201.91418 211.078 201.91418 200.078 207.41418 200.078 L 207.41418 170.98505 L 217.96118 170.98505 L 219.96118 170.98505" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 135.90033 155.13574 L 287.93555 155.13574 L 287.93555 160.91028 C 293.43555 160.91028 293.43555 171.91028 287.93555 171.91028 L 287.93555 174.43843 C 293.43555 174.43843 293.43555 185.43843 287.93555 185.43843 L 287.93555 222.96094 L 287.93555 224.8623 L 342.78906 224.8623 L 344.78906 224.8623" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(212.5 110.5)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".39648438" y="9" textLength="43.20703">stepLock</tspan></text><text transform="translate(138.03711 95.4375)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".39208984" y="9" textLength="97.21582">h `seqDF` stepLock</tspan></text><path d="M 521.52307 181.57925 L 521.85352 181.57925 L 460 181.80093" marker-start="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 520.52307 253.07925 L 520.85352 253.07925 L 459 253.30093" marker-start="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g></g></svg>