diff options
Diffstat (limited to 'html-test/ref')
| -rw-r--r-- | html-test/ref/Bug1004.html | 138 | ||||
| -rw-r--r-- | html-test/ref/Bug1033.html | 10 | ||||
| -rw-r--r-- | html-test/ref/Bug1035.html | 146 | ||||
| -rw-r--r-- | html-test/ref/Bug1063.html | 100 | ||||
| -rw-r--r-- | html-test/ref/Bug253.html | 16 | ||||
| -rw-r--r-- | html-test/ref/Bug466.html | 248 | ||||
| -rw-r--r-- | html-test/ref/Bug548.html | 80 | ||||
| -rw-r--r-- | html-test/ref/Bug865.html | 88 | ||||
| -rw-r--r-- | html-test/ref/Bug923.html | 200 | ||||
| -rw-r--r-- | html-test/ref/ConstructorPatternExport.html | 2 | ||||
| -rw-r--r-- | html-test/ref/DefaultAssociatedTypes.html | 158 | ||||
| -rw-r--r-- | html-test/ref/DefaultSignatures.html | 182 | ||||
| -rw-r--r-- | html-test/ref/FunArgs.html | 2 | ||||
| -rw-r--r-- | html-test/ref/Hash.html | 8 | ||||
| -rw-r--r-- | html-test/ref/Identifiers.html | 286 | ||||
| -rw-r--r-- | html-test/ref/Instances.html | 92 | ||||
| -rw-r--r-- | html-test/ref/NamespacedIdentifiers.html | 146 | ||||
| -rw-r--r-- | html-test/ref/Operators.html | 8 | ||||
| -rw-r--r-- | html-test/ref/PatternSyns.html | 40 | ||||
| -rw-r--r-- | html-test/ref/PromotedTypes.html | 4 | ||||
| -rw-r--r-- | html-test/ref/Test.html | 6 | ||||
| -rw-r--r-- | html-test/ref/TypeFamilies.html | 80 | ||||
| -rw-r--r-- | html-test/ref/UnboxedStuff.html | 202 | 
23 files changed, 1972 insertions, 270 deletions
diff --git a/html-test/ref/Bug1004.html b/html-test/ref/Bug1004.html index 9179e252..be215281 100644 --- a/html-test/ref/Bug1004.html +++ b/html-test/ref/Bug1004.html @@ -116,8 +116,12 @@  		      >Type</a  		      >)</span  		    ></td -		  ><td class="doc empty" -		  ></td +		  ><td class="doc" +		  ><p +		    ><em +		      >Since: base-4.9.0.0</em +		      ></p +		    ></td  		  ></tr  		><tr  		><td colspan="2" @@ -150,7 +154,9 @@  			><p class="src"  			><a href="#"  			  >from1</a -			  > :: <a href="#" title="Bug1004" +			  > :: <span class="keyword" +			  >forall</span +			  > (a :: k0). <a href="#" title="Bug1004"  			  >Product</a  			  > f g a -> <a href="#" title="GHC.Generics"  			  >Rep1</a @@ -162,7 +168,9 @@  			><p class="src"  			><a href="#"  			  >to1</a -			  > :: <a href="#" title="GHC.Generics" +			  > :: <span class="keyword" +			  >forall</span +			  > (a :: k0). <a href="#" title="GHC.Generics"  			  >Rep1</a  			  > (<a href="#" title="Bug1004"  			  >Product</a @@ -241,16 +249,6 @@  			  > f g a <a href="#" class="selflink"  			  >#</a  			  ></p -			><p class="src" -			><a href="#" -			  >fail</a -			  > :: <a href="#" title="Data.String" -			  >String</a -			  > -> <a href="#" title="Bug1004" -			  >Product</a -			  > f g a <a href="#" class="selflink" -			  >#</a -			  ></p  			></div  		      ></details  		    ></td @@ -511,6 +509,16 @@  			  ></p  			><p class="src"  			><a href="#" +			  >foldMap'</a +			  > :: <a href="#" title="Data.Monoid" +			  >Monoid</a +			  > m => (a -> m) -> <a href="#" title="Bug1004" +			  >Product</a +			  > f g a -> m <a href="#" class="selflink" +			  >#</a +			  ></p +			><p class="src" +			><a href="#"  			  >foldr</a  			  > :: (a -> b -> b) -> b -> <a href="#" title="Bug1004"  			  >Product</a @@ -1380,7 +1388,7 @@  			  >forall</span  			  > d. <a href="#" title="Data.Data"  			  >Data</a -			  > d => c (t d)) -> <a href="#" title="GHC.Maybe" +			  > d => c (t d)) -> <a href="#" title="Data.Maybe"  			  >Maybe</a  			  > (c (<a href="#" title="Bug1004"  			  >Product</a @@ -1398,7 +1406,7 @@  			  >Data</a  			  > d, <a href="#" title="Data.Data"  			  >Data</a -			  > e) => c (t d e)) -> <a href="#" title="GHC.Maybe" +			  > e) => c (t d e)) -> <a href="#" title="Data.Maybe"  			  >Maybe</a  			  > (c (<a href="#" title="Bug1004"  			  >Product</a @@ -1434,7 +1442,9 @@  			><p class="src"  			><a href="#"  			  >gmapQr</a -			  > :: (r' -> r -> r) -> r -> (<span class="keyword" +			  > :: <span class="keyword" +			  >forall</span +			  > r r'. (r' -> r -> r) -> r -> (<span class="keyword"  			  >forall</span  			  > d. <a href="#" title="Data.Data"  			  >Data</a @@ -1810,8 +1820,12 @@  		      >Product</a  		      > f g a)</span  		    ></td -		  ><td class="doc empty" -		  ></td +		  ><td class="doc" +		  ><p +		    ><em +		      >Since: base-4.9.0.0</em +		      ></p +		    ></td  		  ></tr  		><tr  		><td colspan="2" @@ -1886,12 +1900,8 @@  		      >Type</a  		      >)</span  		    ></td -		  ><td class="doc" -		  ><p -		    ><em -		      >Since: base-4.9.0.0</em -		      ></p -		    ></td +		  ><td class="doc empty" +		  ></td  		  ></tr  		><tr  		><td colspan="2" @@ -1913,33 +1923,33 @@  			>Type</a  			>) = <a href="#" title="GHC.Generics"  			>D1</a -			> (<a href="#" title="GHC.Generics" +			> ('<a href="#" title="GHC.Generics"  			>MetaData</a -			> "Product" "Data.Functor.Product" "base" <a href="#" title="Data.Bool" +			> "Product" "Data.Functor.Product" "base" '<a href="#" title="Data.Bool"  			>False</a  			>) (<a href="#" title="GHC.Generics"  			>C1</a -			> (<a href="#" title="GHC.Generics" +			> ('<a href="#" title="GHC.Generics"  			>MetaCons</a -			> "Pair" <a href="#" title="GHC.Generics" +			> "Pair" '<a href="#" title="GHC.Generics"  			>PrefixI</a -			> <a href="#" title="Data.Bool" +			> '<a href="#" title="Data.Bool"  			>False</a  			>) (<a href="#" title="GHC.Generics"  			>S1</a -			> (<a href="#" title="GHC.Generics" +			> ('<a href="#" title="GHC.Generics"  			>MetaSel</a -			> (<a href="#" title="GHC.Maybe" +			> ('<a href="#" title="Data.Maybe"  			>Nothing</a -			> :: <a href="#" title="GHC.Maybe" +			> :: <a href="#" title="Data.Maybe"  			>Maybe</a  			> <a href="#" title="GHC.TypeLits"  			>Symbol</a -			>) <a href="#" title="GHC.Generics" +			>) '<a href="#" title="GHC.Generics"  			>NoSourceUnpackedness</a -			> <a href="#" title="GHC.Generics" +			> '<a href="#" title="GHC.Generics"  			>NoSourceStrictness</a -			> <a href="#" title="GHC.Generics" +			> '<a href="#" title="GHC.Generics"  			>DecidedLazy</a  			>) (<a href="#" title="GHC.Generics"  			>Rec1</a @@ -1947,19 +1957,19 @@  			>:*:</a  			> <a href="#" title="GHC.Generics"  			>S1</a -			> (<a href="#" title="GHC.Generics" +			> ('<a href="#" title="GHC.Generics"  			>MetaSel</a -			> (<a href="#" title="GHC.Maybe" +			> ('<a href="#" title="Data.Maybe"  			>Nothing</a -			> :: <a href="#" title="GHC.Maybe" +			> :: <a href="#" title="Data.Maybe"  			>Maybe</a  			> <a href="#" title="GHC.TypeLits"  			>Symbol</a -			>) <a href="#" title="GHC.Generics" +			>) '<a href="#" title="GHC.Generics"  			>NoSourceUnpackedness</a -			> <a href="#" title="GHC.Generics" +			> '<a href="#" title="GHC.Generics"  			>NoSourceStrictness</a -			> <a href="#" title="GHC.Generics" +			> '<a href="#" title="GHC.Generics"  			>DecidedLazy</a  			>) (<a href="#" title="GHC.Generics"  			>Rec1</a @@ -1980,12 +1990,8 @@  		      >Product</a  		      > f g a)</span  		    ></td -		  ><td class="doc" -		  ><p -		    ><em -		      >Since: base-4.9.0.0</em -		      ></p -		    ></td +		  ><td class="doc empty" +		  ></td  		  ></tr  		><tr  		><td colspan="2" @@ -2005,33 +2011,33 @@  			>Product</a  			> f g a) = <a href="#" title="GHC.Generics"  			>D1</a -			> (<a href="#" title="GHC.Generics" +			> ('<a href="#" title="GHC.Generics"  			>MetaData</a -			> "Product" "Data.Functor.Product" "base" <a href="#" title="Data.Bool" +			> "Product" "Data.Functor.Product" "base" '<a href="#" title="Data.Bool"  			>False</a  			>) (<a href="#" title="GHC.Generics"  			>C1</a -			> (<a href="#" title="GHC.Generics" +			> ('<a href="#" title="GHC.Generics"  			>MetaCons</a -			> "Pair" <a href="#" title="GHC.Generics" +			> "Pair" '<a href="#" title="GHC.Generics"  			>PrefixI</a -			> <a href="#" title="Data.Bool" +			> '<a href="#" title="Data.Bool"  			>False</a  			>) (<a href="#" title="GHC.Generics"  			>S1</a -			> (<a href="#" title="GHC.Generics" +			> ('<a href="#" title="GHC.Generics"  			>MetaSel</a -			> (<a href="#" title="GHC.Maybe" +			> ('<a href="#" title="Data.Maybe"  			>Nothing</a -			> :: <a href="#" title="GHC.Maybe" +			> :: <a href="#" title="Data.Maybe"  			>Maybe</a  			> <a href="#" title="GHC.TypeLits"  			>Symbol</a -			>) <a href="#" title="GHC.Generics" +			>) '<a href="#" title="GHC.Generics"  			>NoSourceUnpackedness</a -			> <a href="#" title="GHC.Generics" +			> '<a href="#" title="GHC.Generics"  			>NoSourceStrictness</a -			> <a href="#" title="GHC.Generics" +			> '<a href="#" title="GHC.Generics"  			>DecidedLazy</a  			>) (<a href="#" title="GHC.Generics"  			>Rec0</a @@ -2039,19 +2045,19 @@  			>:*:</a  			> <a href="#" title="GHC.Generics"  			>S1</a -			> (<a href="#" title="GHC.Generics" +			> ('<a href="#" title="GHC.Generics"  			>MetaSel</a -			> (<a href="#" title="GHC.Maybe" +			> ('<a href="#" title="Data.Maybe"  			>Nothing</a -			> :: <a href="#" title="GHC.Maybe" +			> :: <a href="#" title="Data.Maybe"  			>Maybe</a  			> <a href="#" title="GHC.TypeLits"  			>Symbol</a -			>) <a href="#" title="GHC.Generics" +			>) '<a href="#" title="GHC.Generics"  			>NoSourceUnpackedness</a -			> <a href="#" title="GHC.Generics" +			> '<a href="#" title="GHC.Generics"  			>NoSourceStrictness</a -			> <a href="#" title="GHC.Generics" +			> '<a href="#" title="GHC.Generics"  			>DecidedLazy</a  			>) (<a href="#" title="GHC.Generics"  			>Rec0</a @@ -2069,4 +2075,4 @@      ></div      ></body    ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug1033.html b/html-test/ref/Bug1033.html index 32a9f6d3..d01cef79 100644 --- a/html-test/ref/Bug1033.html +++ b/html-test/ref/Bug1033.html @@ -187,17 +187,17 @@  			>Foo</a  			> = <a href="#" title="GHC.Generics"  			>D1</a -			> (<a href="#" title="GHC.Generics" +			> ('<a href="#" title="GHC.Generics"  			>MetaData</a -			> "Foo" "Bug1033" "main" <a href="#" title="Data.Bool" +			> "Foo" "Bug1033" "main" '<a href="#" title="Data.Bool"  			>False</a  			>) (<a href="#" title="GHC.Generics"  			>C1</a -			> (<a href="#" title="GHC.Generics" +			> ('<a href="#" title="GHC.Generics"  			>MetaCons</a -			> "Foo" <a href="#" title="GHC.Generics" +			> "Foo" '<a href="#" title="GHC.Generics"  			>PrefixI</a -			> <a href="#" title="Data.Bool" +			> '<a href="#" title="Data.Bool"  			>False</a  			>) (<a href="#" title="GHC.Generics"  			>U1</a diff --git a/html-test/ref/Bug1035.html b/html-test/ref/Bug1035.html new file mode 100644 index 00000000..f9b04581 --- /dev/null +++ b/html-test/ref/Bug1035.html @@ -0,0 +1,146 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head +  ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" +     /><meta name="viewport" content="width=device-width, initial-scale=1" +     /><title +    >Bug1035</title +    ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" +     /><link rel="stylesheet" type="text/css" href="#" +     /><link rel="stylesheet" type="text/css" href="#" +     /><script src="haddock-bundle.min.js" async="async" type="text/javascript" +    ></script +    ><script type="text/x-mathjax-config" +    >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script +    ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" +    ></script +    ></head +  ><body +  ><div id="package-header" +    ><span class="caption empty" +      ></span +      ><ul class="links" id="page-menu" +      ><li +	><a href="#" +	  >Contents</a +	  ></li +	><li +	><a href="#" +	  >Index</a +	  ></li +	></ul +      ></div +    ><div id="content" +    ><div id="module-header" +      ><table class="info" +	><tr +	  ><th +	    >Safe Haskell</th +	    ><td +	    >Safe</td +	    ></tr +	  ></table +	><p class="caption" +	>Bug1035</p +	></div +      ><div id="synopsis" +      ><details id="syn" +	><summary +	  >Synopsis</summary +	  ><ul class="details-toggle" data-details-id="syn" +	  ><li class="src short" +	    ><span class="keyword" +	      >data</span +	      > <a href="#" +	      >Foo</a +	      > = <a href="#" +	      >Bar</a +	      ></li +	    ><li class="src short" +	    ><span class="keyword" +	      >data</span +	      > <a href="#" +	      >Bar</a +	      > = <a href="#" +	      >Foo</a +	      ></li +	    ><li class="src short" +	    ><a href="#" +	      >foo</a +	      > :: ()</li +	    ></ul +	  ></details +	></div +      ><div id="interface" +      ><h1 +	>Documentation</h1 +	><div class="top" +	><p class="src" +	  ><span class="keyword" +	    >data</span +	    > <a id="t:Foo" class="def" +	    >Foo</a +	    > <a href="#" class="selflink" +	    >#</a +	    ></p +	  ><div class="subs constructors" +	  ><p class="caption" +	    >Constructors</p +	    ><table +	    ><tr +	      ><td class="src" +		><a id="v:Bar" class="def" +		  >Bar</a +		  ></td +		><td class="doc empty" +		></td +		></tr +	      ></table +	    ></div +	  ></div +	><div class="top" +	><p class="src" +	  ><span class="keyword" +	    >data</span +	    > <a id="t:Bar" class="def" +	    >Bar</a +	    > <a href="#" class="selflink" +	    >#</a +	    ></p +	  ><div class="subs constructors" +	  ><p class="caption" +	    >Constructors</p +	    ><table +	    ><tr +	      ><td class="src" +		><a id="v:Foo" class="def" +		  >Foo</a +		  ></td +		><td class="doc empty" +		></td +		></tr +	      ></table +	    ></div +	  ></div +	><div class="top" +	><p class="src" +	  ><a id="v:foo" class="def" +	    >foo</a +	    > :: () <a href="#" class="selflink" +	    >#</a +	    ></p +	  ><div class="doc" +	  ><p +	    >A link to <code +	      ><a href="#" title="Bug1035" +		>Bar</a +		></code +	      ></p +	    ></div +	  ></div +	></div +      ></div +    ><div id="footer" +    ></div +    ></body +  ></html +>
\ No newline at end of file diff --git a/html-test/ref/Bug1063.html b/html-test/ref/Bug1063.html new file mode 100644 index 00000000..a7555971 --- /dev/null +++ b/html-test/ref/Bug1063.html @@ -0,0 +1,100 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head +  ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" +     /><meta name="viewport" content="width=device-width, initial-scale=1" +     /><title +    >Bug1063</title +    ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" +     /><link rel="stylesheet" type="text/css" href="#" +     /><link rel="stylesheet" type="text/css" href="#" +     /><script src="haddock-bundle.min.js" async="async" type="text/javascript" +    ></script +    ><script type="text/x-mathjax-config" +    >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script +    ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" +    ></script +    ></head +  ><body +  ><div id="package-header" +    ><span class="caption empty" +      ></span +      ><ul class="links" id="page-menu" +      ><li +	><a href="#" +	  >Contents</a +	  ></li +	><li +	><a href="#" +	  >Index</a +	  ></li +	></ul +      ></div +    ><div id="content" +    ><div id="module-header" +      ><table class="info" +	><tr +	  ><th +	    >Safe Haskell</th +	    ><td +	    >Safe</td +	    ></tr +	  ></table +	><p class="caption" +	>Bug1063</p +	></div +      ><div id="interface" +      ><h1 +	>Documentation</h1 +	><div class="top" +	><p class="src" +	  ><span class="keyword" +	    >class</span +	    > (c => d) => <a id="t:Implies" class="def" +	    >Implies</a +	    > c d <a href="#" class="selflink" +	    >#</a +	    ></p +	  ><div class="subs instances" +	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Implies" +	    >Instances</h4 +	    ><details id="i:Implies" open="open" +	    ><summary class="hide-when-js-enabled" +	      >Instances details</summary +	      ><table +	      ><tr +		><td class="src clearfix" +		  ><span class="inst-left" +		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Implies:Implies:1" +		      ></span +		      > (c => d) => <a href="#" title="Bug1063" +		      >Implies</a +		      > c d</span +		    > <a href="#" class="selflink" +		    >#</a +		    ></td +		  ><td class="doc empty" +		  ></td +		  ></tr +		><tr +		><td colspan="2" +		  ><details id="i:ic:Implies:Implies:1" +		    ><summary class="hide-when-js-enabled" +		      >Instance details</summary +		      ><p +		      >Defined in <a href="#" +			>Bug1063</a +			></p +		      ></details +		    ></td +		  ></tr +		></table +	      ></details +	    ></div +	  ></div +	></div +      ></div +    ><div id="footer" +    ></div +    ></body +  ></html +>
\ No newline at end of file diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html index 315ffb79..b4581e91 100644 --- a/html-test/ref/Bug253.html +++ b/html-test/ref/Bug253.html @@ -4,9 +4,9 @@       /><meta name="viewport" content="width=device-width, initial-scale=1"       /><title      >Bug253</title -    ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" -     /><link rel="stylesheet" type="text/css" href="#" -     /><link rel="stylesheet" type="text/css" href="#" +    ><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" +     /><link rel="stylesheet" type="text/css" href="quick-jump.css" +     /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700"       /><script src="haddock-bundle.min.js" async="async" type="text/javascript"      ></script      ><script type="text/x-mathjax-config" @@ -20,11 +20,11 @@        ></span        ><ul class="links" id="page-menu"        ><li -	><a href="#" +	><a href="index.html"  	  >Contents</a  	  ></li  	><li -	><a href="#" +	><a href="doc-index.html"  	  >Index</a  	  ></li  	></ul @@ -64,7 +64,7 @@  	  >Synopsis</summary  	  ><ul class="details-toggle" data-details-id="syn"  	  ><li class="src short" -	    ><a href="#" +	    ><a href="#v:foo"  	      >foo</a  	      > :: ()</li  	    ></ul @@ -77,7 +77,7 @@  	><p class="src"  	  ><a id="v:foo" class="def"  	    >foo</a -	    > :: () <a href="#" class="selflink" +	    > :: () <a href="#v:foo" class="selflink"  	    >#</a  	    ></p  	  ><div class="doc" @@ -85,7 +85,7 @@  	    >This link should generate <code  	      >#v</code  	      > anchor: <code -	      ><a href="#" title="DoesNotExist" +	      ><a href="DoesNotExist.html#v:fakeFakeFake" title="DoesNotExist"  		>fakeFakeFake</a  		></code  	      ></p diff --git a/html-test/ref/Bug466.html b/html-test/ref/Bug466.html new file mode 100644 index 00000000..a0c1cd87 --- /dev/null +++ b/html-test/ref/Bug466.html @@ -0,0 +1,248 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head +  ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" +     /><meta name="viewport" content="width=device-width, initial-scale=1" +     /><title +    >Bug466</title +    ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" +     /><link rel="stylesheet" type="text/css" href="#" +     /><link rel="stylesheet" type="text/css" href="#" +     /><script src="haddock-bundle.min.js" async="async" type="text/javascript" +    ></script +    ><script type="text/x-mathjax-config" +    >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script +    ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" +    ></script +    ></head +  ><body +  ><div id="package-header" +    ><span class="caption empty" +      ></span +      ><ul class="links" id="page-menu" +      ><li +	><a href="#" +	  >Contents</a +	  ></li +	><li +	><a href="#" +	  >Index</a +	  ></li +	></ul +      ></div +    ><div id="content" +    ><div id="module-header" +      ><table class="info" +	><tr +	  ><th +	    >Safe Haskell</th +	    ><td +	    >Safe</td +	    ></tr +	  ></table +	><p class="caption" +	>Bug466</p +	></div +      ><div id="interface" +      ><h1 +	>Documentation</h1 +	><div class="top" +	><p class="src" +	  ><span class="keyword" +	    >class</span +	    > <a id="t:Cl" class="def" +	    >Cl</a +	    > a <a href="#" class="selflink" +	    >#</a +	    ></p +	  ><div class="subs associated-types" +	  ><p class="caption" +	    >Associated Types</p +	    ><p class="src" +	    ><span class="keyword" +	      >type</span +	      > <a id="t:Fam" class="def" +	      >Fam</a +	      > a :: [*] <a href="#" class="selflink" +	      >#</a +	      ></p +	    ></div +	  ><div class="subs instances" +	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Cl" +	    >Instances</h4 +	    ><details id="i:Cl" open="open" +	    ><summary class="hide-when-js-enabled" +	      >Instances details</summary +	      ><table +	      ><tr +		><td class="src clearfix" +		  ><span class="inst-left" +		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Cl:Cl:1" +		      ></span +		      > <a href="#" title="Bug466" +		      >Cl</a +		      > <a href="#" title="Bug466" +		      >X</a +		      ></span +		    > <a href="#" class="selflink" +		    >#</a +		    ></td +		  ><td class="doc empty" +		  ></td +		  ></tr +		><tr +		><td colspan="2" +		  ><details id="i:ic:Cl:Cl:1" +		    ><summary class="hide-when-js-enabled" +		      >Instance details</summary +		      ><p +		      >Defined in <a href="#" +			>Bug466</a +			></p +		      > <div class="subs associated-types" +		      ><p class="caption" +			>Associated Types</p +			><p class="src" +			><span class="keyword" +			  >type</span +			  > <a href="#" title="Bug466" +			  >Fam</a +			  > <a href="#" title="Bug466" +			  >X</a +			  > :: [<a href="#" title="Data.Kind" +			  >Type</a +			  >] <a href="#" class="selflink" +			  >#</a +			  ></p +			></div +		      ></details +		    ></td +		  ></tr +		></table +	      ></details +	    ></div +	  ></div +	><div class="top" +	><p class="src" +	  ><span class="keyword" +	    >data</span +	    > <a id="t:X" class="def" +	    >X</a +	    > <a href="#" class="selflink" +	    >#</a +	    ></p +	  ><div class="subs constructors" +	  ><p class="caption" +	    >Constructors</p +	    ><table +	    ><tr +	      ><td class="src" +		><a id="v:X" class="def" +		  >X</a +		  ></td +		><td class="doc empty" +		></td +		></tr +	      ></table +	    ></div +	  ><div class="subs instances" +	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:X" +	    >Instances</h4 +	    ><details id="i:X" open="open" +	    ><summary class="hide-when-js-enabled" +	      >Instances details</summary +	      ><table +	      ><tr +		><td class="src clearfix" +		  ><span class="inst-left" +		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Cl:1" +		      ></span +		      > <a href="#" title="Bug466" +		      >Cl</a +		      > <a href="#" title="Bug466" +		      >X</a +		      ></span +		    > <a href="#" class="selflink" +		    >#</a +		    ></td +		  ><td class="doc empty" +		  ></td +		  ></tr +		><tr +		><td colspan="2" +		  ><details id="i:id:X:Cl:1" +		    ><summary class="hide-when-js-enabled" +		      >Instance details</summary +		      ><p +		      >Defined in <a href="#" +			>Bug466</a +			></p +		      > <div class="subs associated-types" +		      ><p class="caption" +			>Associated Types</p +			><p class="src" +			><span class="keyword" +			  >type</span +			  > <a href="#" title="Bug466" +			  >Fam</a +			  > <a href="#" title="Bug466" +			  >X</a +			  > :: [<a href="#" title="Data.Kind" +			  >Type</a +			  >] <a href="#" class="selflink" +			  >#</a +			  ></p +			></div +		      ></details +		    ></td +		  ></tr +		><tr +		><td class="src clearfix" +		  ><span class="inst-left" +		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Fam:2" +		      ></span +		      > <span class="keyword" +		      >type</span +		      > <a href="#" title="Bug466" +		      >Fam</a +		      > <a href="#" title="Bug466" +		      >X</a +		      ></span +		    > <a href="#" class="selflink" +		    >#</a +		    ></td +		  ><td class="doc empty" +		  ></td +		  ></tr +		><tr +		><td colspan="2" +		  ><details id="i:id:X:Fam:2" +		    ><summary class="hide-when-js-enabled" +		      >Instance details</summary +		      ><p +		      >Defined in <a href="#" +			>Bug466</a +			></p +		      > <div class="src" +		      ><span class="keyword" +			>type</span +			> <a href="#" title="Bug466" +			>Fam</a +			> <a href="#" title="Bug466" +			>X</a +			> = '[<a href="#" title="Data.Char" +			>Char</a +			>]</div +		      ></details +		    ></td +		  ></tr +		></table +	      ></details +	    ></div +	  ></div +	></div +      ></div +    ><div id="footer" +    ></div +    ></body +  ></html +>
\ No newline at end of file diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html index c8c30c23..b2a1da0b 100644 --- a/html-test/ref/Bug548.html +++ b/html-test/ref/Bug548.html @@ -114,8 +114,12 @@  		      >Type</a  		      >)</span  		    ></td -		  ><td class="doc empty" -		  ></td +		  ><td class="doc" +		  ><p +		    ><em +		      >Since: base-4.7.0.0</em +		      ></p +		    ></td  		  ></tr  		><tr  		><td colspan="2" @@ -148,7 +152,9 @@  			><p class="src"  			><a href="#"  			  >from1</a -			  > :: <a href="#" title="Bug548" +			  > :: <span class="keyword" +			  >forall</span +			  > (a0 :: k). <a href="#" title="Bug548"  			  >WrappedArrow</a  			  > a b a0 -> <a href="#" title="GHC.Generics"  			  >Rep1</a @@ -160,7 +166,9 @@  			><p class="src"  			><a href="#"  			  >to1</a -			  > :: <a href="#" title="GHC.Generics" +			  > :: <span class="keyword" +			  >forall</span +			  > (a0 :: k). <a href="#" title="GHC.Generics"  			  >Rep1</a  			  > (<a href="#" title="Bug548"  			  >WrappedArrow</a @@ -410,8 +418,12 @@  		      >WrappedArrow</a  		      > a b c)</span  		    ></td -		  ><td class="doc empty" -		  ></td +		  ><td class="doc" +		  ><p +		    ><em +		      >Since: base-4.7.0.0</em +		      ></p +		    ></td  		  ></tr  		><tr  		><td colspan="2" @@ -488,12 +500,8 @@  		      >Type</a  		      >)</span  		    ></td -		  ><td class="doc" -		  ><p -		    ><em -		      >Since: base-4.7.0.0</em -		      ></p -		    ></td +		  ><td class="doc empty" +		  ></td  		  ></tr  		><tr  		><td colspan="2" @@ -517,29 +525,29 @@  			>Type</a  			>) = <a href="#" title="GHC.Generics"  			>D1</a -			> (<a href="#" title="GHC.Generics" +			> ('<a href="#" title="GHC.Generics"  			>MetaData</a -			> "WrappedArrow" "Control.Applicative" "base" <a href="#" title="Data.Bool" +			> "WrappedArrow" "Control.Applicative" "base" '<a href="#" title="Data.Bool"  			>True</a  			>) (<a href="#" title="GHC.Generics"  			>C1</a -			> (<a href="#" title="GHC.Generics" +			> ('<a href="#" title="GHC.Generics"  			>MetaCons</a -			> "WrapArrow" <a href="#" title="GHC.Generics" +			> "WrapArrow" '<a href="#" title="GHC.Generics"  			>PrefixI</a -			> <a href="#" title="Data.Bool" +			> '<a href="#" title="Data.Bool"  			>True</a  			>) (<a href="#" title="GHC.Generics"  			>S1</a -			> (<a href="#" title="GHC.Generics" +			> ('<a href="#" title="GHC.Generics"  			>MetaSel</a -			> (<a href="#" title="GHC.Maybe" +			> ('<a href="#" title="Data.Maybe"  			>Just</a -			> "unwrapArrow") <a href="#" title="GHC.Generics" +			> "unwrapArrow") '<a href="#" title="GHC.Generics"  			>NoSourceUnpackedness</a -			> <a href="#" title="GHC.Generics" +			> '<a href="#" title="GHC.Generics"  			>NoSourceStrictness</a -			> <a href="#" title="GHC.Generics" +			> '<a href="#" title="GHC.Generics"  			>DecidedLazy</a  			>) (<a href="#" title="GHC.Generics"  			>Rec1</a @@ -560,12 +568,8 @@  		      >WrappedArrow</a  		      > a b c)</span  		    ></td -		  ><td class="doc" -		  ><p -		    ><em -		      >Since: base-4.7.0.0</em -		      ></p -		    ></td +		  ><td class="doc empty" +		  ></td  		  ></tr  		><tr  		><td colspan="2" @@ -585,29 +589,29 @@  			>WrappedArrow</a  			> a b c) = <a href="#" title="GHC.Generics"  			>D1</a -			> (<a href="#" title="GHC.Generics" +			> ('<a href="#" title="GHC.Generics"  			>MetaData</a -			> "WrappedArrow" "Control.Applicative" "base" <a href="#" title="Data.Bool" +			> "WrappedArrow" "Control.Applicative" "base" '<a href="#" title="Data.Bool"  			>True</a  			>) (<a href="#" title="GHC.Generics"  			>C1</a -			> (<a href="#" title="GHC.Generics" +			> ('<a href="#" title="GHC.Generics"  			>MetaCons</a -			> "WrapArrow" <a href="#" title="GHC.Generics" +			> "WrapArrow" '<a href="#" title="GHC.Generics"  			>PrefixI</a -			> <a href="#" title="Data.Bool" +			> '<a href="#" title="Data.Bool"  			>True</a  			>) (<a href="#" title="GHC.Generics"  			>S1</a -			> (<a href="#" title="GHC.Generics" +			> ('<a href="#" title="GHC.Generics"  			>MetaSel</a -			> (<a href="#" title="GHC.Maybe" +			> ('<a href="#" title="Data.Maybe"  			>Just</a -			> "unwrapArrow") <a href="#" title="GHC.Generics" +			> "unwrapArrow") '<a href="#" title="GHC.Generics"  			>NoSourceUnpackedness</a -			> <a href="#" title="GHC.Generics" +			> '<a href="#" title="GHC.Generics"  			>NoSourceStrictness</a -			> <a href="#" title="GHC.Generics" +			> '<a href="#" title="GHC.Generics"  			>DecidedLazy</a  			>) (<a href="#" title="GHC.Generics"  			>Rec0</a diff --git a/html-test/ref/Bug865.html b/html-test/ref/Bug865.html new file mode 100644 index 00000000..16b1714e --- /dev/null +++ b/html-test/ref/Bug865.html @@ -0,0 +1,88 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head +  ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" +     /><meta name="viewport" content="width=device-width, initial-scale=1" +     /><title +    >Bug865</title +    ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" +     /><link rel="stylesheet" type="text/css" href="#" +     /><link rel="stylesheet" type="text/css" href="#" +     /><script src="haddock-bundle.min.js" async="async" type="text/javascript" +    ></script +    ><script type="text/x-mathjax-config" +    >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script +    ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" +    ></script +    ></head +  ><body +  ><div id="package-header" +    ><span class="caption empty" +      ></span +      ><ul class="links" id="page-menu" +      ><li +	><a href="#" +	  >Contents</a +	  ></li +	><li +	><a href="#" +	  >Index</a +	  ></li +	></ul +      ></div +    ><div id="content" +    ><div id="module-header" +      ><table class="info" +	><tr +	  ><th +	    >Safe Haskell</th +	    ><td +	    >Safe</td +	    ></tr +	  ></table +	><p class="caption" +	>Bug865</p +	></div +      ><div id="synopsis" +      ><details id="syn" +	><summary +	  >Synopsis</summary +	  ><ul class="details-toggle" data-details-id="syn" +	  ><li class="src short" +	    ><a href="#" +	      >link</a +	      > :: ()</li +	    ></ul +	  ></details +	></div +      ><div id="interface" +      ><h1 +	>Documentation</h1 +	><div class="top" +	><p class="src" +	  ><a id="v:link" class="def" +	    >link</a +	    > :: () <a href="#" class="selflink" +	    >#</a +	    ></p +	  ><div class="doc" +	  ><p +	    >An emphasized link <a href="#" +	      >yes <em +		>this</em +		> is emphasized while this is + <code +		>monospaced</code +		></a +	      >. And here is an image:</p +	    ><p +	    ><img src="https://www.haskell.org/static/img/haskell-logo.svg" title="emphasis stripped" +	       /></p +	    ></div +	  ></div +	></div +      ></div +    ><div id="footer" +    ></div +    ></body +  ></html +>
\ No newline at end of file diff --git a/html-test/ref/Bug923.html b/html-test/ref/Bug923.html new file mode 100644 index 00000000..387b7192 --- /dev/null +++ b/html-test/ref/Bug923.html @@ -0,0 +1,200 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head +  ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" +     /><meta name="viewport" content="width=device-width, initial-scale=1" +     /><title +    >Bug923</title +    ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" +     /><link rel="stylesheet" type="text/css" href="#" +     /><link rel="stylesheet" type="text/css" href="#" +     /><script src="haddock-bundle.min.js" async="async" type="text/javascript" +    ></script +    ><script type="text/x-mathjax-config" +    >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script +    ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" +    ></script +    ></head +  ><body +  ><div id="package-header" +    ><span class="caption empty" +      ></span +      ><ul class="links" id="page-menu" +      ><li +	><a href="#" +	  >Contents</a +	  ></li +	><li +	><a href="#" +	  >Index</a +	  ></li +	></ul +      ></div +    ><div id="content" +    ><div id="module-header" +      ><table class="info" +	><tr +	  ><th +	    >Safe Haskell</th +	    ><td +	    >Safe</td +	    ></tr +	  ></table +	><p class="caption" +	>Bug923</p +	></div +      ><div id="synopsis" +      ><details id="syn" +	><summary +	  >Synopsis</summary +	  ><ul class="details-toggle" data-details-id="syn" +	  ><li class="src short" +	    ><span class="keyword" +	      >data</span +	      > <a href="#" +	      >T</a +	      > :: (* -> (*, *)) -> * <span class="keyword" +	      >where</span +	      ><ul class="subs" +	      ><li +		><a href="#" +		  >T</a +		  > :: a -> <a href="#" title="Bug923" +		  >T</a +		  > ('<a href="#" title="GHC.Tuple" +		  >(,)</a +		  > a)</li +		></ul +	      ></li +	    ></ul +	  ></details +	></div +      ><div id="interface" +      ><h1 +	>Documentation</h1 +	><div class="top" +	><p class="src" +	  ><span class="keyword" +	    >data</span +	    > <a id="t:T" class="def" +	    >T</a +	    > :: (* -> (*, *)) -> * <span class="keyword" +	    >where</span +	    > <a href="#" class="selflink" +	    >#</a +	    ></p +	  ><div class="doc" +	  ><p +	    >A promoted tuple type</p +	    ></div +	  ><div class="subs constructors" +	  ><p class="caption" +	    >Constructors</p +	    ><table +	    ><tr +	      ><td class="src" +		><a id="v:T" class="def" +		  >T</a +		  > :: a -> <a href="#" title="Bug923" +		  >T</a +		  > ('<a href="#" title="GHC.Tuple" +		  >(,)</a +		  > a)</td +		><td class="doc empty" +		></td +		></tr +	      ></table +	    ></div +	  ><div class="subs instances" +	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:T" +	    >Instances</h4 +	    ><details id="i:T" open="open" +	    ><summary class="hide-when-js-enabled" +	      >Instances details</summary +	      ><table +	      ><tr +		><td class="src clearfix" +		  ><span class="inst-left" +		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:T:Eq:1" +		      ></span +		      > <a href="#" title="Data.Eq" +		      >Eq</a +		      > a => <a href="#" title="Data.Eq" +		      >Eq</a +		      > (<a href="#" title="Bug923" +		      >T</a +		      > ('<a href="#" title="GHC.Tuple" +		      >(,)</a +		      > a :: <a href="#" title="Data.Kind" +		      >Type</a +		      > -> (<a href="#" title="Data.Kind" +		      >Type</a +		      >, <a href="#" title="Data.Kind" +		      >Type</a +		      >)))</span +		    > <a href="#" class="selflink" +		    >#</a +		    ></td +		  ><td class="doc" +		  ><p +		    >A promoted tuple type in an instance</p +		    ></td +		  ></tr +		><tr +		><td colspan="2" +		  ><details id="i:id:T:Eq:1" +		    ><summary class="hide-when-js-enabled" +		      >Instance details</summary +		      ><p +		      >Defined in <a href="#" +			>Bug923</a +			></p +		      > <div class="subs methods" +		      ><p class="caption" +			>Methods</p +			><p class="src" +			><a href="#" +			  >(==)</a +			  > :: <a href="#" title="Bug923" +			  >T</a +			  > ('<a href="#" title="GHC.Tuple" +			  >(,)</a +			  > a) -> <a href="#" title="Bug923" +			  >T</a +			  > ('<a href="#" title="GHC.Tuple" +			  >(,)</a +			  > a) -> <a href="#" title="Data.Bool" +			  >Bool</a +			  > <a href="#" class="selflink" +			  >#</a +			  ></p +			><p class="src" +			><a href="#" +			  >(/=)</a +			  > :: <a href="#" title="Bug923" +			  >T</a +			  > ('<a href="#" title="GHC.Tuple" +			  >(,)</a +			  > a) -> <a href="#" title="Bug923" +			  >T</a +			  > ('<a href="#" title="GHC.Tuple" +			  >(,)</a +			  > a) -> <a href="#" title="Data.Bool" +			  >Bool</a +			  > <a href="#" class="selflink" +			  >#</a +			  ></p +			></div +		      ></details +		    ></td +		  ></tr +		></table +	      ></details +	    ></div +	  ></div +	></div +      ></div +    ><div id="footer" +    ></div +    ></body +  ></html +>
\ No newline at end of file diff --git a/html-test/ref/ConstructorPatternExport.html b/html-test/ref/ConstructorPatternExport.html index 32f6737c..3296ac93 100644 --- a/html-test/ref/ConstructorPatternExport.html +++ b/html-test/ref/ConstructorPatternExport.html @@ -103,7 +103,7 @@  	    >MyGADTCons</a  	    > :: a -> <a href="#" title="Data.Int"  	    >Int</a -	    > -> MyGADT (<a href="#" title="GHC.Maybe" +	    > -> MyGADT (<a href="#" title="Data.Maybe"  	    >Maybe</a  	    > <a href="#" title="Data.String"  	    >String</a diff --git a/html-test/ref/DefaultAssociatedTypes.html b/html-test/ref/DefaultAssociatedTypes.html new file mode 100644 index 00000000..d456815f --- /dev/null +++ b/html-test/ref/DefaultAssociatedTypes.html @@ -0,0 +1,158 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head +  ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" +     /><meta name="viewport" content="width=device-width, initial-scale=1" +     /><title +    >DefaultAssociatedTypes</title +    ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" +     /><link rel="stylesheet" type="text/css" href="#" +     /><link rel="stylesheet" type="text/css" href="#" +     /><script src="haddock-bundle.min.js" async="async" type="text/javascript" +    ></script +    ><script type="text/x-mathjax-config" +    >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script +    ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" +    ></script +    ></head +  ><body +  ><div id="package-header" +    ><span class="caption empty" +      ></span +      ><ul class="links" id="page-menu" +      ><li +	><a href="#" +	  >Contents</a +	  ></li +	><li +	><a href="#" +	  >Index</a +	  ></li +	></ul +      ></div +    ><div id="content" +    ><div id="module-header" +      ><table class="info" +	><tr +	  ><th +	    >Safe Haskell</th +	    ><td +	    >Safe</td +	    ></tr +	  ></table +	><p class="caption" +	>DefaultAssociatedTypes</p +	></div +      ><div id="synopsis" +      ><details id="syn" +	><summary +	  >Synopsis</summary +	  ><ul class="details-toggle" data-details-id="syn" +	  ><li class="src short" +	    ><span class="keyword" +	      >class</span +	      > <a href="#" +	      >Foo</a +	      > a <span class="keyword" +	      >where</span +	      ><ul class="subs" +	      ><li +		><span class="keyword" +		  >type</span +		  > <a href="#" +		  >Qux</a +		  > a :: *</li +		><li +		><a href="#" +		  >bar</a +		  >, <a href="#" +		  >baz</a +		  > :: a -> <a href="#" title="Data.String" +		  >String</a +		  ></li +		></ul +	      ></li +	    ></ul +	  ></details +	></div +      ><div id="interface" +      ><h1 +	>Documentation</h1 +	><div class="top" +	><p class="src" +	  ><span class="keyword" +	    >class</span +	    > <a id="t:Foo" class="def" +	    >Foo</a +	    > a <span class="keyword" +	    >where</span +	    > <a href="#" class="selflink" +	    >#</a +	    ></p +	  ><div class="doc" +	  ><p +	    >Documentation for Foo.</p +	    ></div +	  ><div class="subs associated-types" +	  ><p class="caption" +	    >Associated Types</p +	    ><p class="src" +	    ><span class="keyword" +	      >type</span +	      > <a id="t:Qux" class="def" +	      >Qux</a +	      > a :: * <a href="#" class="selflink" +	      >#</a +	      ></p +	    ><div class="doc" +	    ><p +	      >Doc for Qux</p +	      ></div +	    > <div class="subs default" +	    ><p class="caption" +	      ></p +	      ><p class="src" +	      ><span class="keyword" +		>type</span +		> <a id="t:Qux" class="def" +		>Qux</a +		> a = [a] <a href="#" class="selflink" +		>#</a +		></p +	      ></div +	    ></div +	  ><div class="subs methods" +	  ><p class="caption" +	    >Methods</p +	    ><p class="src" +	    ><a id="v:bar" class="def" +	      >bar</a +	      > :: a -> <a href="#" title="Data.String" +	      >String</a +	      > <a href="#" class="selflink" +	      >#</a +	      ></p +	    ><div class="doc" +	    ><p +	      >Documentation for bar and baz.</p +	      ></div +	    ><p class="src" +	    ><a id="v:baz" class="def" +	      >baz</a +	      > :: a -> <a href="#" title="Data.String" +	      >String</a +	      > <a href="#" class="selflink" +	      >#</a +	      ></p +	    ><div class="doc" +	    ><p +	      >Documentation for bar and baz.</p +	      ></div +	    ></div +	  ></div +	></div +      ></div +    ><div id="footer" +    ></div +    ></body +  ></html +>
\ No newline at end of file diff --git a/html-test/ref/DefaultSignatures.html b/html-test/ref/DefaultSignatures.html new file mode 100644 index 00000000..4bf261f7 --- /dev/null +++ b/html-test/ref/DefaultSignatures.html @@ -0,0 +1,182 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head +  ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" +     /><meta name="viewport" content="width=device-width, initial-scale=1" +     /><title +    >DefaultSignatures</title +    ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" +     /><link rel="stylesheet" type="text/css" href="#" +     /><link rel="stylesheet" type="text/css" href="#" +     /><script src="haddock-bundle.min.js" async="async" type="text/javascript" +    ></script +    ><script type="text/x-mathjax-config" +    >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script +    ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" +    ></script +    ></head +  ><body +  ><div id="package-header" +    ><span class="caption empty" +      ></span +      ><ul class="links" id="page-menu" +      ><li +	><a href="#" +	  >Contents</a +	  ></li +	><li +	><a href="#" +	  >Index</a +	  ></li +	></ul +      ></div +    ><div id="content" +    ><div id="module-header" +      ><table class="info" +	><tr +	  ><th +	    >Safe Haskell</th +	    ><td +	    >Safe</td +	    ></tr +	  ></table +	><p class="caption" +	>DefaultSignatures</p +	></div +      ><div id="synopsis" +      ><details id="syn" +	><summary +	  >Synopsis</summary +	  ><ul class="details-toggle" data-details-id="syn" +	  ><li class="src short" +	    ><span class="keyword" +	      >class</span +	      > <a href="#" +	      >Foo</a +	      > a <span class="keyword" +	      >where</span +	      ><ul class="subs" +	      ><li +		><a href="#" +		  >bar</a +		  >, <a href="#" +		  >baz</a +		  > :: a -> <a href="#" title="Data.String" +		  >String</a +		  ></li +		><li +		><a href="#" +		  >baz'</a +		  > :: <a href="#" title="Data.String" +		  >String</a +		  > -> a</li +		></ul +	      ></li +	    ></ul +	  ></details +	></div +      ><div id="interface" +      ><h1 +	>Documentation</h1 +	><div class="top" +	><p class="src" +	  ><span class="keyword" +	    >class</span +	    > <a id="t:Foo" class="def" +	    >Foo</a +	    > a <span class="keyword" +	    >where</span +	    > <a href="#" class="selflink" +	    >#</a +	    ></p +	  ><div class="doc" +	  ><p +	    >Documentation for Foo.</p +	    ></div +	  ><div class="subs minimal" +	  ><p class="caption" +	    >Minimal complete definition</p +	    ><p class="src" +	    ><a href="#" title="DefaultSignatures" +	      >baz</a +	      ></p +	    ></div +	  ><div class="subs methods" +	  ><p class="caption" +	    >Methods</p +	    ><p class="src" +	    ><a id="v:bar" class="def" +	      >bar</a +	      > :: a -> <a href="#" title="Data.String" +	      >String</a +	      > <a href="#" class="selflink" +	      >#</a +	      ></p +	    ><div class="doc" +	    ><p +	      >Documentation for bar and baz.</p +	      ></div +	    > <div class="subs default" +	    ><p class="caption" +	      ></p +	      ><p class="src" +	      ><span class="keyword" +		>default</span +		> <a id="v:bar" class="def" +		>bar</a +		> :: <a href="#" title="Text.Show" +		>Show</a +		> a => a -> <a href="#" title="Data.String" +		>String</a +		> <a href="#" class="selflink" +		>#</a +		></p +	      ></div +	    ><p class="src" +	    ><a id="v:baz" class="def" +	      >baz</a +	      > :: a -> <a href="#" title="Data.String" +	      >String</a +	      > <a href="#" class="selflink" +	      >#</a +	      ></p +	    ><div class="doc" +	    ><p +	      >Documentation for bar and baz.</p +	      ></div +	    ><p class="src" +	    ><a id="v:baz-39-" class="def" +	      >baz'</a +	      > :: <a href="#" title="Data.String" +	      >String</a +	      > -> a <a href="#" class="selflink" +	      >#</a +	      ></p +	    ><div class="doc" +	    ><p +	      >Documentation for baz'.</p +	      ></div +	    > <div class="subs default" +	    ><p class="caption" +	      ></p +	      ><p class="src" +	      ><span class="keyword" +		>default</span +		> <a id="v:baz-39-" class="def" +		>baz'</a +		> :: <a href="#" title="Text.Read" +		>Read</a +		> a => <a href="#" title="Data.String" +		>String</a +		> -> a <a href="#" class="selflink" +		>#</a +		></p +	      ></div +	    ></div +	  ></div +	></div +      ></div +    ><div id="footer" +    ></div +    ></body +  ></html +>
\ No newline at end of file diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html index b40aa97c..0b87c47b 100644 --- a/html-test/ref/FunArgs.html +++ b/html-test/ref/FunArgs.html @@ -224,7 +224,7 @@  	      ><td class="src"  		>:: <span class="keyword"  		  >forall</span -		  > a (b :: ()) d. d ~ <a href="#" title="GHC.Tuple" +		  > a (b :: ()) d. d ~ '<a href="#" title="GHC.Tuple"  		  >()</a  		  ></td  		><td class="doc empty" diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html index 438375f0..29f299f2 100644 --- a/html-test/ref/Hash.html +++ b/html-test/ref/Hash.html @@ -121,7 +121,7 @@  	      >Hash</a  	      > key => key -> <a href="#" title="System.IO"  	      >IO</a -	      > (<a href="#" title="GHC.Maybe" +	      > (<a href="#" title="Data.Maybe"  	      >Maybe</a  	      > val)</li  	    ><li class="src short" @@ -229,7 +229,7 @@  	    >Hash</a  	    > key => key -> <a href="#" title="System.IO"  	    >IO</a -	    > (<a href="#" title="GHC.Maybe" +	    > (<a href="#" title="Data.Maybe"  	    >Maybe</a  	    > val) <a href="#" class="selflink"  	    >#</a @@ -238,13 +238,13 @@  	  ><p  	    >Looks up a key in the hash table, returns <code  	      ><code -		><a href="#" title="GHC.Maybe" +		><a href="#" title="Data.Maybe"  		  >Just</a  		  ></code  		> val</code  	      > if the key   was found, or <code -	      ><a href="#" title="GHC.Maybe" +	      ><a href="#" title="Data.Maybe"  		>Nothing</a  		></code  	      > otherwise.</p diff --git a/html-test/ref/Identifiers.html b/html-test/ref/Identifiers.html new file mode 100644 index 00000000..a9e6fb21 --- /dev/null +++ b/html-test/ref/Identifiers.html @@ -0,0 +1,286 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head +  ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" +     /><meta name="viewport" content="width=device-width, initial-scale=1" +     /><title +    >Identifiers</title +    ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" +     /><link rel="stylesheet" type="text/css" href="#" +     /><link rel="stylesheet" type="text/css" href="#" +     /><script src="haddock-bundle.min.js" async="async" type="text/javascript" +    ></script +    ><script type="text/x-mathjax-config" +    >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script +    ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" +    ></script +    ></head +  ><body +  ><div id="package-header" +    ><span class="caption empty" +      ></span +      ><ul class="links" id="page-menu" +      ><li +	><a href="#" +	  >Contents</a +	  ></li +	><li +	><a href="#" +	  >Index</a +	  ></li +	></ul +      ></div +    ><div id="content" +    ><div id="module-header" +      ><table class="info" +	><tr +	  ><th +	    >Safe Haskell</th +	    ><td +	    >Safe</td +	    ></tr +	  ></table +	><p class="caption" +	>Identifiers</p +	></div +      ><div id="synopsis" +      ><details id="syn" +	><summary +	  >Synopsis</summary +	  ><ul class="details-toggle" data-details-id="syn" +	  ><li class="src short" +	    ><span class="keyword" +	      >data</span +	      > <a href="#" +	      >Id</a +	      > = <a href="#" +	      >Id</a +	      ></li +	    ><li class="src short" +	    ><span class="keyword" +	      >data</span +	      > a <a href="#" +	      >:*</a +	      > b = a <a href="#" +	      >:*</a +	      > b</li +	    ><li class="src short" +	    ><a href="#" +	      >foo</a +	      > :: ()</li +	    ></ul +	  ></details +	></div +      ><div id="interface" +      ><h1 +	>Documentation</h1 +	><div class="top" +	><p class="src" +	  ><span class="keyword" +	    >data</span +	    > <a id="t:Id" class="def" +	    >Id</a +	    > <a href="#" class="selflink" +	    >#</a +	    ></p +	  ><div class="subs constructors" +	  ><p class="caption" +	    >Constructors</p +	    ><table +	    ><tr +	      ><td class="src" +		><a id="v:Id" class="def" +		  >Id</a +		  ></td +		><td class="doc empty" +		></td +		></tr +	      ></table +	    ></div +	  ></div +	><div class="top" +	><p class="src" +	  ><span class="keyword" +	    >data</span +	    > a <a id="t::-42-" class="def" +	    >:*</a +	    > b <a href="#" class="selflink" +	    >#</a +	    ></p +	  ><div class="subs constructors" +	  ><p class="caption" +	    >Constructors</p +	    ><table +	    ><tr +	      ><td class="src" +		>a <a id="v::-42-" class="def" +		  >:*</a +		  > b</td +		><td class="doc empty" +		></td +		></tr +	      ></table +	    ></div +	  ></div +	><div class="top" +	><p class="src" +	  ><a id="v:foo" class="def" +	    >foo</a +	    > :: () <a href="#" class="selflink" +	    >#</a +	    ></p +	  ><div class="doc" +	  ><ul +	    ><li +	      ><p +		>Unadorned:</p +		><ul +		><li +		  >Unqualified: <code +		    ><a href="#" title="GHC.List" +		      >++</a +		      ></code +		    >, <code +		    ><a href="#" title="Data.Foldable" +		      >elem</a +		      ></code +		    ></li +		  ><li +		  >Qualified: <code +		    ><a href="#" title="GHC.List" +		      >++</a +		      ></code +		    >, <code +		    ><a href="#" title="Data.Lis" +		      >elem</a +		      ></code +		    ></li +		  ><li +		  >Namespaced: <code +		    ><a href="#" title="GHC.List" +		      >++</a +		      ></code +		    >, <code +		    >++</code +		    >, <code +		    ><a href="#" title="Data.Foldable" +		      >elem</a +		      ></code +		    >, <code +		    >elem</code +		    >, <code +		    ><a href="#" title="Identifiers" +		      >Id</a +		      ></code +		    >, <code +		    ><a href="#" title="Identifiers" +		      >Id</a +		      ></code +		    >, <code +		    ><a href="#" title="Identifiers" +		      >:*</a +		      ></code +		    >, <code +		    ><a href="#" title="Identifiers" +		      >:*</a +		      ></code +		    ></li +		  ></ul +		></li +	      ><li +	      ><p +		>Parenthesized:</p +		><ul +		><li +		  >Unqualified: <code +		    ><code +		      ><a href="#" title="GHC.List" +			>(++)</a +			></code +		      > [1,2,3] [4,5,6]</code +		    ></li +		  ><li +		  >Qualified: <code +		    ><code +		      ><a href="#" title="GHC.List" +			>(++)</a +			></code +		      > [1,2,3] [4,5,6]</code +		    ></li +		  ><li +		  >Namespaced: <code +		    ><a href="#" title="GHC.List" +		      >(++)</a +		      ></code +		    >, <code +		    >++</code +		    >, <code +		    ><a href="#" title="Identifiers" +		      >(:*)</a +		      ></code +		    >, <code +		    ><a href="#" title="Identifiers" +		      >(:*)</a +		      ></code +		    ></li +		  ></ul +		></li +	      ><li +	      ><p +		>Backticked:</p +		><ul +		><li +		  >Unqualified: <code +		    >1 <code +		      ><a href="#" title="Data.Foldable" +			>`elem`</a +			></code +		      > [-3..3]</code +		    ></li +		  ><li +		  >Qualified: <code +		    >1 <code +		      ><a href="#" title="Data.Foldable" +			>`elem`</a +			></code +		      > [-3..3]</code +		    ></li +		  ><li +		  >Namespaced: <code +		    ><a href="#" title="Data.Foldable" +		      >`elem`</a +		      ></code +		    >, <code +		    >`elem`</code +		    >, <code +		    ><a href="#" title="Identifiers" +		      >`Id`</a +		      ></code +		    >, <code +		    ><a href="#" title="Identifiers" +		      >`Id`</a +		      ></code +		    ></li +		  ></ul +		></li +	      ><li +	      ><p +		>Edge cases:</p +		><ul +		><li +		  >Tuples: <code +		    >()</code +		    >, <code +		    >(,,,)</code +		    ></li +		  ></ul +		></li +	      ></ul +	    ></div +	  ></div +	></div +      ></div +    ><div id="footer" +    ></div +    ></body +  ></html +>
\ No newline at end of file diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index 308b97ce..7faa9588 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -242,7 +242,7 @@  		      ></span  		      > <a href="#" title="Instances"  		      >Foo</a -		      > <a href="#" title="GHC.Maybe" +		      > <a href="#" title="Data.Maybe"  		      >Maybe</a  		      ></span  		    > <a href="#" class="selflink" @@ -266,11 +266,11 @@  			><p class="src"  			><a href="#"  			  >foo</a -			  > :: <a href="#" title="GHC.Maybe" +			  > :: <a href="#" title="Data.Maybe"  			  >Maybe</a  			  > <a href="#" title="Data.Int"  			  >Int</a -			  > -> a -> <a href="#" title="GHC.Maybe" +			  > -> a -> <a href="#" title="Data.Maybe"  			  >Maybe</a  			  > a <a href="#" class="selflink"  			  >#</a @@ -278,15 +278,15 @@  			><p class="src"  			><a href="#"  			  >foo'</a -			  > :: <a href="#" title="GHC.Maybe" +			  > :: <a href="#" title="Data.Maybe"  			  >Maybe</a -			  > (<a href="#" title="GHC.Maybe" +			  > (<a href="#" title="Data.Maybe"  			  >Maybe</a  			  > a) -> <a href="#" title="Data.Int"  			  >Int</a -			  > -> <a href="#" title="GHC.Maybe" +			  > -> <a href="#" title="Data.Maybe"  			  >Maybe</a -			  > (<a href="#" title="GHC.Maybe" +			  > (<a href="#" title="Data.Maybe"  			  >Maybe</a  			  > <a href="#" title="Data.Int"  			  >Int</a @@ -706,7 +706,7 @@  		      ></span  		      > <a href="#" title="Instances"  		      >Bar</a -		      > <a href="#" title="GHC.Maybe" +		      > <a href="#" title="Data.Maybe"  		      >Maybe</a  		      > <a href="#" title="Data.Bool"  		      >Bool</a @@ -732,11 +732,11 @@  			><p class="src"  			><a href="#"  			  >bar</a -			  > :: <a href="#" title="GHC.Maybe" +			  > :: <a href="#" title="Data.Maybe"  			  >Maybe</a  			  > <a href="#" title="Data.Bool"  			  >Bool</a -			  > -> <a href="#" title="GHC.Maybe" +			  > -> <a href="#" title="Data.Maybe"  			  >Maybe</a  			  > <a href="#" title="Data.Bool"  			  >Bool</a @@ -748,17 +748,17 @@  			><p class="src"  			><a href="#"  			  >bar'</a -			  > :: <a href="#" title="GHC.Maybe" +			  > :: <a href="#" title="Data.Maybe"  			  >Maybe</a -			  > (<a href="#" title="GHC.Maybe" +			  > (<a href="#" title="Data.Maybe"  			  >Maybe</a  			  > <a href="#" title="Data.Bool"  			  >Bool</a -			  >) -> <a href="#" title="GHC.Maybe" +			  >) -> <a href="#" title="Data.Maybe"  			  >Maybe</a -			  > (<a href="#" title="GHC.Maybe" +			  > (<a href="#" title="Data.Maybe"  			  >Maybe</a -			  > (<a href="#" title="GHC.Maybe" +			  > (<a href="#" title="Data.Maybe"  			  >Maybe</a  			  > b)) <a href="#" class="selflink"  			  >#</a @@ -766,17 +766,17 @@  			><p class="src"  			><a href="#"  			  >bar0</a -			  > :: (<a href="#" title="GHC.Maybe" +			  > :: (<a href="#" title="Data.Maybe"  			  >Maybe</a  			  > <a href="#" title="Data.Bool"  			  >Bool</a -			  >, <a href="#" title="GHC.Maybe" +			  >, <a href="#" title="Data.Maybe"  			  >Maybe</a  			  > <a href="#" title="Data.Bool"  			  >Bool</a -			  >) -> (<a href="#" title="GHC.Maybe" +			  >) -> (<a href="#" title="Data.Maybe"  			  >Maybe</a -			  > b, <a href="#" title="GHC.Maybe" +			  > b, <a href="#" title="Data.Maybe"  			  >Maybe</a  			  > c) <a href="#" class="selflink"  			  >#</a @@ -784,17 +784,17 @@  			><p class="src"  			><a href="#"  			  >bar1</a -			  > :: (<a href="#" title="GHC.Maybe" +			  > :: (<a href="#" title="Data.Maybe"  			  >Maybe</a  			  > <a href="#" title="Data.Bool"  			  >Bool</a -			  >, <a href="#" title="GHC.Maybe" +			  >, <a href="#" title="Data.Maybe"  			  >Maybe</a  			  > <a href="#" title="Data.Bool"  			  >Bool</a -			  >) -> (<a href="#" title="GHC.Maybe" +			  >) -> (<a href="#" title="Data.Maybe"  			  >Maybe</a -			  > b, <a href="#" title="GHC.Maybe" +			  > b, <a href="#" title="Data.Maybe"  			  >Maybe</a  			  > c) <a href="#" class="selflink"  			  >#</a @@ -810,7 +810,7 @@  		      ></span  		      > <a href="#" title="Instances"  		      >Bar</a -		      > <a href="#" title="GHC.Maybe" +		      > <a href="#" title="Data.Maybe"  		      >Maybe</a  		      > [a]</span  		    > <a href="#" class="selflink" @@ -834,9 +834,9 @@  			><p class="src"  			><a href="#"  			  >bar</a -			  > :: <a href="#" title="GHC.Maybe" +			  > :: <a href="#" title="Data.Maybe"  			  >Maybe</a -			  > [a] -> <a href="#" title="GHC.Maybe" +			  > [a] -> <a href="#" title="Data.Maybe"  			  >Maybe</a  			  > <a href="#" title="Data.Bool"  			  >Bool</a @@ -846,15 +846,15 @@  			><p class="src"  			><a href="#"  			  >bar'</a -			  > :: <a href="#" title="GHC.Maybe" +			  > :: <a href="#" title="Data.Maybe"  			  >Maybe</a -			  > (<a href="#" title="GHC.Maybe" +			  > (<a href="#" title="Data.Maybe"  			  >Maybe</a -			  > [a]) -> <a href="#" title="GHC.Maybe" +			  > [a]) -> <a href="#" title="Data.Maybe"  			  >Maybe</a -			  > (<a href="#" title="GHC.Maybe" +			  > (<a href="#" title="Data.Maybe"  			  >Maybe</a -			  > (<a href="#" title="GHC.Maybe" +			  > (<a href="#" title="Data.Maybe"  			  >Maybe</a  			  > b)) <a href="#" class="selflink"  			  >#</a @@ -862,13 +862,13 @@  			><p class="src"  			><a href="#"  			  >bar0</a -			  > :: (<a href="#" title="GHC.Maybe" +			  > :: (<a href="#" title="Data.Maybe"  			  >Maybe</a -			  > [a], <a href="#" title="GHC.Maybe" +			  > [a], <a href="#" title="Data.Maybe"  			  >Maybe</a -			  > [a]) -> (<a href="#" title="GHC.Maybe" +			  > [a]) -> (<a href="#" title="Data.Maybe"  			  >Maybe</a -			  > b, <a href="#" title="GHC.Maybe" +			  > b, <a href="#" title="Data.Maybe"  			  >Maybe</a  			  > c) <a href="#" class="selflink"  			  >#</a @@ -876,13 +876,13 @@  			><p class="src"  			><a href="#"  			  >bar1</a -			  > :: (<a href="#" title="GHC.Maybe" +			  > :: (<a href="#" title="Data.Maybe"  			  >Maybe</a -			  > [a], <a href="#" title="GHC.Maybe" +			  > [a], <a href="#" title="Data.Maybe"  			  >Maybe</a -			  > [a]) -> (<a href="#" title="GHC.Maybe" +			  > [a]) -> (<a href="#" title="Data.Maybe"  			  >Maybe</a -			  > b, <a href="#" title="GHC.Maybe" +			  > b, <a href="#" title="Data.Maybe"  			  >Maybe</a  			  > c) <a href="#" class="selflink"  			  >#</a @@ -2038,8 +2038,6 @@  			  >Int</a  			  > c <a href="#" title="Data.Bool"  			  >Bool</a -			  > :: <a href="#" title="Data.Kind" -			  >Type</a  			  > <a href="#" class="selflink"  			  >#</a  			  ></p @@ -2050,9 +2048,7 @@  			  >Thud</a  			  > <a href="#" title="Data.Int"  			  >Int</a -			  > c :: <a href="#" title="Data.Kind" -			  >Type</a -			  > <a href="#" class="selflink" +			  > c <a href="#" class="selflink"  			  >#</a  			  ></p  			></div @@ -2112,9 +2108,7 @@  			  >type</span  			  > <a href="#" title="Instances"  			  >Plugh</a -			  > [a] c [b] :: <a href="#" title="Data.Kind" -			  >Type</a -			  > <a href="#" class="selflink" +			  > [a] c [b] <a href="#" class="selflink"  			  >#</a  			  ></p  			><p class="src" @@ -2122,9 +2116,7 @@  			  >data</span  			  > <a href="#" title="Instances"  			  >Thud</a -			  > [a] c :: <a href="#" title="Data.Kind" -			  >Type</a -			  > <a href="#" class="selflink" +			  > [a] c <a href="#" class="selflink"  			  >#</a  			  ></p  			></div diff --git a/html-test/ref/NamespacedIdentifiers.html b/html-test/ref/NamespacedIdentifiers.html new file mode 100644 index 00000000..c005727a --- /dev/null +++ b/html-test/ref/NamespacedIdentifiers.html @@ -0,0 +1,146 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head +  ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" +     /><meta name="viewport" content="width=device-width, initial-scale=1" +     /><title +    >NamespacedIdentifiers</title +    ><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" +     /><link rel="stylesheet" type="text/css" href="quick-jump.css" +     /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" +     /><script src="haddock-bundle.min.js" async="async" type="text/javascript" +    ></script +    ><script type="text/x-mathjax-config" +    >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script +    ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" +    ></script +    ></head +  ><body +  ><div id="package-header" +    ><span class="caption empty" +      ></span +      ><ul class="links" id="page-menu" +      ><li +	><a href="index.html" +	  >Contents</a +	  ></li +	><li +	><a href="doc-index.html" +	  >Index</a +	  ></li +	></ul +      ></div +    ><div id="content" +    ><div id="module-header" +      ><table class="info" +	><tr +	  ><th +	    >Safe Haskell</th +	    ><td +	    >Safe</td +	    ></tr +	  ></table +	><p class="caption" +	>NamespacedIdentifiers</p +	></div +      ><div id="synopsis" +      ><details id="syn" +	><summary +	  >Synopsis</summary +	  ><ul class="details-toggle" data-details-id="syn" +	  ><li class="src short" +	    ><span class="keyword" +	      >data</span +	      > <a href="#t:Foo" +	      >Foo</a +	      > = <a href="#v:Bar" +	      >Bar</a +	      ></li +	    ><li class="src short" +	    ><span class="keyword" +	      >data</span +	      > <a href="#t:Bar" +	      >Bar</a +	      ></li +	    ></ul +	  ></details +	></div +      ><div id="interface" +      ><h1 +	>Documentation</h1 +	><div class="top" +	><p class="src" +	  ><span class="keyword" +	    >data</span +	    > <a id="t:Foo" class="def" +	    >Foo</a +	    > <a href="#t:Foo" class="selflink" +	    >#</a +	    ></p +	  ><div class="doc" +	  ><p +	    >A link to:</p +	    ><ul +	    ><li +	      >the type <code +		><a href="NamespacedIdentifiers.html#t:Bar" title="NamespacedIdentifiers" +		  >Bar</a +		  ></code +		></li +	      ><li +	      >the constructor <code +		><a href="NamespacedIdentifiers.html#v:Bar" title="NamespacedIdentifiers" +		  >Bar</a +		  ></code +		></li +	      ><li +	      >the unimported but qualified type <code +		><a href="A.html#t:A" title="A" +		  >A</a +		  ></code +		></li +	      ><li +	      >the unimported but qualified value <code +		><a href="A.html#v:A" title="A" +		  >A</a +		  ></code +		></li +	      ></ul +	    ></div +	  ><div class="subs constructors" +	  ><p class="caption" +	    >Constructors</p +	    ><table +	    ><tr +	      ><td class="src" +		><a id="v:Bar" class="def" +		  >Bar</a +		  ></td +		><td class="doc empty" +		></td +		></tr +	      ></table +	    ></div +	  ></div +	><div class="top" +	><p class="src" +	  ><span class="keyword" +	    >data</span +	    > <a id="t:Bar" class="def" +	    >Bar</a +	    > <a href="#t:Bar" class="selflink" +	    >#</a +	    ></p +	  ><div class="doc" +	  ><p +	    >A link to the value <code +	      >Foo</code +	      > (which shouldn't exist).</p +	    ></div +	  ></div +	></div +      ></div +    ><div id="footer" +    ></div +    ></body +  ></html +>
\ No newline at end of file diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index 7eca93e4..6a185b8a 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -96,9 +96,7 @@  	      >pattern</span  	      > <a href="#"  	      >(:+)</a -	      > :: <span class="keyword" -	      >forall</span -	      > a. a -> a -> [a]</li +	      > :: a -> a -> [a]</li  	    ><li class="src short"  	    ><span class="keyword"  	      >data</span @@ -285,9 +283,7 @@  	    >pattern</span  	    > <a id="v::-43-" class="def"  	    >(:+)</a -	    > :: <span class="keyword" -	    >forall</span -	    > a. a -> a -> [a] <span class="fixity" +	    > :: a -> a -> [a] <span class="fixity"  	    >infixr 3</span  	    ><span class="rightedge"  	    ></span diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index 7e10b755..249a6e12 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -68,9 +68,7 @@  	      >pattern</span  	      > <a href="#"  	      >Foo</a -	      > :: <span class="keyword" -	      >forall</span -	      > x. x -> <a href="#" title="PatternSyns" +	      > :: x -> <a href="#" title="PatternSyns"  	      >FooType</a  	      > x</li  	    ><li class="src short" @@ -78,9 +76,7 @@  	      >pattern</span  	      > <a href="#"  	      >Bar</a -	      > :: <span class="keyword" -	      >forall</span -	      > x. x -> <a href="#" title="PatternSyns" +	      > :: x -> <a href="#" title="PatternSyns"  	      >FooType</a  	      > (<a href="#" title="PatternSyns"  	      >FooType</a @@ -90,9 +86,7 @@  	      >pattern</span  	      > <a href="#"  	      >(:<->)</a -	      > :: <span class="keyword" -	      >forall</span -	      > x x1. x -> x1 -> (<a href="#" title="PatternSyns" +	      > :: x -> x1 -> (<a href="#" title="PatternSyns"  	      >FooType</a  	      > x, <a href="#" title="PatternSyns"  	      >FooType</a @@ -116,9 +110,7 @@  	      >pattern</span  	      > <a href="#"  	      >Blub</a -	      > :: () => <span class="keyword" -	      >forall</span -	      > x. <a href="#" title="Text.Show" +	      > :: () => <a href="#" title="Text.Show"  	      >Show</a  	      > x => x -> <a href="#" title="PatternSyns"  	      >BlubType</a @@ -136,9 +128,7 @@  	      >pattern</span  	      > <a href="#"  	      >E</a -	      > :: <span class="keyword" -	      >forall</span -	      > k a (b :: k). a <a href="#" title="PatternSyns" +	      > :: a <a href="#" title="PatternSyns"  	      >><</a  	      > b</li  	    ><li class="src short" @@ -191,9 +181,7 @@  	    >pattern</span  	    > <a id="v:Foo" class="def"  	    >Foo</a -	    > :: <span class="keyword" -	    >forall</span -	    > x. x -> <a href="#" title="PatternSyns" +	    > :: x -> <a href="#" title="PatternSyns"  	    >FooType</a  	    > x <a href="#" class="selflink"  	    >#</a @@ -213,9 +201,7 @@  	    >pattern</span  	    > <a id="v:Bar" class="def"  	    >Bar</a -	    > :: <span class="keyword" -	    >forall</span -	    > x. x -> <a href="#" title="PatternSyns" +	    > :: x -> <a href="#" title="PatternSyns"  	    >FooType</a  	    > (<a href="#" title="PatternSyns"  	    >FooType</a @@ -237,9 +223,7 @@  	    >pattern</span  	    > <a id="v::-60--45--62-" class="def"  	    >(:<->)</a -	    > :: <span class="keyword" -	    >forall</span -	    > x x1. x -> x1 -> (<a href="#" title="PatternSyns" +	    > :: x -> x1 -> (<a href="#" title="PatternSyns"  	    >FooType</a  	    > x, <a href="#" title="PatternSyns"  	    >FooType</a @@ -295,9 +279,7 @@  	    >pattern</span  	    > <a id="v:Blub" class="def"  	    >Blub</a -	    > :: () => <span class="keyword" -	    >forall</span -	    > x. <a href="#" title="Text.Show" +	    > :: () => <a href="#" title="Text.Show"  	    >Show</a  	    > x => x -> <a href="#" title="PatternSyns"  	    >BlubType</a @@ -351,9 +333,7 @@  	    >pattern</span  	    > <a id="v:E" class="def"  	    >E</a -	    > :: <span class="keyword" -	    >forall</span -	    > k a (b :: k). a <a href="#" title="PatternSyns" +	    > :: a <a href="#" title="PatternSyns"  	    >><</a  	    > b <a href="#" class="selflink"  	    >#</a diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html index 80a0ff7e..e002ab4a 100644 --- a/html-test/ref/PromotedTypes.html +++ b/html-test/ref/PromotedTypes.html @@ -108,7 +108,7 @@  	      ><td class="src"  		><a id="v:Cons" class="def"  		  >Cons</a -		  > :: <a href="#" title="GHC.Maybe" +		  > :: <a href="#" title="Data.Maybe"  		  >Maybe</a  		  > h -> <a href="#" title="PromotedTypes"  		  >Pattern</a @@ -154,7 +154,7 @@  	      ><td class="src"  		><a id="v:RevCons" class="def"  		  >RevCons</a -		  > :: <a href="#" title="GHC.Maybe" +		  > :: <a href="#" title="Data.Maybe"  		  >Maybe</a  		  > h -> <a href="#" title="PromotedTypes"  		  >RevPattern</a diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index 183a466c..2115d14f 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -173,7 +173,7 @@  		  >A</a  		  > <a href="#" title="Data.Int"  		  >Int</a -		  > (<a href="#" title="GHC.Maybe" +		  > (<a href="#" title="Data.Maybe"  		  >Maybe</a  		  > <a href="#" title="Prelude"  		  >Float</a @@ -724,7 +724,7 @@  		  >A</a  		  > <a href="#" title="Data.Int"  		  >Int</a -		  > (<a href="#" title="GHC.Maybe" +		  > (<a href="#" title="Data.Maybe"  		  >Maybe</a  		  > <a href="#" title="Prelude"  		  >Float</a @@ -2376,7 +2376,7 @@ is at the beginning of the line).</pre  		>f'</a  		></code  	      > - but f' doesn't get link'd 'f\''</p + but f' doesn't get link'd 'f''</p  	    ></div  	  ></div  	><div class="top" diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index f857df2a..135f29c2 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -224,11 +224,11 @@  		  ><span class="inst-left"  		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-62--60-:1"  		      ></span -		      > <a href="#" title="TypeFamilies" +		      > '<a href="#" title="TypeFamilies"  		      >XX</a  		      > <a href="#" title="TypeFamilies"  		      >><</a -		      > <a href="#" title="TypeFamilies" +		      > '<a href="#" title="TypeFamilies"  		      >XXX</a  		      ></span  		    > <a href="#" class="selflink" @@ -286,8 +286,6 @@  			  >AssocD</a  			  > <a href="#" title="TypeFamilies"  			  >X</a -			  > :: <a href="#" title="Data.Kind" -			  >Type</a  			  > <a href="#" class="selflink"  			  >#</a  			  ></p @@ -298,8 +296,6 @@  			  >AssocT</a  			  > <a href="#" title="TypeFamilies"  			  >X</a -			  > :: <a href="#" title="Data.Kind" -			  >Type</a  			  > <a href="#" class="selflink"  			  >#</a  			  ></p @@ -386,11 +382,11 @@  		      ></span  		      > <span class="keyword"  		      >type</span -		      > <a href="#" title="TypeFamilies" +		      > '<a href="#" title="TypeFamilies"  		      >XXX</a  		      > <a href="#" title="TypeFamilies"  		      ><></a -		      > <a href="#" title="TypeFamilies" +		      > '<a href="#" title="TypeFamilies"  		      >XX</a  		      ></span  		    > <a href="#" class="selflink" @@ -411,13 +407,13 @@  		      > <div class="src"  		      ><span class="keyword"  			>type</span -			> <a href="#" title="TypeFamilies" +			> '<a href="#" title="TypeFamilies"  			>XXX</a  			> <a href="#" title="TypeFamilies"  			><></a -			> <a href="#" title="TypeFamilies" +			> '<a href="#" title="TypeFamilies"  			>XX</a -			> = <a href="#" title="TypeFamilies" +			> = '<a href="#" title="TypeFamilies"  			>X</a  			></div  		      ></details @@ -497,13 +493,13 @@  			>AssocT</a  			> <a href="#" title="TypeFamilies"  			>X</a -			> = (<a href="#" title="TypeFamilies" +			> = <a href="#" title="TypeFamilies"  			>Foo</a  			> <a href="#" title="TypeFamilies"  			>X</a  			> :: <a href="#" title="Data.Kind"  			>Type</a -			>)</div +			></div  		      ></details  		    ></td  		  ></tr @@ -720,8 +716,6 @@  			  >AssocD</a  			  > <a href="#" title="TypeFamilies"  			  >Y</a -			  > :: <a href="#" title="Data.Kind" -			  >Type</a  			  > <a href="#" class="selflink"  			  >#</a  			  ></p @@ -732,8 +726,6 @@  			  >AssocT</a  			  > <a href="#" title="TypeFamilies"  			  >Y</a -			  > :: <a href="#" title="Data.Kind" -			  >Type</a  			  > <a href="#" class="selflink"  			  >#</a  			  ></p @@ -1107,27 +1099,19 @@  			><li class="inst"  			  ><a id="v:BatZ1" class="def"  			    >BatZ1</a -			    > :: <span class="keyword" -			    >forall</span -			    > (z :: <a href="#" title="TypeFamilies" -			    >Z</a -			    >). <a href="#" title="TypeFamilies" +			    > :: <a href="#" title="TypeFamilies"  			    >Z</a  			    > -> <a href="#" title="TypeFamilies"  			    >Bat</a -			    > <a href="#" title="TypeFamilies" +			    > '<a href="#" title="TypeFamilies"  			    >ZA</a  			    ></li  			  ><li class="inst"  			  ><a id="v:BatZ2" class="def"  			    >BatZ2</a -			    > :: <span class="keyword" -			    >forall</span -			    > (z :: <a href="#" title="TypeFamilies" -			    >Z</a -			    >). {..} -> <a href="#" title="TypeFamilies" +			    > :: {..} -> <a href="#" title="TypeFamilies"  			    >Bat</a -			    > <a href="#" title="TypeFamilies" +			    > '<a href="#" title="TypeFamilies"  			    >ZB</a  			    ></li  			  ></ul @@ -1393,27 +1377,19 @@  			><li class="inst"  			  ><a id="v:BatZ1" class="def"  			    >BatZ1</a -			    > :: <span class="keyword" -			    >forall</span -			    > (z :: <a href="#" title="TypeFamilies" -			    >Z</a -			    >). <a href="#" title="TypeFamilies" +			    > :: <a href="#" title="TypeFamilies"  			    >Z</a  			    > -> <a href="#" title="TypeFamilies"  			    >Bat</a -			    > <a href="#" title="TypeFamilies" +			    > '<a href="#" title="TypeFamilies"  			    >ZA</a  			    ></li  			  ><li class="inst"  			  ><a id="v:BatZ2" class="def"  			    >BatZ2</a -			    > :: <span class="keyword" -			    >forall</span -			    > (z :: <a href="#" title="TypeFamilies" -			    >Z</a -			    >). {..} -> <a href="#" title="TypeFamilies" +			    > :: {..} -> <a href="#" title="TypeFamilies"  			    >Bat</a -			    > <a href="#" title="TypeFamilies" +			    > '<a href="#" title="TypeFamilies"  			    >ZB</a  			    ></li  			  ></ul @@ -1620,8 +1596,6 @@  			  >AssocD</a  			  > <a href="#" title="TypeFamilies"  			  >Y</a -			  > :: <a href="#" title="Data.Kind" -			  >Type</a  			  > <a href="#" class="selflink"  			  >#</a  			  ></p @@ -1632,8 +1606,6 @@  			  >AssocT</a  			  > <a href="#" title="TypeFamilies"  			  >Y</a -			  > :: <a href="#" title="Data.Kind" -			  >Type</a  			  > <a href="#" class="selflink"  			  >#</a  			  ></p @@ -1678,8 +1650,6 @@  			  >AssocD</a  			  > <a href="#" title="TypeFamilies"  			  >X</a -			  > :: <a href="#" title="Data.Kind" -			  >Type</a  			  > <a href="#" class="selflink"  			  >#</a  			  ></p @@ -1690,8 +1660,6 @@  			  >AssocT</a  			  > <a href="#" title="TypeFamilies"  			  >X</a -			  > :: <a href="#" title="Data.Kind" -			  >Type</a  			  > <a href="#" class="selflink"  			  >#</a  			  ></p @@ -1770,11 +1738,11 @@  		      ></span  		      > <span class="keyword"  		      >type</span -		      > <a href="#" title="TypeFamilies" +		      > '<a href="#" title="TypeFamilies"  		      >XXX</a  		      > <a href="#" title="TypeFamilies"  		      ><></a -		      > <a href="#" title="TypeFamilies" +		      > '<a href="#" title="TypeFamilies"  		      >XX</a  		      ></span  		    > <a href="#" class="selflink" @@ -1795,13 +1763,13 @@  		      > <div class="src"  		      ><span class="keyword"  			>type</span -			> <a href="#" title="TypeFamilies" +			> '<a href="#" title="TypeFamilies"  			>XXX</a  			> <a href="#" title="TypeFamilies"  			><></a -			> <a href="#" title="TypeFamilies" +			> '<a href="#" title="TypeFamilies"  			>XX</a -			> = <a href="#" title="TypeFamilies" +			> = '<a href="#" title="TypeFamilies"  			>X</a  			></div  		      ></details @@ -1918,11 +1886,11 @@  		  ><span class="inst-left"  		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:-62--60-:-62--60-:1"  		      ></span -		      > <a href="#" title="TypeFamilies" +		      > '<a href="#" title="TypeFamilies"  		      >XX</a  		      > <a href="#" title="TypeFamilies"  		      >><</a -		      > <a href="#" title="TypeFamilies" +		      > '<a href="#" title="TypeFamilies"  		      >XXX</a  		      ></span  		    > <a href="#" class="selflink" diff --git a/html-test/ref/UnboxedStuff.html b/html-test/ref/UnboxedStuff.html new file mode 100644 index 00000000..cb688cdb --- /dev/null +++ b/html-test/ref/UnboxedStuff.html @@ -0,0 +1,202 @@ +<html xmlns="http://www.w3.org/1999/xhtml" +><head +  ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" +     /><meta name="viewport" content="width=device-width, initial-scale=1" +     /><title +    >UnboxedStuff</title +    ><link href="#" rel="stylesheet" type="text/css" title="Linuwial" +     /><link rel="stylesheet" type="text/css" href="#" +     /><link rel="stylesheet" type="text/css" href="#" +     /><script src="haddock-bundle.min.js" async="async" type="text/javascript" +    ></script +    ><script type="text/x-mathjax-config" +    >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script +    ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" +    ></script +    ></head +  ><body +  ><div id="package-header" +    ><span class="caption empty" +      ></span +      ><ul class="links" id="page-menu" +      ><li +	><a href="#" +	  >Contents</a +	  ></li +	><li +	><a href="#" +	  >Index</a +	  ></li +	></ul +      ></div +    ><div id="content" +    ><div id="module-header" +      ><table class="info" +	><tr +	  ><th +	    >Safe Haskell</th +	    ><td +	    >Safe</td +	    ></tr +	  ></table +	><p class="caption" +	>UnboxedStuff</p +	></div +      ><div id="table-of-contents" +      ><div id="contents-list" +	><p class="caption" onclick="window.scrollTo(0,0)" +	  >Contents</p +	  ><ul +	  ><li +	    ><a href="#" +	      >Unboxed type constructors</a +	      ></li +	    ></ul +	  ></div +	></div +      ><div id="synopsis" +      ><details id="syn" +	><summary +	  >Synopsis</summary +	  ><ul class="details-toggle" data-details-id="syn" +	  ><li class="src short" +	    ><span class="keyword" +	      >data</span +	      > <a href="#" +	      >X</a +	      ></li +	    ><li class="src short" +	    ><span class="keyword" +	      >data</span +	      > <a href="#" +	      >Y</a +	      ></li +	    ><li class="src short" +	    ><span class="keyword" +	      >data</span +	      > <a href="#" +	      >Z</a +	      ></li +	    ><li class="src short" +	    ><a href="#" +	      >unboxedUnit</a +	      > :: (# #) -> (# #)</li +	    ><li class="src short" +	    ><a href="#" +	      >unboxedTuple</a +	      > :: (# <a href="#" title="UnboxedStuff" +	      >X</a +	      >, <a href="#" title="UnboxedStuff" +	      >Y</a +	      > #) -> (# <a href="#" title="UnboxedStuff" +	      >X</a +	      >, <a href="#" title="UnboxedStuff" +	      >Y</a +	      >, <a href="#" title="UnboxedStuff" +	      >Z</a +	      > #)</li +	    ><li class="src short" +	    ><a href="#" +	      >unboxedSum</a +	      > :: (# <a href="#" title="UnboxedStuff" +	      >X</a +	      > |  <a href="#" title="UnboxedStuff" +	      >Y</a +	      > #) -> (# <a href="#" title="UnboxedStuff" +	      >X</a +	      > |  <a href="#" title="UnboxedStuff" +	      >Y</a +	      > |  <a href="#" title="UnboxedStuff" +	      >Z</a +	      > #)</li +	    ></ul +	  ></details +	></div +      ><div id="interface" +      ><h1 +	>Documentation</h1 +	><div class="top" +	><p class="src" +	  ><span class="keyword" +	    >data</span +	    > <a id="t:X" class="def" +	    >X</a +	    > <a href="#" class="selflink" +	    >#</a +	    ></p +	  ></div +	><div class="top" +	><p class="src" +	  ><span class="keyword" +	    >data</span +	    > <a id="t:Y" class="def" +	    >Y</a +	    > <a href="#" class="selflink" +	    >#</a +	    ></p +	  ></div +	><div class="top" +	><p class="src" +	  ><span class="keyword" +	    >data</span +	    > <a id="t:Z" class="def" +	    >Z</a +	    > <a href="#" class="selflink" +	    >#</a +	    ></p +	  ></div +	><a href="#" id="g:1" +	><h1 +	  >Unboxed type constructors</h1 +	  ></a +	><div class="top" +	><p class="src" +	  ><a id="v:unboxedUnit" class="def" +	    >unboxedUnit</a +	    > :: (# #) -> (# #) <a href="#" class="selflink" +	    >#</a +	    ></p +	  ></div +	><div class="top" +	><p class="src" +	  ><a id="v:unboxedTuple" class="def" +	    >unboxedTuple</a +	    > :: (# <a href="#" title="UnboxedStuff" +	    >X</a +	    >, <a href="#" title="UnboxedStuff" +	    >Y</a +	    > #) -> (# <a href="#" title="UnboxedStuff" +	    >X</a +	    >, <a href="#" title="UnboxedStuff" +	    >Y</a +	    >, <a href="#" title="UnboxedStuff" +	    >Z</a +	    > #) <a href="#" class="selflink" +	    >#</a +	    ></p +	  ></div +	><div class="top" +	><p class="src" +	  ><a id="v:unboxedSum" class="def" +	    >unboxedSum</a +	    > :: (# <a href="#" title="UnboxedStuff" +	    >X</a +	    > |  <a href="#" title="UnboxedStuff" +	    >Y</a +	    > #) -> (# <a href="#" title="UnboxedStuff" +	    >X</a +	    > |  <a href="#" title="UnboxedStuff" +	    >Y</a +	    > |  <a href="#" title="UnboxedStuff" +	    >Z</a +	    > #) <a href="#" class="selflink" +	    >#</a +	    ></p +	  ></div +	></div +      ></div +    ><div id="footer" +    ></div +    ></body +  ></html +>
\ No newline at end of file  | 
