diff options
Diffstat (limited to 'hypsrc-test/ref')
| -rw-r--r-- | hypsrc-test/ref/src/Records.html | 241 | 
1 files changed, 241 insertions, 0 deletions
| diff --git a/hypsrc-test/ref/src/Records.html b/hypsrc-test/ref/src/Records.html index cdff7eb5..0751782a 100644 --- a/hypsrc-test/ref/src/Records.html +++ b/hypsrc-test/ref/src/Records.html @@ -11,6 +11,12 @@        >{-# LANGUAGE NamedFieldPuns #-}</span        ><span class=""        > +</span +      ><span class="hs-pragma" +      >{-# LANGUAGE RecordWildCards #-}</span +      ><span class="" +      > +  </span        ><span class="hs-keyword" @@ -639,6 +645,241 @@        >}</span        ><span class=""        > + +</span +      ><span class="hs-identifier" +      >translate</span +      ><span class="" +      > </span +      ><span class="hs-glyph" +      >::</span +      ><span class="" +      > </span +      ><span class="hs-identifier hs-type" +      >Int</span +      ><span class="" +      > </span +      ><span class="hs-glyph" +      >-></span +      ><span class="" +      > </span +      ><span class="hs-identifier hs-type" +      >Int</span +      ><span class="" +      > </span +      ><span class="hs-glyph" +      >-></span +      ><span class="" +      > </span +      ><a href="Records.html#Point" +      ><span class="hs-identifier hs-type" +	>Point</span +	></a +      ><span class="" +      > </span +      ><span class="hs-glyph" +      >-></span +      ><span class="" +      > </span +      ><a href="Records.html#Point" +      ><span class="hs-identifier hs-type" +	>Point</span +	></a +      ><span class="" +      > +</span +      ><a name="translate" +      ><a href="Records.html#translate" +	><span class="hs-identifier" +	  >translate</span +	  ></a +	></a +      ><span class="" +      > </span +      ><a name="local-0" +      ><a href="#local-0" +	><span class="hs-identifier" +	  >x</span +	  ></a +	></a +      ><span class="" +      > </span +      ><a name="local-0" +      ><a href="#local-0" +	><span class="hs-identifier" +	  >y</span +	  ></a +	></a +      ><span class="" +      > </span +      ><a name="local-0" +      ><a href="#local-0" +	><span class="hs-identifier" +	  >p</span +	  ></a +	></a +      ><span class="" +      > </span +      ><span class="hs-glyph" +      >=</span +      ><span class="" +      > +    </span +      ><a href="#local-0" +      ><span class="hs-identifier hs-var" +	>aux</span +	></a +      ><span class="" +      > </span +      ><a href="#local-0" +      ><span class="hs-identifier hs-var" +	>p</span +	></a +      ><span class="" +      > +  </span +      ><span class="hs-keyword" +      >where</span +      ><span class="" +      > +    </span +      ><span class="hs-special" +      >(</span +      ><a name="local-0" +      ><a href="#local-0" +	><span class="hs-identifier" +	  >dx</span +	  ></a +	></a +      ><span class="hs-special" +      >,</span +      ><span class="" +      > </span +      ><a name="local-0" +      ><a href="#local-0" +	><span class="hs-identifier" +	  >dy</span +	  ></a +	></a +      ><span class="hs-special" +      >)</span +      ><span class="" +      > </span +      ><span class="hs-glyph" +      >=</span +      ><span class="" +      > </span +      ><span class="hs-special" +      >(</span +      ><a href="#local-0" +      ><span class="hs-identifier hs-var" +	>x</span +	></a +      ><span class="hs-special" +      >,</span +      ><span class="" +      > </span +      ><a href="#local-0" +      ><span class="hs-identifier hs-var" +	>y</span +	></a +      ><span class="hs-special" +      >)</span +      ><span class="" +      > +    </span +      ><a name="local-0" +      ><a href="#local-0" +	><span class="hs-identifier" +	  >aux</span +	  ></a +	></a +      ><span class="" +      > </span +      ><a href="Records.html#Point" +      ><span class="hs-identifier hs-var" +	>Point</span +	></a +      ><span class="hs-special" +      >{</span +      ><span class="hs-glyph" +      >..</span +      ><span class="hs-special" +      >}</span +      ><span class="" +      > </span +      ><span class="hs-glyph" +      >=</span +      ><span class="" +      > </span +      ><a href="#local-0" +      ><span class="hs-identifier hs-var" +	>p</span +	></a +      ><span class="" +      > </span +      ><span class="hs-special" +      >{</span +      ><span class="" +      > </span +      ><a href="Records.html#x" +      ><span class="hs-identifier hs-var" +	>x</span +	></a +      ><span class="" +      > </span +      ><span class="hs-glyph" +      >=</span +      ><span class="" +      > </span +      ><a href="#local-0" +      ><span class="hs-identifier hs-var" +	>x</span +	></a +      ><span class="" +      > </span +      ><span class="hs-operator hs-var" +      >+</span +      ><span class="" +      > </span +      ><a href="#local-0" +      ><span class="hs-identifier hs-var" +	>dx</span +	></a +      ><span class="hs-special" +      >,</span +      ><span class="" +      > </span +      ><a href="Records.html#y" +      ><span class="hs-identifier hs-var" +	>y</span +	></a +      ><span class="" +      > </span +      ><span class="hs-glyph" +      >=</span +      ><span class="" +      > </span +      ><a href="#local-0" +      ><span class="hs-identifier hs-var" +	>y</span +	></a +      ><span class="" +      > </span +      ><span class="hs-operator hs-var" +      >+</span +      ><span class="" +      > </span +      ><a href="#local-0" +      ><span class="hs-identifier hs-var" +	>dy</span +	></a +      ><span class="" +      > </span +      ><span class="hs-special" +      >}</span +      ><span class="" +      >  </span        ></pre      ></body | 
