diff options
Diffstat (limited to 'hypsrc-test/ref/src/Operators.html')
| -rw-r--r-- | hypsrc-test/ref/src/Operators.html | 655 |
1 files changed, 655 insertions, 0 deletions
diff --git a/hypsrc-test/ref/src/Operators.html b/hypsrc-test/ref/src/Operators.html new file mode 100644 index 00000000..04fe4ee4 --- /dev/null +++ b/hypsrc-test/ref/src/Operators.html @@ -0,0 +1,655 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" +><head + ><link rel="stylesheet" type="text/css" href="style.css" + /><script type="text/javascript" src="highlight.js" + ></script + ></head + ><body + ><pre + ><span class="hs-keyword" + >module</span + ><span class="" + > </span + ><span class="hs-identifier" + >Operators</span + ><span class="" + > </span + ><span class="hs-keyword" + >where</span + ><span class="" + > + + +</span + ><span class="hs-special" + >(</span + ><span class="hs-operator" + >+++</span + ><span class="hs-special" + >)</span + ><span class="" + > </span + ><span class="hs-glyph" + >::</span + ><span class="" + > </span + ><span class="hs-special" + >[</span + ><a href="#local-1627393973" + ><span class="hs-identifier hs-type" + >a</span + ></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-1627393973" + ><span class="hs-identifier hs-type" + >a</span + ></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-1627393973" + ><span class="hs-identifier hs-type" + >a</span + ></a + ><span class="hs-special" + >]</span + ><span class="" + > +</span + ><a name="local-1627393974" + ><a href="#local-1627393974" + ><span class="hs-identifier" + >a</span + ></a + ></a + ><span class="" + > </span + ><a name="%2B%2B%2B" + ><a href="Operators.html#%2B%2B%2B" + ><span class="hs-operator" + >+++</span + ></a + ></a + ><span class="" + > </span + ><a name="local-1627393975" + ><a href="#local-1627393975" + ><span class="hs-identifier" + >b</span + ></a + ></a + ><span class="" + > </span + ><span class="hs-glyph" + >=</span + ><span class="" + > </span + ><a href="#local-1627393974" + ><span class="hs-identifier hs-var" + >a</span + ></a + ><span class="" + > </span + ><span class="hs-operator hs-var" + >++</span + ><span class="" + > </span + ><a href="#local-1627393975" + ><span class="hs-identifier hs-var" + >b</span + ></a + ><span class="" + > </span + ><span class="hs-operator hs-var" + >++</span + ><span class="" + > </span + ><a href="#local-1627393974" + ><span class="hs-identifier hs-var" + >a</span + ></a + ><span class="" + > + +</span + ><span class="hs-special" + >(</span + ><span class="hs-operator" + >$$$</span + ><span class="hs-special" + >)</span + ><span class="" + > </span + ><span class="hs-glyph" + >::</span + ><span class="" + > </span + ><span class="hs-special" + >[</span + ><a href="#local-1627393972" + ><span class="hs-identifier hs-type" + >a</span + ></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-1627393972" + ><span class="hs-identifier hs-type" + >a</span + ></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-1627393972" + ><span class="hs-identifier hs-type" + >a</span + ></a + ><span class="hs-special" + >]</span + ><span class="" + > +</span + ><a name="local-1627393976" + ><a href="#local-1627393976" + ><span class="hs-identifier" + >a</span + ></a + ></a + ><span class="" + > </span + ><a name="%24%24%24" + ><a href="Operators.html#%24%24%24" + ><span class="hs-operator" + >$$$</span + ></a + ></a + ><span class="" + > </span + ><a name="local-1627393977" + ><a href="#local-1627393977" + ><span class="hs-identifier" + >b</span + ></a + ></a + ><span class="" + > </span + ><span class="hs-glyph" + >=</span + ><span class="" + > </span + ><a href="#local-1627393977" + ><span class="hs-identifier hs-var" + >b</span + ></a + ><span class="" + > </span + ><a href="Operators.html#%2B%2B%2B" + ><span class="hs-operator hs-var" + >+++</span + ></a + ><span class="" + > </span + ><a href="#local-1627393976" + ><span class="hs-identifier hs-var" + >a</span + ></a + ><span class="" + > + +</span + ><span class="hs-special" + >(</span + ><span class="hs-operator" + >***</span + ><span class="hs-special" + >)</span + ><span class="" + > </span + ><span class="hs-glyph" + >::</span + ><span class="" + > </span + ><span class="hs-special" + >[</span + ><a href="#local-1627393971" + ><span class="hs-identifier hs-type" + >a</span + ></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-1627393971" + ><span class="hs-identifier hs-type" + >a</span + ></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-1627393971" + ><span class="hs-identifier hs-type" + >a</span + ></a + ><span class="hs-special" + >]</span + ><span class="" + > +</span + ><span class="hs-special" + >(</span + ><a name="%2A%2A%2A" + ><a href="Operators.html#%2A%2A%2A" + ><span class="hs-operator" + >***</span + ></a + ></a + ><span class="hs-special" + >)</span + ><span class="" + > </span + ><a name="local-1627393978" + ><a href="#local-1627393978" + ><span class="hs-identifier" + >a</span + ></a + ></a + ><span class="" + > </span + ><span class="hs-special" + >[</span + ><span class="hs-special" + >]</span + ><span class="" + > </span + ><span class="hs-glyph" + >=</span + ><span class="" + > </span + ><a href="#local-1627393978" + ><span class="hs-identifier hs-var" + >a</span + ></a + ><span class="" + > +</span + ><span class="hs-special" + >(</span + ><span class="hs-operator" + >***</span + ><span class="hs-special" + >)</span + ><span class="" + > </span + ><a name="local-1627393979" + ><a href="#local-1627393979" + ><span class="hs-identifier" + >a</span + ></a + ></a + ><span class="" + > </span + ><span class="hs-special" + >(</span + ><span class="hs-identifier" + >_</span + ><span class="hs-glyph" + >:</span + ><a name="local-1627393980" + ><a href="#local-1627393980" + ><span class="hs-identifier" + >b</span + ></a + ></a + ><span class="hs-special" + >)</span + ><span class="" + > </span + ><span class="hs-glyph" + >=</span + ><span class="" + > </span + ><a href="#local-1627393979" + ><span class="hs-identifier hs-var" + >a</span + ></a + ><span class="" + > </span + ><a href="Operators.html#%2B%2B%2B" + ><span class="hs-operator hs-var" + >+++</span + ></a + ><span class="" + > </span + ><span class="hs-special" + >(</span + ><a href="#local-1627393979" + ><span class="hs-identifier hs-var" + >a</span + ></a + ><span class="" + > </span + ><a href="Operators.html#%2A%2A%2A" + ><span class="hs-operator hs-var" + >***</span + ></a + ><span class="" + > </span + ><a href="#local-1627393980" + ><span class="hs-identifier hs-var" + >b</span + ></a + ><span class="hs-special" + >)</span + ><span class="" + > + +</span + ><span class="hs-special" + >(</span + ><span class="hs-operator" + >*/\*</span + ><span class="hs-special" + >)</span + ><span class="" + > </span + ><span class="hs-glyph" + >::</span + ><span class="" + > </span + ><span class="hs-special" + >[</span + ><span class="hs-special" + >[</span + ><a href="#local-1627393970" + ><span class="hs-identifier hs-type" + >a</span + ></a + ><span class="hs-special" + >]</span + ><span class="hs-special" + >]</span + ><span class="" + > </span + ><span class="hs-glyph" + >-></span + ><span class="" + > </span + ><span class="hs-special" + >[</span + ><a href="#local-1627393970" + ><span class="hs-identifier hs-type" + >a</span + ></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-1627393970" + ><span class="hs-identifier hs-type" + >a</span + ></a + ><span class="hs-special" + >]</span + ><span class="" + > +</span + ><a name="local-1627393981" + ><a href="#local-1627393981" + ><span class="hs-identifier" + >a</span + ></a + ></a + ><span class="" + > </span + ><a name="%2A%2F%5C%2A" + ><a href="Operators.html#%2A%2F%5C%2A" + ><span class="hs-operator" + >*/\*</span + ></a + ></a + ><span class="" + > </span + ><a name="local-1627393982" + ><a href="#local-1627393982" + ><span class="hs-identifier" + >b</span + ></a + ></a + ><span class="" + > </span + ><span class="hs-glyph" + >=</span + ><span class="" + > </span + ><span class="hs-identifier hs-var" + >concatMap</span + ><span class="" + > </span + ><span class="hs-special" + >(</span + ><a href="Operators.html#%2A%2A%2A" + ><span class="hs-operator hs-var" + >***</span + ></a + ><span class="" + > </span + ><a href="#local-1627393982" + ><span class="hs-identifier hs-var" + >b</span + ></a + ><span class="hs-special" + >)</span + ><span class="" + > </span + ><a href="#local-1627393981" + ><span class="hs-identifier hs-var" + >a</span + ></a + ><span class="" + > + +</span + ><span class="hs-special" + >(</span + ><span class="hs-operator" + >**/\**</span + ><span class="hs-special" + >)</span + ><span class="" + > </span + ><span class="hs-glyph" + >::</span + ><span class="" + > </span + ><span class="hs-special" + >[</span + ><span class="hs-special" + >[</span + ><a href="#local-1627393969" + ><span class="hs-identifier hs-type" + >a</span + ></a + ><span class="hs-special" + >]</span + ><span class="hs-special" + >]</span + ><span class="" + > </span + ><span class="hs-glyph" + >-></span + ><span class="" + > </span + ><span class="hs-special" + >[</span + ><span class="hs-special" + >[</span + ><a href="#local-1627393969" + ><span class="hs-identifier hs-type" + >a</span + ></a + ><span class="hs-special" + >]</span + ><span class="hs-special" + >]</span + ><span class="" + > </span + ><span class="hs-glyph" + >-></span + ><span class="" + > </span + ><span class="hs-special" + >[</span + ><span class="hs-special" + >[</span + ><a href="#local-1627393969" + ><span class="hs-identifier hs-type" + >a</span + ></a + ><span class="hs-special" + >]</span + ><span class="hs-special" + >]</span + ><span class="" + > +</span + ><a name="local-1627394362" + ><a href="#local-1627394362" + ><span class="hs-identifier" + >a</span + ></a + ></a + ><span class="" + > </span + ><a name="%2A%2A%2F%5C%2A%2A" + ><a href="Operators.html#%2A%2A%2F%5C%2A%2A" + ><span class="hs-operator" + >**/\**</span + ></a + ></a + ><span class="" + > </span + ><a name="local-1627394363" + ><a href="#local-1627394363" + ><span class="hs-identifier" + >b</span + ></a + ></a + ><span class="" + > </span + ><span class="hs-glyph" + >=</span + ><span class="" + > </span + ><span class="hs-identifier hs-var" + >zipWith</span + ><span class="" + > </span + ><span class="hs-special" + >(</span + ><a href="Operators.html#%2A%2F%5C%2A" + ><span class="hs-operator hs-var" + >*/\*</span + ></a + ><span class="hs-special" + >)</span + ><span class="" + > </span + ><span class="hs-special" + >[</span + ><a href="#local-1627394362" + ><span class="hs-identifier hs-var" + >a</span + ></a + ><span class="" + > </span + ><a href="Operators.html#%2B%2B%2B" + ><span class="hs-operator hs-var" + >+++</span + ></a + ><span class="" + > </span + ><a href="#local-1627394363" + ><span class="hs-identifier hs-var" + >b</span + ></a + ><span class="hs-special" + >]</span + ><span class="" + > </span + ><span class="hs-special" + >(</span + ><a href="#local-1627394362" + ><span class="hs-identifier hs-var" + >a</span + ></a + ><span class="" + > </span + ><a href="Operators.html#%24%24%24" + ><span class="hs-operator hs-var" + >$$$</span + ></a + ><span class="" + > </span + ><a href="#local-1627394363" + ><span class="hs-identifier hs-var" + >b</span + ></a + ><span class="hs-special" + >)</span + ><span class="" + > +</span + ></pre + ></body + ></html +> |