aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref')
-rw-r--r--html-test/ref/Bug1004.html138
-rw-r--r--html-test/ref/Bug1033.html10
-rw-r--r--html-test/ref/Bug1035.html146
-rw-r--r--html-test/ref/Bug1063.html100
-rw-r--r--html-test/ref/Bug253.html16
-rw-r--r--html-test/ref/Bug466.html248
-rw-r--r--html-test/ref/Bug548.html80
-rw-r--r--html-test/ref/Bug865.html88
-rw-r--r--html-test/ref/Bug923.html200
-rw-r--r--html-test/ref/ConstructorPatternExport.html2
-rw-r--r--html-test/ref/DefaultAssociatedTypes.html158
-rw-r--r--html-test/ref/DefaultSignatures.html182
-rw-r--r--html-test/ref/FunArgs.html2
-rw-r--r--html-test/ref/Hash.html8
-rw-r--r--html-test/ref/Identifiers.html286
-rw-r--r--html-test/ref/Instances.html92
-rw-r--r--html-test/ref/NamespacedIdentifiers.html146
-rw-r--r--html-test/ref/Operators.html8
-rw-r--r--html-test/ref/PatternSyns.html40
-rw-r--r--html-test/ref/PromotedTypes.html4
-rw-r--r--html-test/ref/Test.html6
-rw-r--r--html-test/ref/TypeFamilies.html80
-rw-r--r--html-test/ref/UnboxedStuff.html202
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 -&gt; <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
- > -&gt; <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 =&gt; (a -&gt; m) -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g a -&gt; m <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
>foldr</a
> :: (a -&gt; b -&gt; b) -&gt; b -&gt; <a href="#" title="Bug1004"
>Product</a
@@ -1380,7 +1388,7 @@
>forall</span
> d. <a href="#" title="Data.Data"
>Data</a
- > d =&gt; c (t d)) -&gt; <a href="#" title="GHC.Maybe"
+ > d =&gt; c (t d)) -&gt; <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) =&gt; c (t d e)) -&gt; <a href="#" title="GHC.Maybe"
+ > e) =&gt; c (t d e)) -&gt; <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' -&gt; r -&gt; r) -&gt; r -&gt; (<span class="keyword"
+ > :: <span class="keyword"
+ >forall</span
+ > r r'. (r' -&gt; r -&gt; r) -&gt; r -&gt; (<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
- > &quot;Product&quot; &quot;Data.Functor.Product&quot; &quot;base&quot; <a href="#" title="Data.Bool"
+ > &quot;Product&quot; &quot;Data.Functor.Product&quot; &quot;base&quot; '<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
- > &quot;Pair&quot; <a href="#" title="GHC.Generics"
+ > &quot;Pair&quot; '<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
- > &quot;Product&quot; &quot;Data.Functor.Product&quot; &quot;base&quot; <a href="#" title="Data.Bool"
+ > &quot;Product&quot; &quot;Data.Functor.Product&quot; &quot;base&quot; '<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
- > &quot;Pair&quot; <a href="#" title="GHC.Generics"
+ > &quot;Pair&quot; '<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
- > &quot;Foo&quot; &quot;Bug1033&quot; &quot;main&quot; <a href="#" title="Data.Bool"
+ > &quot;Foo&quot; &quot;Bug1033&quot; &quot;main&quot; '<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
- > &quot;Foo&quot; <a href="#" title="GHC.Generics"
+ > &quot;Foo&quot; '<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: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</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: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</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 =&gt; d) =&gt; <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 =&gt; d) =&gt; <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: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</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 -&gt; <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
- > &quot;WrappedArrow&quot; &quot;Control.Applicative&quot; &quot;base&quot; <a href="#" title="Data.Bool"
+ > &quot;WrappedArrow&quot; &quot;Control.Applicative&quot; &quot;base&quot; '<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
- > &quot;WrapArrow&quot; <a href="#" title="GHC.Generics"
+ > &quot;WrapArrow&quot; '<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
- > &quot;unwrapArrow&quot;) <a href="#" title="GHC.Generics"
+ > &quot;unwrapArrow&quot;) '<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
- > &quot;WrappedArrow&quot; &quot;Control.Applicative&quot; &quot;base&quot; <a href="#" title="Data.Bool"
+ > &quot;WrappedArrow&quot; &quot;Control.Applicative&quot; &quot;base&quot; '<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
- > &quot;WrapArrow&quot; <a href="#" title="GHC.Generics"
+ > &quot;WrapArrow&quot; '<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
- > &quot;unwrapArrow&quot;) <a href="#" title="GHC.Generics"
+ > &quot;unwrapArrow&quot;) '<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: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</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: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</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
+ > :: (* -&gt; (*, *)) -&gt; * <span class="keyword"
+ >where</span
+ ><ul class="subs"
+ ><li
+ ><a href="#"
+ >T</a
+ > :: a -&gt; <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
+ > :: (* -&gt; (*, *)) -&gt; * <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 -&gt; <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 =&gt; <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
+ > -&gt; (<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) -&gt; <a href="#" title="Bug923"
+ >T</a
+ > ('<a href="#" title="GHC.Tuple"
+ >(,)</a
+ > a) -&gt; <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) -&gt; <a href="#" title="Bug923"
+ >T</a
+ > ('<a href="#" title="GHC.Tuple"
+ >(,)</a
+ > a) -&gt; <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 -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; MyGADT (<a href="#" title="GHC.Maybe"
+ > -&gt; 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: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</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 -&gt; <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 -&gt; <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 -&gt; <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: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</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 -&gt; <a href="#" title="Data.String"
+ >String</a
+ ></li
+ ><li
+ ><a href="#"
+ >baz'</a
+ > :: <a href="#" title="Data.String"
+ >String</a
+ > -&gt; 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 -&gt; <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 =&gt; a -&gt; <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 -&gt; <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
+ > -&gt; 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 =&gt; <a href="#" title="Data.String"
+ >String</a
+ > -&gt; 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 =&gt; key -&gt; <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 =&gt; key -&gt; <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: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</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
- > -&gt; a -&gt; <a href="#" title="GHC.Maybe"
+ > -&gt; a -&gt; <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) -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; <a href="#" title="GHC.Maybe"
+ > -&gt; <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
- > -&gt; <a href="#" title="GHC.Maybe"
+ > -&gt; <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
- >) -&gt; <a href="#" title="GHC.Maybe"
+ >) -&gt; <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
- >) -&gt; (<a href="#" title="GHC.Maybe"
+ >) -&gt; (<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
- >) -&gt; (<a href="#" title="GHC.Maybe"
+ >) -&gt; (<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] -&gt; <a href="#" title="GHC.Maybe"
+ > [a] -&gt; <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]) -&gt; <a href="#" title="GHC.Maybe"
+ > [a]) -&gt; <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]) -&gt; (<a href="#" title="GHC.Maybe"
+ > [a]) -&gt; (<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]) -&gt; (<a href="#" title="GHC.Maybe"
+ > [a]) -&gt; (<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: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</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 -&gt; a -&gt; [a]</li
+ > :: a -&gt; a -&gt; [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 -&gt; a -&gt; [a] <span class="fixity"
+ > :: a -&gt; a -&gt; [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 -&gt; <a href="#" title="PatternSyns"
+ > :: x -&gt; <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 -&gt; <a href="#" title="PatternSyns"
+ > :: x -&gt; <a href="#" title="PatternSyns"
>FooType</a
> (<a href="#" title="PatternSyns"
>FooType</a
@@ -90,9 +86,7 @@
>pattern</span
> <a href="#"
>(:&lt;-&gt;)</a
- > :: <span class="keyword"
- >forall</span
- > x x1. x -&gt; x1 -&gt; (<a href="#" title="PatternSyns"
+ > :: x -&gt; x1 -&gt; (<a href="#" title="PatternSyns"
>FooType</a
> x, <a href="#" title="PatternSyns"
>FooType</a
@@ -116,9 +110,7 @@
>pattern</span
> <a href="#"
>Blub</a
- > :: () =&gt; <span class="keyword"
- >forall</span
- > x. <a href="#" title="Text.Show"
+ > :: () =&gt; <a href="#" title="Text.Show"
>Show</a
> x =&gt; x -&gt; <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"
>&gt;&lt;</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 -&gt; <a href="#" title="PatternSyns"
+ > :: x -&gt; <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 -&gt; <a href="#" title="PatternSyns"
+ > :: x -&gt; <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"
>(:&lt;-&gt;)</a
- > :: <span class="keyword"
- >forall</span
- > x x1. x -&gt; x1 -&gt; (<a href="#" title="PatternSyns"
+ > :: x -&gt; x1 -&gt; (<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
- > :: () =&gt; <span class="keyword"
- >forall</span
- > x. <a href="#" title="Text.Show"
+ > :: () =&gt; <a href="#" title="Text.Show"
>Show</a
> x =&gt; x -&gt; <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"
>&gt;&lt;</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 -&gt; <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 -&gt; <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"
>&gt;&lt;</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"
>&lt;&gt;</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"
>&lt;&gt;</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
> -&gt; <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
- >). {..} -&gt; <a href="#" title="TypeFamilies"
+ > :: {..} -&gt; <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
> -&gt; <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
- >). {..} -&gt; <a href="#" title="TypeFamilies"
+ > :: {..} -&gt; <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"
>&lt;&gt;</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"
>&lt;&gt;</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"
>&gt;&lt;</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: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</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
+ > :: (# #) -&gt; (# #)</li
+ ><li class="src short"
+ ><a href="#"
+ >unboxedTuple</a
+ > :: (# <a href="#" title="UnboxedStuff"
+ >X</a
+ >, <a href="#" title="UnboxedStuff"
+ >Y</a
+ > #) -&gt; (# <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
+ > #) -&gt; (# <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
+ > :: (# #) -&gt; (# #) <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
+ > #) -&gt; (# <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
+ > #) -&gt; (# <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