diff options
Diffstat (limited to 'html-test/ref/Operators.html')
-rw-r--r-- | html-test/ref/Operators.html | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index 1c49b714..bfecfb38 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -151,11 +151,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");}; ><a href="" >(**>)</a >, <a href="" - >(<**)</a + >(**<)</a >, <a href="" >(>**)</a >, <a href="" - >(**<)</a + >(<**)</a > :: a -> a -> ()</li ></ul ></li @@ -407,16 +407,16 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");}; ><p class="src" ><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 name="v:-62--42--42-" class="def" + >(>**)</a + >, <a name="v:-60--42--42-" class="def" + >(<**)</a > :: a -> a -> () <span class="fixity" >infixr 8 **>, >**</span ><span class="fixity" - >infixl 8 <**, **<</span + >infixl 8 **<, <**</span ><span class="rightedge" ></span ></p |