<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 > </span ><span class="hs-identifier" >Operators</span ><span > </span ><span class="hs-keyword" >where</span ><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 > </span ><span class="hs-glyph" >::</span ><span > </span ><span class="hs-special" >[</span ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span > </span ><span class="hs-glyph" >-></span ><span > </span ><span class="hs-special" >[</span ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span > </span ><span class="hs-glyph" >-></span ><span > </span ><span class="hs-special" >[</span ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span > </span ><a name="line-5" ></a ><a name="" ><a href="#" ><span class="hs-identifier" >a</span ></a ></a ><span > </span ><a name="%2B%2B%2B" ><a href="Operators.html#%2B%2B%2B" ><span class="hs-operator" >+++</span ></a ></a ><span > </span ><a name="" ><a href="#" ><span class="hs-identifier" >b</span ></a ></a ><span > </span ><span class="hs-glyph" >=</span ><span > </span ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a ><span > </span ><span class="hs-operator hs-var" >++</span ><span > </span ><a href="#" ><span class="hs-identifier hs-var" >b</span ></a ><span > </span ><span class="hs-operator hs-var" >++</span ><span > </span ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a ><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 > </span ><span class="hs-glyph" >::</span ><span > </span ><span class="hs-special" >[</span ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span > </span ><span class="hs-glyph" >-></span ><span > </span ><span class="hs-special" >[</span ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span > </span ><span class="hs-glyph" >-></span ><span > </span ><span class="hs-special" >[</span ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span > </span ><a name="line-8" ></a ><a name="" ><a href="#" ><span class="hs-identifier" >a</span ></a ></a ><span > </span ><a name="%24%24%24" ><a href="Operators.html#%24%24%24" ><span class="hs-operator" >$$$</span ></a ></a ><span > </span ><a name="" ><a href="#" ><span class="hs-identifier" >b</span ></a ></a ><span > </span ><span class="hs-glyph" >=</span ><span > </span ><a href="#" ><span class="hs-identifier hs-var" >b</span ></a ><span > </span ><a href="Operators.html#%2B%2B%2B" ><span class="hs-operator hs-var" >+++</span ></a ><span > </span ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a ><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 > </span ><span class="hs-glyph" >::</span ><span > </span ><span class="hs-special" >[</span ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span > </span ><span class="hs-glyph" >-></span ><span > </span ><span class="hs-special" >[</span ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span > </span ><span class="hs-glyph" >-></span ><span > </span ><span class="hs-special" >[</span ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span > </span ><a name="line-11" ></a ><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 > </span ><a name="" ><a href="#" ><span class="hs-identifier" >a</span ></a ></a ><span > </span ><span class="hs-special" >[</span ><span class="hs-special" >]</span ><span > </span ><span class="hs-glyph" >=</span ><span > </span ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a ><span > </span ><a name="line-12" ></a ><span class="hs-special" >(</span ><span class="hs-operator" >***</span ><span class="hs-special" >)</span ><span > </span ><a name="" ><a href="#" ><span class="hs-identifier" >a</span ></a ></a ><span > </span ><span class="hs-special" >(</span ><span class="hs-identifier" >_</span ><span class="hs-glyph" >:</span ><a name="" ><a href="#" ><span class="hs-identifier" >b</span ></a ></a ><span class="hs-special" >)</span ><span > </span ><span class="hs-glyph" >=</span ><span > </span ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a ><span > </span ><a href="Operators.html#%2B%2B%2B" ><span class="hs-operator hs-var" >+++</span ></a ><span > </span ><span class="hs-special" >(</span ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a ><span > </span ><a href="Operators.html#%2A%2A%2A" ><span class="hs-operator hs-var" >***</span ></a ><span > </span ><a href="#" ><span class="hs-identifier hs-var" >b</span ></a ><span class="hs-special" >)</span ><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 > </span ><span class="hs-glyph" >::</span ><span > </span ><span class="hs-special" >[</span ><span class="hs-special" >[</span ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span class="hs-special" >]</span ><span > </span ><span class="hs-glyph" >-></span ><span > </span ><span class="hs-special" >[</span ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span > </span ><span class="hs-glyph" >-></span ><span > </span ><span class="hs-special" >[</span ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span > </span ><a name="line-15" ></a ><a name="" ><a href="#" ><span class="hs-identifier" >a</span ></a ></a ><span > </span ><a name="%2A%2F%5C%2A" ><a href="Operators.html#%2A%2F%5C%2A" ><span class="hs-operator" >*/\*</span ></a ></a ><span > </span ><a name="" ><a href="#" ><span class="hs-identifier" >b</span ></a ></a ><span > </span ><span class="hs-glyph" >=</span ><span > </span ><span class="hs-identifier hs-var" >concatMap</span ><span > </span ><span class="hs-special" >(</span ><a href="Operators.html#%2A%2A%2A" ><span class="hs-operator hs-var" >***</span ></a ><span > </span ><a href="#" ><span class="hs-identifier hs-var" >b</span ></a ><span class="hs-special" >)</span ><span > </span ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a ><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 > </span ><span class="hs-glyph" >::</span ><span > </span ><span class="hs-special" >[</span ><span class="hs-special" >[</span ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span class="hs-special" >]</span ><span > </span ><span class="hs-glyph" >-></span ><span > </span ><span class="hs-special" >[</span ><span class="hs-special" >[</span ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span class="hs-special" >]</span ><span > </span ><span class="hs-glyph" >-></span ><span > </span ><span class="hs-special" >[</span ><span class="hs-special" >[</span ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >]</span ><span class="hs-special" >]</span ><span > </span ><a name="line-18" ></a ><a name="" ><a href="#" ><span class="hs-identifier" >a</span ></a ></a ><span > </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 > </span ><a name="" ><a href="#" ><span class="hs-identifier" >b</span ></a ></a ><span > </span ><span class="hs-glyph" >=</span ><span > </span ><span class="hs-identifier hs-var" >zipWith</span ><span > </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 > </span ><span class="hs-special" >[</span ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a ><span > </span ><a href="Operators.html#%2B%2B%2B" ><span class="hs-operator hs-var" >+++</span ></a ><span > </span ><a href="#" ><span class="hs-identifier hs-var" >b</span ></a ><span class="hs-special" >]</span ><span > </span ><span class="hs-special" >(</span ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a ><span > </span ><a href="Operators.html#%24%24%24" ><span class="hs-operator hs-var" >$$$</span ></a ><span > </span ><a href="#" ><span class="hs-identifier hs-var" >b</span ></a ><span class="hs-special" >)</span ><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 > </span ><span class="hs-glyph" >::</span ><span > </span ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span > </span ><span class="hs-glyph" >-></span ><span > </span ><a href="#" ><span class="hs-identifier hs-type" >b</span ></a ><span > </span ><span class="hs-glyph" >-></span ><span > </span ><span class="hs-special" >(</span ><a href="#" ><span class="hs-identifier hs-type" >c</span ></a ><span > </span ><span class="hs-glyph" >-></span ><span > </span ><span class="hs-special" >(</span ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span class="hs-special" >,</span ><span > </span ><a href="#" ><span class="hs-identifier hs-type" >b</span ></a ><span class="hs-special" >)</span ><span class="hs-special" >)</span ><span > </span ><a name="line-22" ></a ><a name="" ><a href="#" ><span class="hs-identifier" >a</span ></a ></a ><span > </span ><a name="%23.%23" ><a href="Operators.html#%23.%23" ><span class="hs-operator" >#.#</span ></a ></a ><span > </span ><a name="" ><a href="#" ><span class="hs-identifier" >b</span ></a ></a ><span > </span ><span class="hs-glyph" >=</span ><span > </span ><span class="hs-identifier hs-var" >const</span ><span > </span ><span class="hs-operator hs-var" >$</span ><span > </span ><span class="hs-special" >(</span ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a ><span class="hs-special" >,</span ><span > </span ><a href="#" ><span class="hs-identifier hs-var" >b</span ></a ><span class="hs-special" >)</span ><span > </span ><a name="line-23" ></a ></pre ></body ></html >