@@ -1,85 +1,83 @@
11<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2−<html xmlns="http://www.w3.org/1999/xhtml"
3−><head
4− ><title
5− ></title
6− ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
7− /><meta name="generator" content="pandoc"
8− /><style type="text/css"
9− >
10−table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre
11− { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }
12−td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; }
13−td.sourceCode { padding-left: 5px; }
14−pre.sourceCode { }
15−pre.sourceCode span.Normal { }
16−pre.sourceCode span.Keyword { color: #007020; font-weight: bold; }
17−pre.sourceCode span.DataType { color: #902000; }
18−pre.sourceCode span.DecVal { color: #40a070; }
19−pre.sourceCode span.BaseN { color: #40a070; }
20−pre.sourceCode span.Float { color: #40a070; }
21−pre.sourceCode span.Char { color: #4070a0; }
22−pre.sourceCode span.String { color: #4070a0; }
23−pre.sourceCode span.Comment { color: #60a0b0; font-style: italic; }
24−pre.sourceCode span.Others { color: #007020; }
25−pre.sourceCode span.Alert { color: red; font-weight: bold; }
26−pre.sourceCode span.Function { color: #06287e; }
27−pre.sourceCode span.RegionMarker { }
28−pre.sourceCode span.Error { color: red; font-weight: bold; }
29−</style
30− ></head
31− ><body
32− ><div id="lhs-test"
33− ><h1
34− >lhs test</h1
35− ><p
36− ><code
37− >unsplit</code
38− > is an arrow that takes a pair of values and combines them to return a single value:</p
39− ><pre class="sourceCode haskell"
40− ><code
41− ><span class="Special"
42− >> </span
43− ><span class="Function FunctionDefinition"
44− >unsplit ::</span
45− ><span class="Normal NormalText"
46− > (Arrow a) => (b -> c -> d) -> a (b, c) d</span
47− ><br
48− /><span class="Special"
49− >> </span
50− ><span class="Normal NormalText"
51− >unsplit = arr . </span
52− ><span class="Function"
53− >uncurry</span
54− ><span class="Normal NormalText"
55− > </span
56− ><br
57− /><span class="Special"
58− >> </span
59− ><span class="Normal NormalText"
60− > </span
61− ><span class="Comment"
62− >-- arr (\op (x,y) -> x `op` y) </span
63− ><br
64− /></code
65− ></pre
66− ><p
67− ><code
68− >(***)</code
69− > 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
70− ><pre
71− ><code
72− >f *** g = first f >>> second g
2+<html xmlns="http://www.w3.org/1999/xhtml">
3+<head>
4+ <title></title>
5+ <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
6+ <meta name="generator" content="pandoc" />
7+ <meta name="date" content="" />
8+ <style type="text/css">
9+ table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }
10+ td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; }
11+ td.sourceCode { padding-left: 5px; }
12+ pre.sourceCode { }
13+ pre.sourceCode span.Normal { }
14+ pre.sourceCode span.Keyword { color: #007020; font-weight: bold; }
15+ pre.sourceCode span.DataType { color: #902000; }
16+ pre.sourceCode span.DecVal { color: #40a070; }
17+ pre.sourceCode span.BaseN { color: #40a070; }
18+ pre.sourceCode span.Float { color: #40a070; }
19+ pre.sourceCode span.Char { color: #4070a0; }
20+ pre.sourceCode span.String { color: #4070a0; }
21+ pre.sourceCode span.Comment { color: #60a0b0; font-style: italic; }
22+ pre.sourceCode span.Others { color: #007020; }
23+ pre.sourceCode span.Alert { color: red; font-weight: bold; }
24+ pre.sourceCode span.Function { color: #06287e; }
25+ pre.sourceCode span.RegionMarker { }
26+ pre.sourceCode span.Error { color: red; font-weight: bold; }
27+ </style>
28+</head>
29+<body>
30+<div id="lhs-test"
31+><h1
32+ >lhs test</h1
33+ ><p
34+ ><code
35+ >unsplit</code
36+ > is an arrow that takes a pair of values and combines them to return a single value:</p
37+ ><pre class="sourceCode haskell"
38+ ><code
39+ ><span class="Special"
40+ >> </span
41+ ><span class="Function FunctionDefinition"
42+ >unsplit ::</span
43+ ><span class="Normal NormalText"
44+ > (Arrow a) => (b -> c -> d) -> a (b, c) d</span
45+ ><br
46+ /><span class="Special"
47+ >> </span
48+ ><span class="Normal NormalText"
49+ >unsplit = arr . </span
50+ ><span class="Function"
51+ >uncurry</span
52+ ><span class="Normal NormalText"
53+ > </span
54+ ><br
55+ /><span class="Special"
56+ >> </span
57+ ><span class="Normal NormalText"
58+ > </span
59+ ><span class="Comment"
60+ >-- arr (\op (x,y) -> x `op` y) </span
61+ ><br
62+ /></code
63+ ></pre
64+ ><p
65+ ><code
66+ >(***)</code
67+ > 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
68+ ><pre
69+ ><code
70+ >f *** g = first f >>> second g
7371</code
74− ></pre
75− ><p
76− >Block quote:</p
77− ><blockquote
78− ><p
79− >foo bar</p
80− ></blockquote
81− ></div
82− ></body
83− ></html
72+ ></pre
73+ ><p
74+ >Block quote:</p
75+ ><blockquote
76+ ><p
77+ >foo bar</p
78+ ></blockquote
79+ ></div
8480>
81+</body>
82+</html>
8583