<!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"
      >-&gt;</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"
      >-&gt;</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"
      >-&gt;</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"
      >-&gt;</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"
      >-&gt;</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"
      >-&gt;</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"
      >-&gt;</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"
      >-&gt;</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"
      >-&gt;</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"
      >-&gt;</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"
      >-&gt;</span
      ><span class=""
      > </span
      ><a href="#local-0"
      ><span class="hs-identifier hs-type"
	>b</span
	></a
      ><span class=""
      > </span
      ><span class="hs-glyph"
      >-&gt;</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"
      >-&gt;</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
>