6033ea729c
Note: rst writer doesn't handle block quote after code block properly. Ideally it would insert an empty comment to reset indentation. But this is not desirable in general before code blocks. git-svn-id: https://pandoc.googlecode.com/svn/trunk@1540 788f1e2b-df1e-0410-8736-df70ead52e1b
49 lines
1.2 KiB
Text
49 lines
1.2 KiB
Text
<h1 id="lhs-test"
|
|
>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 literatehaskell"
|
|
><code
|
|
><span class="Char Special"
|
|
>></span
|
|
><span class="Function FunctionDefinition"
|
|
> unsplit ::</span
|
|
><span class="Normal NormalText"
|
|
> (Arrow a) => (b -> c -> d) -> a (b, c) d</span
|
|
><br
|
|
/><span class="Char Special"
|
|
>></span
|
|
><span class="Normal NormalText"
|
|
> unsplit = arr . </span
|
|
><span class="Function"
|
|
>uncurry</span
|
|
><span class="Normal NormalText"
|
|
> </span
|
|
><br
|
|
/><span class="Char Special"
|
|
>></span
|
|
><span class="Normal NormalText"
|
|
> </span
|
|
><span class="Comment"
|
|
>-- arr (\op (x,y) -> x `op` y) </span
|
|
><br
|
|
/></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
|
|
><p
|
|
>Block quote:</p
|
|
><blockquote
|
|
><p
|
|
>foo bar</p
|
|
></blockquote
|
|
>
|