aboutsummaryrefslogtreecommitdiff
path: root/hypsrc-test/ref/src/Operators.html
diff options
context:
space:
mode:
Diffstat (limited to 'hypsrc-test/ref/src/Operators.html')
-rw-r--r--hypsrc-test/ref/src/Operators.html288
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"
>-&gt;</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"
>-&gt;</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"
>-&gt;</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"
>-&gt;</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"
>-&gt;</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"
>-&gt;</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"
>-&gt;</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"
>-&gt;</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"
>-&gt;</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"
>-&gt;</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"
>-&gt;</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"
>-&gt;</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"
>-&gt;</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