<!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-0" ><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-0" ><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-0" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span class="" > </span ><a name="local-0" ><a href="#local-0" ><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-0" ><a href="#local-0" ><span class="hs-identifier" >b</span ></a ></a ><span class="" > </span ><span class="hs-glyph" >=</span ><span class="" > </span ><a href="#local-0" ><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-0" ><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-0" ><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-0" ><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-0" ><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-0" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span class="" > </span ><a name="local-0" ><a href="#local-0" ><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-0" ><a href="#local-0" ><span class="hs-identifier" >b</span ></a ></a ><span class="" > </span ><span class="hs-glyph" >=</span ><span class="" > </span ><a href="#local-0" ><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-0" ><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-0" ><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-0" ><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-0" ><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-0" ><a href="#local-0" ><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-0" ><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-0" ><a href="#local-0" ><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-0" ><a href="#local-0" ><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-0" ><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-0" ><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-0" ><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-0" ><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-0" ><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-0" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span class="" > </span ><a name="local-0" ><a href="#local-0" ><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-0" ><a href="#local-0" ><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-0" ><span class="hs-identifier hs-var" >b</span ></a ><span class="hs-special" >)</span ><span class="" > </span ><a href="#local-0" ><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-0" ><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-0" ><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-0" ><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-0" ><a href="#local-0" ><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-0" ><a href="#local-0" ><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-0" ><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-0" ><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-0" ><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-0" ><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 ><a href="#local-0" ><span class="hs-identifier hs-type" >a</span ></a ><span class="" > </span ><span class="hs-glyph" >-></span ><span class="" > </span ><a href="#local-0" ><span class="hs-identifier hs-type" >b</span ></a ><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-type" >c</span ></a ><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-type" >a</span ></a ><span class="hs-special" >,</span ><span class="" > </span ><a href="#local-0" ><span class="hs-identifier hs-type" >b</span ></a ><span class="hs-special" >)</span ><span class="hs-special" >)</span ><span class="" > </span ><a name="local-0" ><a href="#local-0" ><span class="hs-identifier" >a</span ></a ></a ><span class="" > </span ><a name="%23.%23" ><a href="Operators.html#%23.%23" ><span class="hs-operator" >#.#</span ></a ></a ><span class="" > </span ><a name="local-0" ><a href="#local-0" ><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" >const</span ><span class="" > </span ><span class="hs-operator hs-var" >$</span ><span class="" > </span ><span class="hs-special" >(</span ><a href="#local-0" ><span class="hs-identifier hs-var" >a</span ></a ><span class="hs-special" >,</span ><span class="" > </span ><a href="#local-0" ><span class="hs-identifier hs-var" >b</span ></a ><span class="hs-special" >)</span ><span class="" > </span ></pre ></body ></html >