packages feed

clash-prelude-0.6: doc/lockStep.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="5 75 563 236" width="563pt" height="236pt"><metadata xmlns:dc="http://purl.org/dc/elements/1.1/"><dc:date>2014-11-05 10:53Z</dc:date><!-- Produced by OmniGraffle Professional 5.2.2 --></metadata><defs><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><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_2" 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_3" 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_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><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></defs><g stroke="none" stroke-opacity="1" stroke-dasharray="none" fill="none" fill-opacity="1"><title>Canvas 1</title><rect fill="white" width="1118" height="783"/><g><title>Layer 1</title><path d="M 34.933594 89.285156 L 528.07617 89.285156 C 530.8376 89.285156 533.07617 91.523735 533.07617 94.285156 L 533.07617 303.20673 C 533.07617 305.96814 530.8376 308.20673 528.07617 308.20673 L 34.933594 308.20673 C 32.172169 308.20673 29.933594 305.96814 29.933594 303.20673 C 29.933594 303.20673 29.933594 303.20673 29.933594 303.20673 L 29.933586 94.285156 C 29.933586 91.523735 32.172161 89.285156 34.933586 89.285156 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 241.96973 129.40234 L 387.47754 129.40234 C 390.23895 129.40234 392.47754 131.640915 392.47754 134.40234 L 392.47754 273.1875 C 392.47754 275.94891 390.23895 278.1875 387.47754 278.1875 L 241.96973 278.1875 C 239.2083 278.1875 236.96973 275.94891 236.96973 273.1875 C 236.96973 273.1875 236.96973 273.1875 236.96973 273.1875 L 236.96973 134.40234 C 236.96973 131.640915 239.2083 129.40234 241.96973 129.40234 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 46.982422 111.22461 L 406.5957 111.22461 C 409.35712 111.22461 411.5957 113.46319 411.5957 116.22461 L 411.5957 285.029 C 411.5957 287.7904 409.35712 290.029 406.5957 290.029 L 46.982422 290.029 C 44.220997 290.029 41.982422 287.7904 41.982422 285.029 C 41.982422 285.029 41.982422 285.029 41.982422 285.029 L 41.982414 116.22461 C 41.982414 113.46319 44.22099 111.22461 46.982414 111.22461 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 58.201172 129.40234 L 203.70898 129.40234 C 206.47041 129.40234 208.70898 131.640915 208.70898 134.40234 L 208.70898 273.1875 C 208.70898 275.94891 206.47041 278.1875 203.70898 278.1875 L 58.201172 278.1875 C 55.439747 278.1875 53.201172 275.94891 53.201172 273.1875 C 53.201172 273.1875 53.201172 273.1875 53.201172 273.1875 L 53.201164 134.40234 C 53.201164 131.640915 55.43974 129.40234 58.201164 129.40234 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 80.990234 146.72656 L 178.05078 146.72656 C 180.81221 146.72656 183.05078 148.96513 183.05078 151.72656 L 183.05078 195.42578 C 183.05078 198.18721 180.81221 200.42578 178.05078 200.42578 L 80.990234 200.42578 C 78.228813 200.42578 75.990234 198.18721 75.990234 195.42578 C 75.990234 195.42578 75.990234 195.42578 75.990234 195.42578 L 75.990234 151.72656 C 75.990234 148.96513 78.228813 146.72656 80.990234 146.72656 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 9.467189 159.92969 L 9.136719 159.92969 L 75.990234 160.15137" marker-start="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 9.0082035 173.57617 L 8.828125 173.57617 L 75.990234 173.57614" marker-start="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(82 154.234375)" 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(79 168.07617)" 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(151.97656 181.91797)" 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(154.97656 154.234375)" 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(151.97656 168.07617)" 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(79 181.91797)" 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(126.52051 133.72656)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".29956055" y="9" textLength="5.400879">f</tspan></text><line x1="183.05078" y1="160.15134" x2="435.14062" y2="160.15134" marker-end="url(#FilledArrow_Marker_2)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="75.990234" y1="187.00095" x2="16.958469" y2="187.00095" marker-end="url(#FilledArrow_Marker_3)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 183.05078 173.57616 L 192.55078 173.57616 L 292.55078 173.57616 L 292.55078 206.60938 L 354.21036 206.60938 L 356.21036 206.60938" marker-end="url(#FilledArrow_Marker_4)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(100.98535 116.0625)" 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 248.66211 187.41797 L 239.16211 187.41797 L 192.55078 187.00098 L 190.55078 187.00098" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 80.990234 218.5 L 178.05078 218.5 C 180.81221 218.5 183.05078 220.73857 183.05078 223.5 L 183.05078 267.19922 C 183.05078 269.96063 180.81221 272.19922 178.05078 272.19922 L 80.990234 272.19922 C 78.228813 272.19922 75.990234 269.96063 75.990234 267.19922 C 75.990234 267.19922 75.990234 267.19922 75.990234 267.19922 L 75.990234 223.5 C 75.990234 220.73857 78.228813 218.5 80.990234 218.5 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 9.467189 231.70312 L 9.136719 231.70312 L 75.990234 231.9248" marker-start="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 9.0082035 245.34961 L 8.828125 245.34961 L 75.990234 245.34958" marker-start="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(82 226.00781)" 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(79 239.84961)" 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(151.97656 253.6914)" 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(154.97656 226.00781)" 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(151.97656 239.84961)" 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(79 253.6914)" 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(126.52051 205.5)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".29956055" y="9" textLength="5.400879">g</tspan></text><line x1="75.990234" y1="258.77438" x2="16.958469" y2="258.77438" marker-end="url(#FilledArrow_Marker_3)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 183.05078 245.3496 L 192.55078 245.3496 L 273.55078 245.3496 L 273.55078 215.63641 L 354 215.63641 L 356 215.63641" marker-end="url(#FilledArrow_Marker_4)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 246.77734 259.1914 L 237.27734 259.1914 L 192.55078 258.77441 L 190.55078 258.77441" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 363.5 219.83496 L 374.5437 219.83496 C 380.06555 219.83496 385.5874 217.62622 385.5874 211 C 385.5874 204.37378 380.06555 202.16504 374.5437 202.16504 L 363.5 202.16504 Z" fill="white"/><path d="M 363.5 219.83496 L 374.5437 219.83496 C 380.06555 219.83496 385.5874 217.62622 385.5874 211 C 385.5874 204.37378 380.06555 202.16504 374.5437 202.16504 L 363.5 202.16504 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(368.5 205.5)" 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 270.74951 196.25293 L 259.70581 196.25293 C 254.18396 196.25293 248.66211 194.04419 248.66211 187.41797 C 248.66211 180.79175 254.18396 178.58301 259.70581 178.58301 L 270.74951 178.58301 Z" fill="white"/><path d="M 270.74951 196.25293 L 259.70581 196.25293 C 254.18396 196.25293 248.66211 194.04419 248.66211 187.41797 C 248.66211 180.79175 254.18396 178.58301 259.70581 178.58301 L 270.74951 178.58301 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(253.66211 181.91797)" 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 268.86475 268.02637 L 257.82104 268.02637 C 252.2992 268.02637 246.77734 265.81763 246.77734 259.1914 C 246.77734 252.56519 252.2992 250.35645 257.82104 250.35645 L 268.86475 250.35645 Z" fill="white"/><path d="M 268.86475 268.02637 L 257.82104 268.02637 C 252.2992 268.02637 246.77734 265.81763 246.77734 259.1914 C 246.77734 252.56519 252.2992 250.35645 257.82104 250.35645 L 268.86475 250.35645 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(251.77734 253.6914)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x=".04077053" y="9" textLength="12.0058594">&amp;&amp;</tspan></text><circle cx="292.92035" cy="206.60938" r="1.3286213" fill="black"/><circle cx="292.92035" cy="206.60938" r="1.3286213" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="340.00977" cy="215.63641" r="1.3286213" fill="black"/><circle cx="340.00977" cy="215.63641" r="1.3286213" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 338.95215 214.1444 L 338.95215 212.10938 C 333.45215 212.10938 333.45215 201.10779 338.95215 201.10779 L 338.95215 183.02148 L 316.89127 183.02148 L 298.05078 183.02448 C 298.0499 177.52448 287.0499 177.52623 287.05078 183.02623 L 280.03915 183.02734 L 278.03915 183.02734" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 292.61453 208.41235 L 292.61453 210.13641 C 298.11453 210.13641 298.11453 221.13857 292.61453 221.13857 L 292.61453 255.1914 L 284.67969 255.1914 L 278.15439 254.80078 L 276.15439 254.80078" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 442 264.4375 L 442 263.82782 L 278.36472 263.82782 L 276.36472 263.82782" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="319.27808" cy="263.82782" r="1.3286278" fill="black"/><circle cx="319.27808" cy="263.82782" r="1.3286278" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 318.2537 262.31274 L 318.2537 252.81274 L 318.2537 221.13641 C 312.7537 221.13641 312.7537 201.10938 318.2537 201.10938 L 318.2537 192.05437 L 298.05078 192.05437 C 298.05078 186.55437 287.05078 186.55437 287.05078 192.05437 L 280.24948 192.05437 L 278.24948 192.05437" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="385.5874" y1="211" x2="434.64258" y2="211" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(292.5 116.0625)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".39648438" y="9" textLength="43.20703">lockStep</tspan></text><text transform="translate(143.5 96.371094)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".4868164" y="9" textLength="162.02637">(f `parDF` g) `seqDF` lockStep</tspan></text><path d="M 447.5 132.6443 L 514.48633 132.6443 C 517.24774 132.6443 519.48633 134.88287 519.48633 137.6443 L 519.48633 273.60931 C 519.48633 276.37073 517.24774 278.60931 514.48633 278.60931 L 447.5 278.60931 C 444.73859 278.60931 442.5 276.37073 442.5 273.60931 C 442.5 273.60931 442.5 273.60931 442.5 273.60931 L 442.5 137.6443 C 442.5 134.88287 444.73859 132.6443 447.5 132.6443 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(448.75488 158)" 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(445.50977 205.3768)" 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(487.98633 257.4686)" 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(491.23145 158)" 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(487.98633 205.3768)" 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(445.50977 257.4686)" 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(477.99316 120.32715)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".29956055" y="9" textLength="5.400879">h</tspan></text><path d="M 183.05078 231.92477 L 192.55078 231.92477 L 268.05078 231.92477 C 268.05078 226.42477 279.05081 226.42477 279.05081 231.92477 L 287.1145 231.92477 C 287.1145 226.42477 298.11453 226.42477 298.11453 231.92477 L 312.75372 231.92477 C 312.75372 226.42477 323.75366 226.42477 323.75366 231.92477 L 422.58008 231.92477 L 422.58008 230.57812 L 422.58008 216.5 C 417.08008 216.5 417.08008 205.50002 422.58008 205.50002 L 422.58008 166.76953 L 424.81836 166.76953 L 435.0014 166.96637" marker-end="url(#FilledArrow_Marker_5)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="520.06055" y1="211" x2="544.5923" y2="211" marker-end="url(#FilledArrow_Marker_3)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="520.06055" y1="163" x2="545.0923" y2="163" marker-end="url(#FilledArrow_Marker_3)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 551.62274 263.6914 L 551.9532 263.6914 L 521.09967 263.91309" marker-start="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(173.00488 75.539062)" fill="black"><tspan font-family="Courier" font-size="9" font-weight="500" x=".48242188" y="9" textLength="216.03516">(f `parDF` g) `seqDF` lockStep `seqDF` h</tspan></text></g></g></svg>