aboutsummaryrefslogblamecommitdiff
path: root/html-test/ref/SpuriousSuperclassConstraints.html
blob: 0f38d15c257850056f3c4fb4ff62023ed52271d9 (plain) (tree)
1
2
3
4
5
6
7
8
9



                                                                     
                                                                  
                                                           
                                                                                                                                      
             
                                   
       
                                          
  




                                     
                    

                      
                    


                               
          






                             
                     








                                         
                                  
                                                                                    
                                                                 
             
                      
                                                                                        
                
             
                                                                            
             
                      
                                                                                                 
                
             
                                   
               
                                                   







                                
                                            
                        



                                             
                 




                                                                                                     
                                          
                                                                                                                                            
                             
                                   
                                 
                                    
                                  
                                                  
                         
                                        
                       
                       
                                
                                                                                      


                                              
                                    
                                  
                                                            
                                      
                                                 
                                      

                                                            
                                       
                                    
                                     
                                                  
                                      
                                                 
                                      

                                                            



                              
                                          
                                                                                                                                                    
                             
                                   
                                     
                                           
                                     
                                    
                                  
                                                  
                         
                                        
                       
                       
                                
                                                                                          


                                              
                                    
                                  
                                                  
                                      

                                                            
                                       
                                    
                                         
                                          
                                      
                                                           
                                      
                                                 
                                      

                                                            
                                       
                                    










                                                                    
                                     
                                          
                                      
                                                 
                                      
                                                 
                                      

                                                            
                                       
                                    
                                     
                                          
                                      
                                                 
                                      
                                                 
                                      

                                                            


                              





                        
          
           
 
<html xmlns="http://www.w3.org/1999/xhtml"
><head
  ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
     /><title
    >SpuriousSuperclassConstraints</title
    ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
     /><script src="haddock-util.js" type="text/javascript"
    ></script
    ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
    ></script
    ><script type="text/javascript"
    >//
window.onload = function () {pageLoad();};
//
</script
    ></head
  ><body
  ><div id="package-header"
    ><ul class="links" id="page-menu"
      ><li
	><a href="#"
	  >Contents</a
	  ></li
	><li
	><a href="#"
	  >Index</a
	  ></li
	></ul
      ><p class="caption empty"
      ></p
      ></div
    ><div id="content"
    ><div id="module-header"
      ><table class="info"
	><tr
	  ><th
	    >Safe Haskell</th
	    ><td
	    >Safe</td
	    ></tr
	  ></table
	><p class="caption"
	>SpuriousSuperclassConstraints</p
	></div
      ><div id="description"
      ><p class="caption"
	>Description</p
	><div class="doc"
	><p
	  >What is tested here:</p
	  ><p
	  >Due to a change in GHC 7.6.1 we had a bug that superclass contraints were
 included in the instances list.  Edward K. repported it here:</p
	  ><p
	  ><a href="#"
	    >http://www.haskell.org/pipermail/haskell-cafe/2012-September/103600.html</a
	    ></p
	  ><p
	  >And here is the corresponding thread on glasgow-haskell-users:</p
	  ><p
	  ><a href="#"
	    >http://www.haskell.org/pipermail/glasgow-haskell-users/2012-September/022914.html</a
	    ></p
	  ><p
	  >It has been fixed in:</p
	  ><pre
	  >6ccf78e15a525282fef61bc4f58a279aa9c21771
Fix spurious superclass constraints bug.</pre
	  ></div
	></div
      ><div id="interface"
      ><h1
	>Documentation</h1
	><div class="top"
	><p class="src"
	  ><span class="keyword"
	    >data</span
	    > <a id="t:SomeType" class="def"
	    >SomeType</a
	    > (f :: <a href="#"
	    >*</a
	    > -&gt; <a href="#"
	    >*</a
	    >) a <a href="#" class="selflink"
	    >#</a
	    ></p
	  ><div class="subs instances"
	  ><p id="control.i:SomeType" class="caption collapser" onclick="toggleSection('i:SomeType')"
	    >Instances</p
	    ><div id="section.i:SomeType" class="show"
	    ><table
	      ><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span id="control.i:id:SomeType:Functor:1" class="instance expander" onclick="toggleSection('i:id:SomeType:Functor:1')"
		      ></span
		      > <a href="#"
		      >Functor</a
		      > (<a href="#"
		      >SomeType</a
		      > f)</span
		    > <a href="#" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  ></td
		  ></tr
		><tr
		><td colspan="2"
		  ><div id="section.i:id:SomeType:Functor:1" class="inst-details hide"
		    ><div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#"
			  >fmap</a
			  > :: (a -&gt; b) -&gt; <a href="#"
			  >SomeType</a
			  > f a -&gt; <a href="#"
			  >SomeType</a
			  > f b <a href="#" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#"
			  >(&lt;$)</a
			  > :: a -&gt; <a href="#"
			  >SomeType</a
			  > f b -&gt; <a href="#"
			  >SomeType</a
			  > f a <a href="#" class="selflink"
			  >#</a
			  ></p
			></div
		      ></div
		    ></td
		  ></tr
		><tr
		><td class="src clearfix"
		  ><span class="inst-left"
		    ><span id="control.i:id:SomeType:Applicative:2" class="instance expander" onclick="toggleSection('i:id:SomeType:Applicative:2')"
		      ></span
		      > <a href="#"
		      >Applicative</a
		      > f =&gt; <a href="#"
		      >Applicative</a
		      > (<a href="#"
		      >SomeType</a
		      > f)</span
		    > <a href="#" class="selflink"
		    >#</a
		    ></td
		  ><td class="doc empty"
		  ></td
		  ></tr
		><tr
		><td colspan="2"
		  ><div id="section.i:id:SomeType:Applicative:2" class="inst-details hide"
		    ><div class="subs methods"
		      ><p class="caption"
			>Methods</p
			><p class="src"
			><a href="#"
			  >pure</a
			  > :: a -&gt; <a href="#"
			  >SomeType</a
			  > f a <a href="#" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#"
			  >(&lt;*&gt;)</a
			  > :: <a href="#"
			  >SomeType</a
			  > f (a -&gt; b) -&gt; <a href="#"
			  >SomeType</a
			  > f a -&gt; <a href="#"
			  >SomeType</a
			  > f b <a href="#" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#"
			  >liftA2</a
			  > :: (a -&gt; b -&gt; c) -&gt; <a href="#"
			  >SomeType</a
			  > f a -&gt; <a href="#"
			  >SomeType</a
			  > f b -&gt; <a href="#"
			  >SomeType</a
			  > f c <a href="#" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#"
			  >(*&gt;)</a
			  > :: <a href="#"
			  >SomeType</a
			  > f a -&gt; <a href="#"
			  >SomeType</a
			  > f b -&gt; <a href="#"
			  >SomeType</a
			  > f b <a href="#" class="selflink"
			  >#</a
			  ></p
			><p class="src"
			><a href="#"
			  >(&lt;*)</a
			  > :: <a href="#"
			  >SomeType</a
			  > f a -&gt; <a href="#"
			  >SomeType</a
			  > f b -&gt; <a href="#"
			  >SomeType</a
			  > f a <a href="#" class="selflink"
			  >#</a
			  ></p
			></div
		      ></div
		    ></td
		  ></tr
		></table
	      ></div
	    ></div
	  ></div
	></div
      ></div
    ><div id="footer"
    ></div
    ></body
  ></html
>