diff options
Diffstat (limited to 'html-test')
-rw-r--r-- | html-test/ref/Operators.html | 33 | ||||
-rw-r--r-- | html-test/src/Operators.hs | 10 |
2 files changed, 41 insertions, 2 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" diff --git a/html-test/src/Operators.hs b/html-test/src/Operators.hs index a2e30c18..f7b4d0ab 100644 --- a/html-test/src/Operators.hs +++ b/html-test/src/Operators.hs @@ -45,11 +45,19 @@ infix 9 ** class a ><> b where type a <>< b :: * data a ><< b - (>><) :: a -> b -> () + (>><), (<<>) :: a -> b -> () + + -- | Multiple fixities + (**>), (**<), (>**), (<**) :: a -> a -> () + infixr 1 ><> infixl 2 <>< infixl 3 ><< infixr 4 >>< +infixl 5 <<> + +infixr 8 **>, >** +infixl 8 **<, <** -- | Type synonym with fixity type (a >-< b) = a <-> b |