diff options
Diffstat (limited to 'hypsrc-test/ref/src/Operators.html')
| -rw-r--r-- | hypsrc-test/ref/src/Operators.html | 288 |
1 files changed, 174 insertions, 114 deletions
diff --git a/hypsrc-test/ref/src/Operators.html b/hypsrc-test/ref/src/Operators.html index beefda58..fe690db2 100644 --- a/hypsrc-test/ref/src/Operators.html +++ b/hypsrc-test/ref/src/Operators.html @@ -9,30 +9,40 @@ ><pre ><span class="hs-keyword" >module</span - ><span class="" + ><span > </span ><span class="hs-identifier" >Operators</span - ><span class="" + ><span > </span ><span class="hs-keyword" >where</span - ><span class="" + ><span > - - </span + ><a name="line-2" + ></a + ><span + > +</span + ><a name="line-3" + ></a + ><span + > +</span + ><a name="line-4" + ></a ><span class="hs-special" >(</span ><span class="hs-operator" >+++</span ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><span class="hs-glyph" >::</span - ><span class="" + ><span > </span ><span class="hs-special" >[</span @@ -42,11 +52,11 @@ ></a ><span class="hs-special" >]</span - ><span class="" + ><span > </span ><span class="hs-glyph" >-></span - ><span class="" + ><span > </span ><span class="hs-special" >[</span @@ -56,11 +66,11 @@ ></a ><span class="hs-special" >]</span - ><span class="" + ><span > </span ><span class="hs-glyph" >-></span - ><span class="" + ><span > </span ><span class="hs-special" >[</span @@ -70,16 +80,18 @@ ></a ><span class="hs-special" >]</span - ><span class="" + ><span > </span + ><a name="line-5" + ></a ><a name="local-0" ><a href="#local-0" ><span class="hs-identifier" >a</span ></a ></a - ><span class="" + ><span > </span ><a name="%2B%2B%2B" ><a href="Operators.html#%2B%2B%2B" @@ -87,7 +99,7 @@ >+++</span ></a ></a - ><span class="" + ><span > </span ><a name="local-0" ><a href="#local-0" @@ -95,51 +107,57 @@ >b</span ></a ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><a href="#local-0" ><span class="hs-identifier hs-var" >a</span ></a - ><span class="" + ><span > </span ><span class="hs-operator hs-var" >++</span - ><span class="" + ><span > </span ><a href="#local-0" ><span class="hs-identifier hs-var" >b</span ></a - ><span class="" + ><span > </span ><span class="hs-operator hs-var" >++</span - ><span class="" + ><span > </span ><a href="#local-0" ><span class="hs-identifier hs-var" >a</span ></a - ><span class="" + ><span > - </span + ><a name="line-6" + ></a + ><span + > +</span + ><a name="line-7" + ></a ><span class="hs-special" >(</span ><span class="hs-operator" >$$$</span ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><span class="hs-glyph" >::</span - ><span class="" + ><span > </span ><span class="hs-special" >[</span @@ -149,11 +167,11 @@ ></a ><span class="hs-special" >]</span - ><span class="" + ><span > </span ><span class="hs-glyph" >-></span - ><span class="" + ><span > </span ><span class="hs-special" >[</span @@ -163,11 +181,11 @@ ></a ><span class="hs-special" >]</span - ><span class="" + ><span > </span ><span class="hs-glyph" >-></span - ><span class="" + ><span > </span ><span class="hs-special" >[</span @@ -177,16 +195,18 @@ ></a ><span class="hs-special" >]</span - ><span class="" + ><span > </span + ><a name="line-8" + ></a ><a name="local-0" ><a href="#local-0" ><span class="hs-identifier" >a</span ></a ></a - ><span class="" + ><span > </span ><a name="%24%24%24" ><a href="Operators.html#%24%24%24" @@ -194,7 +214,7 @@ >$$$</span ></a ></a - ><span class="" + ><span > </span ><a name="local-0" ><a href="#local-0" @@ -202,43 +222,49 @@ >b</span ></a ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><a href="#local-0" ><span class="hs-identifier hs-var" >b</span ></a - ><span class="" + ><span > </span ><a href="Operators.html#%2B%2B%2B" ><span class="hs-operator hs-var" >+++</span ></a - ><span class="" + ><span > </span ><a href="#local-0" ><span class="hs-identifier hs-var" >a</span ></a - ><span class="" + ><span + > +</span + ><a name="line-9" + ></a + ><span > - </span + ><a name="line-10" + ></a ><span class="hs-special" >(</span ><span class="hs-operator" >***</span ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><span class="hs-glyph" >::</span - ><span class="" + ><span > </span ><span class="hs-special" >[</span @@ -248,11 +274,11 @@ ></a ><span class="hs-special" >]</span - ><span class="" + ><span > </span ><span class="hs-glyph" >-></span - ><span class="" + ><span > </span ><span class="hs-special" >[</span @@ -262,11 +288,11 @@ ></a ><span class="hs-special" >]</span - ><span class="" + ><span > </span ><span class="hs-glyph" >-></span - ><span class="" + ><span > </span ><span class="hs-special" >[</span @@ -276,9 +302,11 @@ ></a ><span class="hs-special" >]</span - ><span class="" + ><span > </span + ><a name="line-11" + ></a ><span class="hs-special" >(</span ><a name="%2A%2A%2A" @@ -289,7 +317,7 @@ ></a ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><a name="local-0" ><a href="#local-0" @@ -297,32 +325,34 @@ >a</span ></a ></a - ><span class="" + ><span > </span ><span class="hs-special" >[</span ><span class="hs-special" >]</span - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><a href="#local-0" ><span class="hs-identifier hs-var" >a</span ></a - ><span class="" + ><span > </span + ><a name="line-12" + ></a ><span class="hs-special" >(</span ><span class="hs-operator" >***</span ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><a name="local-0" ><a href="#local-0" @@ -330,7 +360,7 @@ >a</span ></a ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -346,23 +376,23 @@ ></a ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><a href="#local-0" ><span class="hs-identifier hs-var" >a</span ></a - ><span class="" + ><span > </span ><a href="Operators.html#%2B%2B%2B" ><span class="hs-operator hs-var" >+++</span ></a - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -370,13 +400,13 @@ ><span class="hs-identifier hs-var" >a</span ></a - ><span class="" + ><span > </span ><a href="Operators.html#%2A%2A%2A" ><span class="hs-operator hs-var" >***</span ></a - ><span class="" + ><span > </span ><a href="#local-0" ><span class="hs-identifier hs-var" @@ -384,21 +414,27 @@ ></a ><span class="hs-special" >)</span - ><span class="" + ><span > - </span + ><a name="line-13" + ></a + ><span + > +</span + ><a name="line-14" + ></a ><span class="hs-special" >(</span ><span class="hs-operator" >*/\*</span ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><span class="hs-glyph" >::</span - ><span class="" + ><span > </span ><span class="hs-special" >[</span @@ -412,11 +448,11 @@ >]</span ><span class="hs-special" >]</span - ><span class="" + ><span > </span ><span class="hs-glyph" >-></span - ><span class="" + ><span > </span ><span class="hs-special" >[</span @@ -426,11 +462,11 @@ ></a ><span class="hs-special" >]</span - ><span class="" + ><span > </span ><span class="hs-glyph" >-></span - ><span class="" + ><span > </span ><span class="hs-special" >[</span @@ -440,16 +476,18 @@ ></a ><span class="hs-special" >]</span - ><span class="" + ><span > </span + ><a name="line-15" + ></a ><a name="local-0" ><a href="#local-0" ><span class="hs-identifier" >a</span ></a ></a - ><span class="" + ><span > </span ><a name="%2A%2F%5C%2A" ><a href="Operators.html#%2A%2F%5C%2A" @@ -457,7 +495,7 @@ >*/\*</span ></a ></a - ><span class="" + ><span > </span ><a name="local-0" ><a href="#local-0" @@ -465,15 +503,15 @@ >b</span ></a ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><span class="hs-identifier hs-var" >concatMap</span - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -481,7 +519,7 @@ ><span class="hs-operator hs-var" >***</span ></a - ><span class="" + ><span > </span ><a href="#local-0" ><span class="hs-identifier hs-var" @@ -489,27 +527,33 @@ ></a ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><a href="#local-0" ><span class="hs-identifier hs-var" >a</span ></a - ><span class="" + ><span + > +</span + ><a name="line-16" + ></a + ><span > - </span + ><a name="line-17" + ></a ><span class="hs-special" >(</span ><span class="hs-operator" >**/\**</span ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><span class="hs-glyph" >::</span - ><span class="" + ><span > </span ><span class="hs-special" >[</span @@ -523,11 +567,11 @@ >]</span ><span class="hs-special" >]</span - ><span class="" + ><span > </span ><span class="hs-glyph" >-></span - ><span class="" + ><span > </span ><span class="hs-special" >[</span @@ -541,11 +585,11 @@ >]</span ><span class="hs-special" >]</span - ><span class="" + ><span > </span ><span class="hs-glyph" >-></span - ><span class="" + ><span > </span ><span class="hs-special" >[</span @@ -559,16 +603,18 @@ >]</span ><span class="hs-special" >]</span - ><span class="" + ><span > </span + ><a name="line-18" + ></a ><a name="local-0" ><a href="#local-0" ><span class="hs-identifier" >a</span ></a ></a - ><span class="" + ><span > </span ><a name="%2A%2A%2F%5C%2A%2A" ><a href="Operators.html#%2A%2A%2F%5C%2A%2A" @@ -576,7 +622,7 @@ >**/\**</span ></a ></a - ><span class="" + ><span > </span ><a name="local-0" ><a href="#local-0" @@ -584,15 +630,15 @@ >b</span ></a ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><span class="hs-identifier hs-var" >zipWith</span - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -602,7 +648,7 @@ ></a ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><span class="hs-special" >[</span @@ -610,13 +656,13 @@ ><span class="hs-identifier hs-var" >a</span ></a - ><span class="" + ><span > </span ><a href="Operators.html#%2B%2B%2B" ><span class="hs-operator hs-var" >+++</span ></a - ><span class="" + ><span > </span ><a href="#local-0" ><span class="hs-identifier hs-var" @@ -624,7 +670,7 @@ ></a ><span class="hs-special" >]</span - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -632,13 +678,13 @@ ><span class="hs-identifier hs-var" >a</span ></a - ><span class="" + ><span > </span ><a href="Operators.html#%24%24%24" ><span class="hs-operator hs-var" >$$$</span ></a - ><span class="" + ><span > </span ><a href="#local-0" ><span class="hs-identifier hs-var" @@ -646,42 +692,52 @@ ></a ><span class="hs-special" >)</span - ><span class="" + ><span + > +</span + ><a name="line-19" + ></a + ><span + > +</span + ><a name="line-20" + ></a + ><span > - - </span + ><a name="line-21" + ></a ><span class="hs-special" >(</span ><span class="hs-operator" >#.#</span ><span class="hs-special" >)</span - ><span class="" + ><span > </span ><span class="hs-glyph" >::</span - ><span class="" + ><span > </span ><a href="#local-0" ><span class="hs-identifier hs-type" >a</span ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >-></span - ><span class="" + ><span > </span ><a href="#local-0" ><span class="hs-identifier hs-type" >b</span ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >-></span - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -689,11 +745,11 @@ ><span class="hs-identifier hs-type" >c</span ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >-></span - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -703,7 +759,7 @@ ></a ><span class="hs-special" >,</span - ><span class="" + ><span > </span ><a href="#local-0" ><span class="hs-identifier hs-type" @@ -713,16 +769,18 @@ >)</span ><span class="hs-special" >)</span - ><span class="" + ><span > </span + ><a name="line-22" + ></a ><a name="local-0" ><a href="#local-0" ><span class="hs-identifier" >a</span ></a ></a - ><span class="" + ><span > </span ><a name="%23.%23" ><a href="Operators.html#%23.%23" @@ -730,7 +788,7 @@ >#.#</span ></a ></a - ><span class="" + ><span > </span ><a name="local-0" ><a href="#local-0" @@ -738,19 +796,19 @@ >b</span ></a ></a - ><span class="" + ><span > </span ><span class="hs-glyph" >=</span - ><span class="" + ><span > </span ><span class="hs-identifier hs-var" >const</span - ><span class="" + ><span > </span ><span class="hs-operator hs-var" >$</span - ><span class="" + ><span > </span ><span class="hs-special" >(</span @@ -760,7 +818,7 @@ ></a ><span class="hs-special" >,</span - ><span class="" + ><span > </span ><a href="#local-0" ><span class="hs-identifier hs-var" @@ -768,9 +826,11 @@ ></a ><span class="hs-special" >)</span - ><span class="" + ><span > </span + ><a name="line-23" + ></a ></pre ></body ></html |