diff options
Diffstat (limited to 'html-test/ref/Operators.html')
| -rw-r--r-- | html-test/ref/Operators.html | 66 |
1 files changed, 53 insertions, 13 deletions
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index 8a54ce3f..27b3427d 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -97,7 +97,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html&qu >(:+)</a > :: <span class="keyword" >forall</span - > t. t -> t -> [t]</li + > a. a -> a -> [a]</li ><li class="src short" ><span class="keyword" >data</span @@ -271,7 +271,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html&qu >(:+)</a > :: <span class="keyword" >forall</span - > t. t -> t -> [t] <span class="fixity" + > a. a -> a -> [a] <span class="fixity" >infixr 3</span ><span class="rightedge" ></span @@ -432,12 +432,18 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html&qu ><p class="src" ><a id="v:-62--62--60-" class="def" >(>><)</a - >, <a id="v:-60--60--62-" class="def" + > :: a -> b -> () <span class="fixity" + >infixr 4</span + ><span class="rightedge" + ></span + > <a href="#" class="selflink" + >#</a + ></p + ><p class="src" + ><a id="v:-60--60--62-" class="def" >(<<>)</a > :: a -> b -> () <span class="fixity" - >infixl 5 <<></span - ><span class="fixity" - >infixr 4 >><</span + >infixl 5</span ><span class="rightedge" ></span > <a href="#" class="selflink" @@ -446,16 +452,50 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html&qu ><p class="src" ><a id="v:-42--42--62-" class="def" >(**>)</a - >, <a id="v:-42--42--60-" class="def" + > :: a -> a -> () <span class="fixity" + >infixr 8</span + ><span class="rightedge" + ></span + > <a href="#" class="selflink" + >#</a + ></p + ><div class="doc" + ><p + >Multiple fixities</p + ></div + ><p class="src" + ><a id="v:-42--42--60-" class="def" >(**<)</a - >, <a id="v:-62--42--42-" class="def" + > :: a -> a -> () <span class="fixity" + >infixl 8</span + ><span class="rightedge" + ></span + > <a href="#" class="selflink" + >#</a + ></p + ><div class="doc" + ><p + >Multiple fixities</p + ></div + ><p class="src" + ><a id="v:-62--42--42-" class="def" >(>**)</a - >, <a id="v:-60--42--42-" class="def" + > :: a -> a -> () <span class="fixity" + >infixr 8</span + ><span class="rightedge" + ></span + > <a href="#" class="selflink" + >#</a + ></p + ><div class="doc" + ><p + >Multiple fixities</p + ></div + ><p class="src" + ><a id="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 > <a href="#" class="selflink" @@ -493,4 +533,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html&qu ></div ></body ></html -> +>
\ No newline at end of file |