Test suite changes for new highlighting-kate version.
This commit is contained in:
parent
7f15d888f6
commit
af5705308a
3 changed files with 3 additions and 3 deletions
|
@ -30,7 +30,7 @@ code > span.er { color: #ff0000; font-weight: bold; }
|
|||
<h1>lhs test</h1>
|
||||
<p><code>unsplit</code> is an arrow that takes a pair of values and combines them to return a single value:</p>
|
||||
<pre class="sourceCode literate haskell"><code class="sourceCode haskell"><span class="ot">unsplit ::</span> (<span class="dt">Arrow</span> a) <span class="ot">=></span> (b <span class="ot">-></span> c <span class="ot">-></span> d) <span class="ot">-></span> a (b, c) d
|
||||
unsplit <span class="fu">=</span> arr <span class="fu">.</span> <span class="fu">uncurry</span>
|
||||
unsplit <span class="fu">=</span> arr <span class="fu">.</span> uncurry
|
||||
<span class="co">-- arr (\op (x,y) -> x `op` y)</span></code></pre>
|
||||
<p><code>(***)</code> combines two arrows into a new arrow by running the two arrows on a pair of values (one arrow on the first item of the pair and one arrow on the second item of the pair).</p>
|
||||
<pre><code>f *** g = first f >>> second g</code></pre>
|
||||
|
|
|
@ -30,7 +30,7 @@ code > span.er { color: #ff0000; font-weight: bold; }
|
|||
<h1>lhs test</h1>
|
||||
<p><code>unsplit</code> is an arrow that takes a pair of values and combines them to return a single value:</p>
|
||||
<pre class="sourceCode literate literatehaskell"><code class="sourceCode literatehaskell"><span class="ot">> unsplit ::</span> (<span class="dt">Arrow</span> a) <span class="ot">=></span> (b <span class="ot">-></span> c <span class="ot">-></span> d) <span class="ot">-></span> a (b, c) d
|
||||
<span class="ot">></span> unsplit <span class="fu">=</span> arr <span class="fu">.</span> <span class="fu">uncurry</span>
|
||||
<span class="ot">></span> unsplit <span class="fu">=</span> arr <span class="fu">.</span> uncurry
|
||||
<span class="ot">></span> <span class="co">-- arr (\op (x,y) -> x `op` y)</span></code></pre>
|
||||
<p><code>(***)</code> combines two arrows into a new arrow by running the two arrows on a pair of values (one arrow on the first item of the pair and one arrow on the second item of the pair).</p>
|
||||
<pre><code>f *** g = first f >>> second g</code></pre>
|
||||
|
|
|
@ -76,7 +76,7 @@ return a single value:
|
|||
\begin{Shaded}
|
||||
\begin{Highlighting}[]
|
||||
\OtherTok{unsplit ::} \NormalTok{(}\DataTypeTok{Arrow} \NormalTok{a) }\OtherTok{=>} \NormalTok{(b }\OtherTok{->} \NormalTok{c }\OtherTok{->} \NormalTok{d) }\OtherTok{->} \NormalTok{a (b, c) d}
|
||||
\NormalTok{unsplit }\FunctionTok{=} \NormalTok{arr }\FunctionTok{.} \FunctionTok{uncurry}
|
||||
\NormalTok{unsplit }\FunctionTok{=} \NormalTok{arr }\FunctionTok{.} \NormalTok{uncurry}
|
||||
\CommentTok{-- arr (\textbackslash{}op (x,y) -> x `op` y)}
|
||||
\end{Highlighting}
|
||||
\end{Shaded}
|
||||
|
|
Loading…
Add table
Reference in a new issue