aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref
diff options
context:
space:
mode:
authorNiklas Haas <git@nand.wakku.to>2014-03-09 16:32:36 +0100
committerNiklas Haas <git@nand.wakku.to>2014-03-09 20:02:43 +0100
commit68a78932b5b004945f6681bd51e8080e868fc0ee (patch)
tree3af2075de738def477a2e9a0fe22c2f9beeca69a /html-test/ref
parent003f11795e4413abae5275e8a855765c571ccab9 (diff)
Group similar fixities together
Identical fixities declared for the same line should now render using syntax like: infix 4 <, >=, >, <=
Diffstat (limited to 'html-test/ref')
-rw-r--r--html-test/ref/Operators.html33
1 files changed, 32 insertions, 1 deletions
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html
index 89ebbbbf..fdc46aa6 100644
--- a/html-test/ref/Operators.html
+++ b/html-test/ref/Operators.html
@@ -144,7 +144,19 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");};
><li
><a href="#v:-62--62--60-"
>(&gt;&gt;&lt;)</a
+ >, <a href="#v:-60--60--62-"
+ >(&lt;&lt;&gt;)</a
> :: a -&gt; b -&gt; ()</li
+ ><li
+ ><a href="#v:-42--42--62-"
+ >(**&gt;)</a
+ >, <a href="#v:-60--42--42-"
+ >(&lt;**)</a
+ >, <a href="#v:-62--42--42-"
+ >(&gt;**)</a
+ >, <a href="#v:-42--42--60-"
+ >(**&lt;)</a
+ > :: a -&gt; a -&gt; ()</li
></ul
></li
><li class="src short"
@@ -345,10 +357,29 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");};
><p class="caption"
>Methods</p
><p class="src"
- >infixr 4 &gt;&gt;&lt;<br
+ >infixl 5 &lt;&lt;&gt;<br
+ />infixr 4 &gt;&gt;&lt;<br
/><a name="v:-62--62--60-" class="def"
>(&gt;&gt;&lt;)</a
+ >, <a name="v:-60--60--62-" class="def"
+ >(&lt;&lt;&gt;)</a
> :: a -&gt; b -&gt; ()</p
+ ><p class="src"
+ >infixr 8 **&gt;, &gt;**<br
+ />infixl 8 &lt;**, **&lt;<br
+ /><a name="v:-42--42--62-" class="def"
+ >(**&gt;)</a
+ >, <a name="v:-60--42--42-" class="def"
+ >(&lt;**)</a
+ >, <a name="v:-62--42--42-" class="def"
+ >(&gt;**)</a
+ >, <a name="v:-42--42--60-" class="def"
+ >(**&lt;)</a
+ > :: a -&gt; a -&gt; ()</p
+ ><div class="doc"
+ ><p
+ >Multiple fixities</p
+ ></div
></div
></div
><div class="top"