diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/lhs-test.html | 2 | ||||
| -rw-r--r-- | tests/lhs-test.html+lhs | 2 | ||||
| -rw-r--r-- | tests/lhs-test.latex | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/tests/lhs-test.html b/tests/lhs-test.html index 9cea03a9f..6fc51b1e9 100644 --- a/tests/lhs-test.html +++ b/tests/lhs-test.html @@ -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> diff --git a/tests/lhs-test.html+lhs b/tests/lhs-test.html+lhs index 487a8a26b..bc0935bd1 100644 --- a/tests/lhs-test.html+lhs +++ b/tests/lhs-test.html+lhs @@ -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> diff --git a/tests/lhs-test.latex b/tests/lhs-test.latex index 3028063fe..0bfdec6a5 100644 --- a/tests/lhs-test.latex +++ b/tests/lhs-test.latex @@ -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} |