haskell-nats.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->

<svg
   xmlns:dc="http://purl.org/dc/elements/1.1/"
   xmlns:cc="http://creativecommons.org/ns#"
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:svg="http://www.w3.org/2000/svg"
   xmlns="http://www.w3.org/2000/svg"
   xmlns:xlink="http://www.w3.org/1999/xlink"
   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
   width="684.76965"
   height="264.09766"
   id="svg5733"
   version="1.1"
   inkscape:version="0.48.4 r9943 custom"
   sodipodi:docname="haskell-nats.svg">
  <defs
     id="defs5735" />
  <sodipodi:namedview
     id="base"
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1.0"
     inkscape:pageopacity="0.0"
     inkscape:pageshadow="2"
     inkscape:zoom="1"
     inkscape:cx="325.29148"
     inkscape:cy="72.552382"
     inkscape:document-units="px"
     inkscape:current-layer="layer1"
     showgrid="false"
     inkscape:window-width="1327"
     inkscape:window-height="665"
     inkscape:window-x="495"
     inkscape:window-y="469"
     inkscape:window-maximized="0"
     fit-margin-top="10"
     fit-margin-right="10"
     fit-margin-left="10"
     fit-margin-bottom="10" />
  <metadata
     id="metadata5738">
    <rdf:RDF>
      <cc:Work
         rdf:about="">
        <dc:format>image/svg+xml</dc:format>
        <dc:type
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
        <dc:title></dc:title>
      </cc:Work>
    </rdf:RDF>
  </metadata>
  <g
     inkscape:label="Layer 1"
     inkscape:groupmode="layer"
     id="layer1"
     transform="translate(-49.380372,-19.088745)">
    <rect
       style="opacity:0.98000003999999996;color:#000000;fill:#007600;fill-opacity:0.21111109000000000;fill-rule:nonzero;stroke:#fb0909;stroke-width:0.30000000999999998;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
       id="rect6285"
       width="96"
       height="171"
       x="177"
       y="57.362183"
       ry="20.454094" />
    <rect
       style="opacity:0.98000003999999996;color:#000000;fill:#e5ea55;fill-opacity:0.21111109000000000;fill-rule:nonzero;stroke:#fb0909;stroke-width:0.30000000999999998;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
       id="rect6306"
       width="65"
       height="96"
       x="302"
       y="68.362183"
       ry="20.454094" />
    <rect
       style="opacity:0.98000003999999996;color:#000000;fill:#1d1bf3;fill-opacity:0.13812153999999999;fill-rule:nonzero;stroke:#fb0909;stroke-width:0.30000000999999998;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
       id="rect6354"
       width="194"
       height="98"
       x="388"
       y="107.36218"
       ry="20.454094" />
    <rect
       style="opacity:0.98000003999999996;color:#000000;fill:#760068;fill-opacity:0.17777782000000000;fill-rule:nonzero;stroke:#fb0909;stroke-width:0.30000000999999998;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
       id="rect6352"
       width="127"
       height="134"
       x="597"
       y="68.362183"
       ry="20.454094" />
    <rect
       style="opacity:0.98000003999999996;color:#000000;fill:#1d1bf3;fill-opacity:0.13812153999999999;fill-rule:nonzero;stroke:#fb0909;stroke-width:0.30000000999999998;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
       id="rect6372"
       width="76"
       height="67"
       x="392"
       y="122.36218"
       ry="14.454102" />
    <rect
       style="opacity:0.98000003999999996;color:#000000;fill:#1d1bf3;fill-opacity:0.13812153999999999;fill-rule:nonzero;stroke:#fb0909;stroke-width:0.30000000999999998;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
       id="rect6374"
       width="107"
       height="67"
       x="471"
       y="122.36218"
       ry="14.454102" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1.51071869999999997px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 60.135731,77.497914 649.609049,0"
       id="path5741"
       inkscape:connector-curvature="0"
       inkscape:tile-cx="275"
       inkscape:tile-cy="77.362183"
       inkscape:tile-w="430"
       inkscape:tile-h="0"
       inkscape:tile-x0="60"
       inkscape:tile-y0="77.362183" />
    <use
       x="0"
       y="0"
       inkscape:tiled-clone-of="#path5741"
       xlink:href="#path5741"
       id="use5743"
       transform="translate(0,40)"
       width="744.09448"
       height="1052.3622" />
    <use
       x="0"
       y="0"
       inkscape:tiled-clone-of="#path5741"
       xlink:href="#path5741"
       transform="translate(0,80)"
       id="use5745"
       width="744.09448"
       height="1052.3622" />
    <use
       x="0"
       y="0"
       inkscape:tiled-clone-of="#path5741"
       xlink:href="#path5741"
       transform="translate(0,120)"
       id="use5747"
       width="744.09448"
       height="1052.3622" />
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="67"
       y="67.362183"
       id="text5749"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan5751"
         x="67"
         y="67.362183">…</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="67"
       y="107.69552"
       id="text5753"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan5755"
         x="67"
         y="107.69552">kinds</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="67"
       y="148.02885"
       id="text5757"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan5759"
         x="67"
         y="148.02885">types</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="67"
       y="188.36218"
       id="text5761"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan5763"
         x="67"
         y="188.36218">values</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#007600;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="219.12988"
       y="113.36218"
       id="text5765"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan5767"
         x="219.12988"
         y="113.36218">*</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#ff0000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="200.54297"
       y="150.86218"
       id="text5769"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan5771"
         x="200.54297"
         y="150.86218">Nat</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#0000ff;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="203.33887"
       y="188.36218"
       id="text5773"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan5775"
         x="203.33887"
         y="188.36218">Z S</tspan></text>
    <text
       sodipodi:linespacing="125%"
       id="text6308"
       y="110.86218"
       x="309.54297"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#007600;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       xml:space="preserve"><tspan
         y="110.86218"
         x="309.54297"
         id="tspan6310"
         sodipodi:role="line">Nat</tspan></text>
    <text
       sodipodi:linespacing="125%"
       id="text6312"
       y="148.36218"
       x="312.33887"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#ff0000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       xml:space="preserve"><tspan
         y="148.36218"
         x="312.33887"
         id="tspan6314"
         sodipodi:role="line">Z S</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#007600;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="600.54297"
       y="110.86218"
       id="text6328"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan6330"
         x="600.54297"
         y="110.86218">Nat → *</tspan></text>
    <text
       sodipodi:linespacing="125%"
       id="text6332"
       y="150.86218"
       x="626.95703"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#ff0000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       xml:space="preserve"><tspan
         y="150.86218"
         x="626.95703"
         id="tspan6334"
         sodipodi:role="line">Nat'</tspan></text>
    <text
       sodipodi:linespacing="125%"
       id="text6336"
       y="183.36218"
       x="423.4248"
       style="font-size:22px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#0000ff;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       xml:space="preserve"><tspan
         y="183.36218"
         x="423.4248"
         id="tspan6338"
         sodipodi:role="line">Z'</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:22px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#ff0000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="392.95703"
       y="145.86218"
       id="text6340"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan6342"
         x="392.95703"
         y="145.86218">Nat' Z</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:22px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#0000ff;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="504.4248"
       y="183.36218"
       id="text6344"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan6346"
         x="504.4248"
         y="183.36218">S' n</tspan></text>
    <text
       sodipodi:linespacing="125%"
       id="text6348"
       y="145.86218"
       x="473.95703"
       style="font-size:22px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#ff0000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       xml:space="preserve"><tspan
         y="145.86218"
         x="473.95703"
         id="tspan6350"
         sodipodi:role="line">Nat' (S n)</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="172"
       y="267.36218"
       id="text6356"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan6358"
         x="172"
         y="267.36218">regular</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="290"
       y="50.362183"
       id="text6360"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan6362"
         x="290"
         y="50.362183">promoted</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="605"
       y="243.36218"
       id="text6364"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan6366"
         x="605"
         y="243.36218">indexed</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="423"
       y="238.36218"
       id="text6368"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan6370"
         x="423"
         y="238.36218">singleton</tspan></text>
  </g>
</svg>