diff options
author | Niklas Haas <git@nand.wakku.to> | 2014-03-09 16:32:36 +0100 |
---|---|---|
committer | Niklas Haas <git@nand.wakku.to> | 2014-03-09 20:02:43 +0100 |
commit | 68a78932b5b004945f6681bd51e8080e868fc0ee (patch) | |
tree | 3af2075de738def477a2e9a0fe22c2f9beeca69a /html-test/ref | |
parent | 003f11795e4413abae5275e8a855765c571ccab9 (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.html | 33 |
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-" >(>><)</a + >, <a href="#v:-60--60--62-" + >(<<>)</a > :: a -> b -> ()</li + ><li + ><a href="#v:-42--42--62-" + >(**>)</a + >, <a href="#v:-60--42--42-" + >(<**)</a + >, <a href="#v:-62--42--42-" + >(>**)</a + >, <a href="#v:-42--42--60-" + >(**<)</a + > :: a -> a -> ()</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 >><<br + >infixl 5 <<><br + />infixr 4 >><<br /><a name="v:-62--62--60-" class="def" >(>><)</a + >, <a name="v:-60--60--62-" class="def" + >(<<>)</a > :: a -> b -> ()</p + ><p class="src" + >infixr 8 **>, >**<br + />infixl 8 <**, **<<br + /><a name="v:-42--42--62-" class="def" + >(**>)</a + >, <a name="v:-60--42--42-" class="def" + >(<**)</a + >, <a name="v:-62--42--42-" class="def" + >(>**)</a + >, <a name="v:-42--42--60-" class="def" + >(**<)</a + > :: a -> a -> ()</p + ><div class="doc" + ><p + >Multiple fixities</p + ></div ></div ></div ><div class="top" |