aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref')
-rw-r--r--html-test/ref/Bug294.html16
-rw-r--r--html-test/ref/Bug310.html2
-rw-r--r--html-test/ref/Bug548.html46
-rw-r--r--html-test/ref/Bug574.html86
-rw-r--r--html-test/ref/Bug85.html14
-rw-r--r--html-test/ref/BundledPatterns.html24
-rw-r--r--html-test/ref/BundledPatterns2.html24
-rw-r--r--html-test/ref/ConstructorArgs.html720
-rw-r--r--html-test/ref/ConstructorPatternExport.html8
-rw-r--r--html-test/ref/DeprecatedTypeFamily.html24
-rw-r--r--html-test/ref/GADTRecords.html38
-rw-r--r--html-test/ref/GadtConstructorArgs.html192
-rw-r--r--html-test/ref/Hash.html8
-rw-r--r--html-test/ref/Instances.html96
-rw-r--r--html-test/ref/Operators.html8
-rw-r--r--html-test/ref/PatternSyns.html8
-rw-r--r--html-test/ref/PromotedTypes.html24
-rw-r--r--html-test/ref/QuantifiedConstraints.html100
-rw-r--r--html-test/ref/SpuriousSuperclassConstraints.html6
-rw-r--r--html-test/ref/Test.html4
-rw-r--r--html-test/ref/TypeFamilies.html86
21 files changed, 1283 insertions, 251 deletions
diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html
index 0548646b..790c1894 100644
--- a/html-test/ref/Bug294.html
+++ b/html-test/ref/Bug294.html
@@ -171,9 +171,9 @@
><p class="src"
><a id="v:gadtField" class="def"
>gadtField</a
- > :: ({..} -&gt; GADT <a href="#" title="Bug294"
+ > :: GADT <a href="#" title="Bug294"
>A</a
- >) -&gt; <a href="#" title="Bug294"
+ > -&gt; <a href="#" title="Bug294"
>A</a
> <a href="#" class="selflink"
>#</a
@@ -185,9 +185,7 @@
>data family</span
> <a id="t:TP" class="def"
>TP</a
- > t :: <a href="#" title="Data.Kind"
- >*</a
- > <a href="#" class="selflink"
+ > t :: * <a href="#" class="selflink"
>#</a
></p
><div class="subs instances"
@@ -247,9 +245,7 @@
>data family</span
> <a id="t:DP" class="def"
>DP</a
- > t :: <a href="#" title="Data.Kind"
- >*</a
- > <a href="#" class="selflink"
+ > t :: * <a href="#" class="selflink"
>#</a
></p
><div class="subs instances"
@@ -309,9 +305,7 @@
>data family</span
> <a id="t:TO-39-" class="def"
>TO'</a
- > t :: <a href="#" title="Data.Kind"
- >*</a
- > <a href="#" class="selflink"
+ > t :: * <a href="#" class="selflink"
>#</a
></p
><div class="subs instances"
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html
index 47da5387..8fef21a6 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -99,4 +99,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html
index b32f8c8c..b690b8ad 100644
--- a/html-test/ref/Bug548.html
+++ b/html-test/ref/Bug548.html
@@ -48,11 +48,11 @@
> <a id="t:WrappedArrow" class="def"
>WrappedArrow</a
> (a :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> -&gt; <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> -&gt; <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
>) b c <a href="#" class="selflink"
>#</a
></p
@@ -103,9 +103,9 @@
> (<a href="#" title="Bug548"
>WrappedArrow</a
> a b :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> -&gt; <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
>)</span
></td
><td class="doc empty"
@@ -131,7 +131,7 @@
> (<a href="#" title="Bug548"
>WrappedArrow</a
> a b) :: k -&gt; <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> <a href="#" class="selflink"
>#</a
></p
@@ -427,9 +427,9 @@
> (<a href="#" title="Bug548"
>WrappedArrow</a
> a b c) :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> -&gt; <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> <a href="#" class="selflink"
>#</a
></p
@@ -477,13 +477,17 @@
> (<a href="#" title="Bug548"
>WrappedArrow</a
> a b :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> -&gt; <a href="#" title="Data.Kind"
- >*</a
+ >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"
@@ -502,9 +506,9 @@
> (<a href="#" title="Bug548"
>WrappedArrow</a
> a b :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> -&gt; <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
>) = <a href="#" title="GHC.Generics"
>D1</a
> (<a href="#" title="GHC.Generics"
@@ -523,7 +527,7 @@
>S1</a
> (<a href="#" title="GHC.Generics"
>MetaSel</a
- > (<a href="#" title="Data.Maybe"
+ > (<a href="#" title="GHC.Maybe"
>Just</a
> &quot;unwrapArrow&quot;) <a href="#" title="GHC.Generics"
>NoSourceUnpackedness</a
@@ -550,8 +554,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"
@@ -587,7 +595,7 @@
>S1</a
> (<a href="#" title="GHC.Generics"
>MetaSel</a
- > (<a href="#" title="Data.Maybe"
+ > (<a href="#" title="GHC.Maybe"
>Just</a
> &quot;unwrapArrow&quot;) <a href="#" title="GHC.Generics"
>NoSourceUnpackedness</a
@@ -611,4 +619,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/Bug574.html b/html-test/ref/Bug574.html
new file mode 100644
index 00000000..ed0a5e15
--- /dev/null
+++ b/html-test/ref/Bug574.html
@@ -0,0 +1,86 @@
+<html xmlns="http://www.w3.org/1999/xhtml"
+><head
+ ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><title
+ >Bug574</title
+ ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ /><link rel="stylesheet" type="text/css" href="#"
+ /><script src="haddock-bundle.min.js" async="async" type="text/javascript"
+ ></script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ></script
+ ></head
+ ><body
+ ><div id="package-header"
+ ><ul class="links" id="page-menu"
+ ><li
+ ><a href="#"
+ >Contents</a
+ ></li
+ ><li
+ ><a href="#"
+ >Index</a
+ ></li
+ ></ul
+ ><p class="caption empty"
+ ></p
+ ></div
+ ><div id="content"
+ ><div id="module-header"
+ ><table class="info"
+ ><tr
+ ><th
+ >Safe Haskell</th
+ ><td
+ >None</td
+ ></tr
+ ></table
+ ><p class="caption"
+ >Bug574</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="#"
+ >foo</a
+ > :: <a href="#" title="Data.Int"
+ >Int</a
+ > -&gt; <a href="#" title="Data.Int"
+ >Int</a
+ > -&gt; <a href="#" title="Data.Int"
+ >Int</a
+ ></li
+ ></ul
+ ></details
+ ></div
+ ><div id="interface"
+ ><h1
+ >Documentation</h1
+ ><div class="top"
+ ><p class="src"
+ ><a id="v:foo" class="def"
+ >foo</a
+ > :: <a href="#" title="Data.Int"
+ >Int</a
+ > -&gt; <a href="#" title="Data.Int"
+ >Int</a
+ > -&gt; <a href="#" title="Data.Int"
+ >Int</a
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >Somthing with a spliced type</p
+ ></div
+ ></div
+ ></div
+ ></div
+ ><div id="footer"
+ ></div
+ ></body
+ ></html
+> \ No newline at end of file
diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html
index 4b704c5f..bf7e1465 100644
--- a/html-test/ref/Bug85.html
+++ b/html-test/ref/Bug85.html
@@ -47,15 +47,7 @@
>data</span
> <a id="t:Foo" class="def"
>Foo</a
- > :: (<a href="#" title="Data.Kind"
- >*</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- >) -&gt; <a href="#" title="Data.Kind"
- >*</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > <span class="keyword"
+ > :: (* -&gt; *) -&gt; * -&gt; * <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a
@@ -83,9 +75,7 @@
>data</span
> <a id="t:Baz" class="def"
>Baz</a
- > :: <a href="#" title="Data.Kind"
- >*</a
- > <span class="keyword"
+ > :: * <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a
diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html
index 7febd35f..e9c77612 100644
--- a/html-test/ref/BundledPatterns.html
+++ b/html-test/ref/BundledPatterns.html
@@ -50,11 +50,7 @@
>Vec</a
> :: <a href="#" title="GHC.TypeNats"
>Nat</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > <span class="keyword"
+ > -&gt; * -&gt; * <span class="keyword"
>where</span
><ul class="subs"
><li
@@ -84,11 +80,7 @@
>RTree</a
> :: <a href="#" title="GHC.TypeNats"
>Nat</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > <span class="keyword"
+ > -&gt; * -&gt; * <span class="keyword"
>where</span
><ul class="subs"
><li
@@ -129,11 +121,7 @@
>Vec</a
> :: <a href="#" title="GHC.TypeNats"
>Nat</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > <span class="keyword"
+ > -&gt; * -&gt; * <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a
@@ -295,11 +283,7 @@
>RTree</a
> :: <a href="#" title="GHC.TypeNats"
>Nat</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > <span class="keyword"
+ > -&gt; * -&gt; * <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a
diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html
index 9e791c65..2f456728 100644
--- a/html-test/ref/BundledPatterns2.html
+++ b/html-test/ref/BundledPatterns2.html
@@ -50,11 +50,7 @@
>Vec</a
> :: <a href="#" title="GHC.TypeNats"
>Nat</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > <span class="keyword"
+ > -&gt; * -&gt; * <span class="keyword"
>where</span
><ul class="subs"
><li
@@ -86,11 +82,7 @@
>RTree</a
> :: <a href="#" title="GHC.TypeNats"
>Nat</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > <span class="keyword"
+ > -&gt; * -&gt; * <span class="keyword"
>where</span
><ul class="subs"
><li
@@ -131,11 +123,7 @@
>Vec</a
> :: <a href="#" title="GHC.TypeNats"
>Nat</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > <span class="keyword"
+ > -&gt; * -&gt; * <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a
@@ -293,11 +281,7 @@
>RTree</a
> :: <a href="#" title="GHC.TypeNats"
>Nat</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > <span class="keyword"
+ > -&gt; * -&gt; * <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a
diff --git a/html-test/ref/ConstructorArgs.html b/html-test/ref/ConstructorArgs.html
new file mode 100644
index 00000000..9aad9c86
--- /dev/null
+++ b/html-test/ref/ConstructorArgs.html
@@ -0,0 +1,720 @@
+<html xmlns="http://www.w3.org/1999/xhtml"
+><head
+ ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><title
+ >ConstructorArgs</title
+ ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ /><link rel="stylesheet" type="text/css" href="#"
+ /><script src="haddock-bundle.min.js" async="async" type="text/javascript"
+ ></script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ></script
+ ></head
+ ><body
+ ><div id="package-header"
+ ><ul class="links" id="page-menu"
+ ><li
+ ><a href="#"
+ >Contents</a
+ ></li
+ ><li
+ ><a href="#"
+ >Index</a
+ ></li
+ ></ul
+ ><p class="caption empty"
+ ></p
+ ></div
+ ><div id="content"
+ ><div id="module-header"
+ ><table class="info"
+ ><tr
+ ><th
+ >Safe Haskell</th
+ ><td
+ >Safe</td
+ ></tr
+ ></table
+ ><p class="caption"
+ >ConstructorArgs</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
+ ><ul class="subs"
+ ><li
+ >= <a href="#"
+ >Rec</a
+ > { <ul class="subs"
+ ><li
+ ><a href="#"
+ >x</a
+ > :: <a href="#" title="Data.String"
+ >String</a
+ ></li
+ ><li
+ ><a href="#"
+ >y</a
+ > :: <a href="#" title="Data.String"
+ >String</a
+ ></li
+ ></ul
+ > }</li
+ ><li
+ >| <a href="#"
+ >Baz</a
+ > <a href="#" title="Data.Int"
+ >Int</a
+ > <a href="#" title="Data.String"
+ >String</a
+ ></li
+ ><li
+ >| <a href="#"
+ >Boa</a
+ > !<a href="#" title="Data.Int"
+ >Int</a
+ > !<a href="#" title="Data.String"
+ >String</a
+ ></li
+ ><li
+ >| <a href="#" title="Data.Int"
+ >Int</a
+ > <a href="#"
+ >:|</a
+ > <a href="#" title="Data.String"
+ >String</a
+ ></li
+ ><li
+ >| <a href="#" title="Data.Int"
+ >Int</a
+ > <a href="#"
+ >:*</a
+ > <a href="#" title="Data.String"
+ >String</a
+ ></li
+ ></ul
+ ></li
+ ><li class="src short"
+ ><span class="keyword"
+ >data</span
+ > <a href="#"
+ >Boo</a
+ > <span class="keyword"
+ >where</span
+ ><ul class="subs"
+ ><li
+ ><a href="#"
+ >Foo</a
+ > :: <a href="#" title="Data.Int"
+ >Int</a
+ > -&gt; <a href="#" title="Data.String"
+ >String</a
+ > -&gt; <a href="#" title="ConstructorArgs"
+ >Boo</a
+ ></li
+ ><li
+ ><a href="#"
+ >Foa</a
+ > :: <a href="#" title="Data.Int"
+ >Int</a
+ > -&gt; <a href="#" title="ConstructorArgs"
+ >Boo</a
+ ></li
+ ><li
+ ><span class="keyword"
+ >pattern</span
+ > <a href="#"
+ >Fo</a
+ > :: <a href="#" title="Data.Int"
+ >Int</a
+ > -&gt; <a href="#" title="Data.String"
+ >String</a
+ > -&gt; <a href="#" title="ConstructorArgs"
+ >Boo</a
+ ></li
+ ><li
+ ><span class="keyword"
+ >pattern</span
+ > <a href="#"
+ >Fo'</a
+ > :: <a href="#" title="ConstructorArgs"
+ >Boo</a
+ ></li
+ ></ul
+ ></li
+ ><li class="src short"
+ ><span class="keyword"
+ >pattern</span
+ > <a href="#"
+ >Bo</a
+ > :: <a href="#" title="Data.Int"
+ >Int</a
+ > -&gt; <a href="#" title="Data.String"
+ >String</a
+ > -&gt; <a href="#" title="ConstructorArgs"
+ >Boo</a
+ ></li
+ ><li class="src short"
+ ><span class="keyword"
+ >pattern</span
+ > <a href="#"
+ >Bo'</a
+ > :: <a href="#" title="Data.Int"
+ >Int</a
+ > -&gt; <a href="#" title="Data.String"
+ >String</a
+ > -&gt; <a href="#" title="ConstructorArgs"
+ >Boo</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
+ > <span class="fixity"
+ >infixr 1</span
+ ><span class="rightedge"
+ ></span
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="subs constructors"
+ ><p class="caption"
+ >Constructors</p
+ ><table
+ ><tr
+ ><td class="src"
+ ><a id="v:Rec" class="def"
+ >Rec</a
+ ></td
+ ><td class="doc"
+ ><p
+ >doc on a record</p
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><div class="subs fields"
+ ><p class="caption"
+ >Fields</p
+ ><ul
+ ><li
+ ><dfn class="src"
+ ><a id="v:x" class="def"
+ >x</a
+ > :: <a href="#" title="Data.String"
+ >String</a
+ ></dfn
+ ><div class="doc"
+ ><p
+ >doc on the <code
+ ><a href="#" title="Data.String"
+ >String</a
+ ></code
+ > field of <code
+ ><a href="#" title="ConstructorArgs"
+ >Rec</a
+ ></code
+ ></p
+ ></div
+ ></li
+ ><li
+ ><dfn class="src"
+ ><a id="v:y" class="def"
+ >y</a
+ > :: <a href="#" title="Data.String"
+ >String</a
+ ></dfn
+ ><div class="doc"
+ ><p
+ >doc on the <code
+ ><a href="#" title="Data.String"
+ >String</a
+ ></code
+ > field of <code
+ ><a href="#" title="ConstructorArgs"
+ >Rec</a
+ ></code
+ ></p
+ ></div
+ ></li
+ ></ul
+ ></div
+ ></td
+ ></tr
+ ><tr
+ ><td class="src"
+ ><a id="v:Baz" class="def"
+ >Baz</a
+ > <a href="#" title="Data.Int"
+ >Int</a
+ > <a href="#" title="Data.String"
+ >String</a
+ ></td
+ ><td class="doc"
+ ><p
+ >old prefix doc style</p
+ ></td
+ ></tr
+ ><tr
+ ><td class="src"
+ ><a id="v:Boa" class="def"
+ >Boa</a
+ > <span class="fixity"
+ >infixr 2</span
+ ><span class="rightedge"
+ ></span
+ ></td
+ ><td class="doc"
+ ><p
+ >doc on the <code
+ ><a href="#" title="ConstructorArgs"
+ >Boa</a
+ ></code
+ > constrictor</p
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><div class="subs fields"
+ ><p class="caption"
+ >Fields</p
+ ><ul
+ ><li
+ ><dfn class="src"
+ >!<a href="#" title="Data.Int"
+ >Int</a
+ ></dfn
+ ><div class="doc"
+ ><p
+ >doc on the <code
+ ><a href="#" title="Data.Int"
+ >Int</a
+ ></code
+ > field of <code
+ ><a href="#" title="ConstructorArgs"
+ >Boa</a
+ ></code
+ ></p
+ ></div
+ ></li
+ ><li
+ ><dfn class="src"
+ >!<a href="#" title="Data.String"
+ >String</a
+ ></dfn
+ ><div class="doc"
+ ><p
+ >doc on the <code
+ ><a href="#" title="Data.String"
+ >String</a
+ ></code
+ > field of <code
+ ><a href="#" title="ConstructorArgs"
+ >Boa</a
+ ></code
+ ></p
+ ></div
+ ></li
+ ></ul
+ ></div
+ ></td
+ ></tr
+ ><tr
+ ><td class="src"
+ ><a href="#" title="Data.Int"
+ >Int</a
+ > <a id="v::-124-" class="def"
+ >:|</a
+ > <a href="#" title="Data.String"
+ >String</a
+ ></td
+ ><td class="doc"
+ ><p
+ >old infix doc style</p
+ ></td
+ ></tr
+ ><tr
+ ><td class="src"
+ ><a id="v::-42-" class="def"
+ >(:*)</a
+ > <span class="fixity"
+ >infixr 3</span
+ ><span class="rightedge"
+ ></span
+ ></td
+ ><td class="doc"
+ ><p
+ >doc on the <code
+ ><a href="#" title="ConstructorArgs"
+ >:*</a
+ ></code
+ > constructor</p
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><div class="subs fields"
+ ><p class="caption"
+ >Fields</p
+ ><ul
+ ><li
+ ><dfn class="src"
+ ><a href="#" title="Data.Int"
+ >Int</a
+ ></dfn
+ ><div class="doc"
+ ><p
+ >doc on the <code
+ ><a href="#" title="Data.Int"
+ >Int</a
+ ></code
+ > field of the <code
+ ><a href="#" title="ConstructorArgs"
+ >:*</a
+ ></code
+ > constructor</p
+ ></div
+ ></li
+ ><li
+ ><dfn class="src"
+ ><a href="#" title="Data.String"
+ >String</a
+ ></dfn
+ ><div class="doc"
+ ><p
+ >doc on the <code
+ ><a href="#" title="Data.String"
+ >String</a
+ ></code
+ > field of the <code
+ ><a href="#" title="ConstructorArgs"
+ >:*</a
+ ></code
+ > constructor</p
+ ></div
+ ></li
+ ></ul
+ ></div
+ ></td
+ ></tr
+ ></table
+ ></div
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >data</span
+ > <a id="t:Boo" class="def"
+ >Boo</a
+ > <span class="keyword"
+ >where</span
+ > <span class="fixity"
+ >infixr 4</span
+ ><span class="rightedge"
+ ></span
+ > <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
+ > <span class="fixity"
+ >infixr 1</span
+ ><span class="rightedge"
+ ></span
+ ></td
+ ><td class="doc"
+ ><p
+ >Info about a <code
+ ><a href="#" title="ConstructorArgs"
+ >Foo</a
+ ></code
+ ></p
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><div class="subs fields"
+ ><p class="caption"
+ >Fields</p
+ ><ul
+ ><li
+ ><dfn class="src"
+ >:: <a href="#" title="Data.Int"
+ >Int</a
+ ></dfn
+ ><div class="doc"
+ ><p
+ ><code
+ ><a href="#" title="Data.Int"
+ >Int</a
+ ></code
+ > field of <code
+ ><a href="#" title="ConstructorArgs"
+ >Foo</a
+ ></code
+ ></p
+ ></div
+ ></li
+ ><li
+ ><dfn class="src"
+ >-&gt; <a href="#" title="Data.String"
+ >String</a
+ ></dfn
+ ><div class="doc"
+ ><p
+ ><code
+ ><a href="#" title="Data.String"
+ >String</a
+ ></code
+ > field of <code
+ ><a href="#" title="ConstructorArgs"
+ >Foo</a
+ ></code
+ ></p
+ ></div
+ ></li
+ ><li
+ ><dfn class="src"
+ >-&gt; <a href="#" title="ConstructorArgs"
+ >Boo</a
+ ></dfn
+ ><div class="doc"
+ ><p
+ >Make a <code
+ ><a href="#" title="ConstructorArgs"
+ >Boo</a
+ ></code
+ ></p
+ ></div
+ ></li
+ ></ul
+ ></div
+ ></td
+ ></tr
+ ><tr
+ ><td class="src"
+ ><a id="v:Foa" class="def"
+ >Foa</a
+ > :: <a href="#" title="Data.Int"
+ >Int</a
+ > -&gt; <a href="#" title="ConstructorArgs"
+ >Boo</a
+ ></td
+ ><td class="doc"
+ ><p
+ >no argument docs GADT</p
+ ></td
+ ></tr
+ ></table
+ ></div
+ ><div class="subs bundled-patterns"
+ ><p class="caption"
+ >Bundled Patterns</p
+ ><table
+ ><tr
+ ><td class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:Fo" class="def"
+ >Fo</a
+ > <span class="fixity"
+ >infixr 5</span
+ ><span class="rightedge"
+ ></span
+ ></td
+ ><td class="doc"
+ ><p
+ >Info about bundled <code
+ ><a href="#" title="ConstructorArgs"
+ >Fo</a
+ ></code
+ ></p
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><div class="subs fields"
+ ><p class="caption"
+ >Fields</p
+ ><ul
+ ><li
+ ><dfn class="src"
+ >:: <a href="#" title="Data.Int"
+ >Int</a
+ ></dfn
+ ><div class="doc"
+ ><p
+ >an <code
+ ><a href="#" title="Data.Int"
+ >Int</a
+ ></code
+ ></p
+ ></div
+ ></li
+ ><li
+ ><dfn class="src"
+ >-&gt; <a href="#" title="Data.String"
+ >String</a
+ ></dfn
+ ><div class="doc"
+ ><p
+ >a <code
+ ><a href="#" title="Data.String"
+ >String</a
+ ></code
+ ></p
+ ></div
+ ></li
+ ><li
+ ><dfn class="src"
+ >-&gt; <a href="#" title="ConstructorArgs"
+ >Boo</a
+ ></dfn
+ ><div class="doc"
+ ><p
+ >a <code
+ ><a href="#" title="ConstructorArgs"
+ >Boo</a
+ ></code
+ ></p
+ ></div
+ ></li
+ ></ul
+ ></div
+ ></td
+ ></tr
+ ><tr
+ ><td class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:Fo-39-" class="def"
+ >Fo'</a
+ > :: <a href="#" title="ConstructorArgs"
+ >Boo</a
+ ></td
+ ><td class="doc"
+ ><p
+ >Bundled and no argument docs</p
+ ></td
+ ></tr
+ ></table
+ ></div
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:Bo" class="def"
+ >Bo</a
+ > <span class="fixity"
+ >infixr 6</span
+ ><span class="rightedge"
+ ></span
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="subs arguments"
+ ><p class="caption"
+ >Arguments</p
+ ><table
+ ><tr
+ ><td class="src"
+ >:: <a href="#" title="Data.Int"
+ >Int</a
+ ></td
+ ><td class="doc"
+ ><p
+ >an <code
+ ><a href="#" title="Data.Int"
+ >Int</a
+ ></code
+ ></p
+ ></td
+ ></tr
+ ><tr
+ ><td class="src"
+ >-&gt; <a href="#" title="Data.String"
+ >String</a
+ ></td
+ ><td class="doc"
+ ><p
+ >a <code
+ ><a href="#" title="Data.String"
+ >String</a
+ ></code
+ ></p
+ ></td
+ ></tr
+ ><tr
+ ><td class="src"
+ >-&gt; <a href="#" title="ConstructorArgs"
+ >Boo</a
+ ></td
+ ><td class="doc"
+ ><p
+ >a <code
+ ><a href="#" title="ConstructorArgs"
+ >Boo</a
+ ></code
+ > pattern</p
+ ></td
+ ></tr
+ ></table
+ ></div
+ ><div class="doc"
+ ><p
+ >Info about not-bundled <code
+ ><a href="#" title="ConstructorArgs"
+ >Bo</a
+ ></code
+ ></p
+ ></div
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:Bo-39-" class="def"
+ >Bo'</a
+ > :: <a href="#" title="Data.Int"
+ >Int</a
+ > -&gt; <a href="#" title="Data.String"
+ >String</a
+ > -&gt; <a href="#" title="ConstructorArgs"
+ >Boo</a
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >Not bunded and no argument docs</p
+ ></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 4e062e34..6f091de7 100644
--- a/html-test/ref/ConstructorPatternExport.html
+++ b/html-test/ref/ConstructorPatternExport.html
@@ -97,13 +97,9 @@
>pattern</span
> <a id="v:MyGADTCons" class="def"
>MyGADTCons</a
- > :: () =&gt; <span class="keyword"
- >forall</span
- > a. <a href="#" title="Data.Eq"
- >Eq</a
- > a =&gt; a -&gt; <a href="#" title="Data.Int"
+ > :: a -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; MyGADT (<a href="#" title="Data.Maybe"
+ > -&gt; MyGADT (<a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.String"
>String</a
diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html
index fd13e48a..dab7683d 100644
--- a/html-test/ref/DeprecatedTypeFamily.html
+++ b/html-test/ref/DeprecatedTypeFamily.html
@@ -48,21 +48,13 @@
>data family</span
> <a href="#"
>SomeTypeFamily</a
- > k :: <a href="#" title="Data.Kind"
- >*</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- ></li
+ > k :: * -&gt; *</li
><li class="src short"
><span class="keyword"
>data family</span
> <a href="#"
>SomeOtherTypeFamily</a
- > k :: <a href="#" title="Data.Kind"
- >*</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- ></li
+ > k :: * -&gt; *</li
></ul
></details
></div
@@ -75,11 +67,7 @@
>data family</span
> <a id="t:SomeTypeFamily" class="def"
>SomeTypeFamily</a
- > k :: <a href="#" title="Data.Kind"
- >*</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > <a href="#" class="selflink"
+ > k :: * -&gt; * <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -97,11 +85,7 @@
>data family</span
> <a id="t:SomeOtherTypeFamily" class="def"
>SomeOtherTypeFamily</a
- > k :: <a href="#" title="Data.Kind"
- >*</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > <a href="#" class="selflink"
+ > k :: * -&gt; * <a href="#" class="selflink"
>#</a
></p
><div class="doc"
diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html
index 7fb5c4d6..5f6141db 100644
--- a/html-test/ref/GADTRecords.html
+++ b/html-test/ref/GADTRecords.html
@@ -136,12 +136,6 @@
><td class="src"
><a id="v:C3" class="def"
>C3</a
- > :: {..} -&gt; <a href="#" title="GADTRecords"
- >H1</a
- > <a href="#" title="Data.Int"
- >Int</a
- > <a href="#" title="Data.Int"
- >Int</a
></td
><td class="doc empty"
></td
@@ -154,7 +148,7 @@
><ul
><li
><dfn class="src"
- ><a id="v:field" class="def"
+ >:: { <a id="v:field" class="def"
>field</a
> :: <a href="#" title="Data.Int"
>Int</a
@@ -164,6 +158,18 @@
>hello docs</p
></div
></li
+ ><li
+ ><dfn class="src"
+ >} -&gt; <a href="#" title="GADTRecords"
+ >H1</a
+ > <a href="#" title="Data.Int"
+ >Int</a
+ > <a href="#" title="Data.Int"
+ >Int</a
+ ></dfn
+ ><div class="doc empty"
+ ></div
+ ></li
></ul
></div
></td
@@ -172,11 +178,7 @@
><td class="src"
><a id="v:C4" class="def"
>C4</a
- > :: {..} -&gt; <a href="#" title="GADTRecords"
- >H1</a
- > <a href="#" title="Data.Int"
- >Int</a
- > a</td
+ ></td
><td class="doc empty"
></td
></tr
@@ -188,7 +190,7 @@
><ul
><li
><dfn class="src"
- ><a id="v:field2" class="def"
+ >:: { <a id="v:field2" class="def"
>field2</a
> :: a</dfn
><div class="doc"
@@ -196,6 +198,16 @@
>hello2 docs</p
></div
></li
+ ><li
+ ><dfn class="src"
+ >} -&gt; <a href="#" title="GADTRecords"
+ >H1</a
+ > <a href="#" title="Data.Int"
+ >Int</a
+ > a</dfn
+ ><div class="doc empty"
+ ></div
+ ></li
></ul
></div
></td
diff --git a/html-test/ref/GadtConstructorArgs.html b/html-test/ref/GadtConstructorArgs.html
new file mode 100644
index 00000000..7497de83
--- /dev/null
+++ b/html-test/ref/GadtConstructorArgs.html
@@ -0,0 +1,192 @@
+<html xmlns="http://www.w3.org/1999/xhtml"
+><head
+ ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><title
+ >GadtConstructorArgs</title
+ ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ /><link rel="stylesheet" type="text/css" href="#"
+ /><script src="haddock-bundle.min.js" async="async" type="text/javascript"
+ ></script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ></script
+ ></head
+ ><body
+ ><div id="package-header"
+ ><ul class="links" id="page-menu"
+ ><li
+ ><a href="#"
+ >Contents</a
+ ></li
+ ><li
+ ><a href="#"
+ >Index</a
+ ></li
+ ></ul
+ ><p class="caption empty"
+ ></p
+ ></div
+ ><div id="content"
+ ><div id="module-header"
+ ><table class="info"
+ ><tr
+ ><th
+ >Safe Haskell</th
+ ><td
+ >Safe</td
+ ></tr
+ ></table
+ ><p class="caption"
+ >GadtConstructorArgs</p
+ ></div
+ ><div id="interface"
+ ><h1
+ >Documentation</h1
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >data</span
+ > <a id="t:Boo" class="def"
+ >Boo</a
+ > <span class="keyword"
+ >where</span
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="subs constructors"
+ ><p class="caption"
+ >Constructors</p
+ ><table
+ ><tr
+ ><td class="src"
+ ><a id="v:Fot" class="def"
+ >Fot</a
+ ></td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><div class="subs fields"
+ ><p class="caption"
+ >Fields</p
+ ><ul
+ ><li
+ ><dfn class="src"
+ >:: { <a id="v:x" class="def"
+ >x</a
+ > :: <a href="#" title="Data.Int"
+ >Int</a
+ ></dfn
+ ><div class="doc"
+ ><p
+ >an <code
+ ><a href="#" title="GadtConstructorArgs"
+ >x</a
+ ></code
+ ></p
+ ></div
+ ></li
+ ><li
+ ><dfn class="src"
+ >, <a id="v:y" class="def"
+ >y</a
+ > :: <a href="#" title="Data.Int"
+ >Int</a
+ ></dfn
+ ><div class="doc"
+ ><p
+ >a <code
+ ><a href="#" title="GadtConstructorArgs"
+ >y</a
+ ></code
+ ></p
+ ></div
+ ></li
+ ><li
+ ><dfn class="src"
+ >} -&gt; <a href="#" title="GadtConstructorArgs"
+ >Boo</a
+ ></dfn
+ ><div class="doc empty"
+ ></div
+ ></li
+ ></ul
+ ></div
+ ></td
+ ></tr
+ ><tr
+ ><td class="src"
+ ><a id="v:Fob" class="def"
+ >Fob</a
+ ></td
+ ><td class="doc"
+ ><p
+ >Record GADT with docs</p
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><div class="subs fields"
+ ><p class="caption"
+ >Fields</p
+ ><ul
+ ><li
+ ><dfn class="src"
+ >:: { <a id="v:w" class="def"
+ >w</a
+ > :: <a href="#" title="Data.Int"
+ >Int</a
+ ></dfn
+ ><div class="doc"
+ ><p
+ >a <code
+ ><a href="#" title="GadtConstructorArgs"
+ >w</a
+ ></code
+ ></p
+ ></div
+ ></li
+ ><li
+ ><dfn class="src"
+ >, <a id="v:z" class="def"
+ >z</a
+ > :: <a href="#" title="Data.Int"
+ >Int</a
+ ></dfn
+ ><div class="doc"
+ ><p
+ >a <code
+ ><a href="#" title="GadtConstructorArgs"
+ >z</a
+ ></code
+ ></p
+ ></div
+ ></li
+ ><li
+ ><dfn class="src"
+ >} -&gt; <a href="#" title="GadtConstructorArgs"
+ >Boo</a
+ ></dfn
+ ><div class="doc"
+ ><p
+ >a <code
+ ><a href="#" title="GadtConstructorArgs"
+ >Boo</a
+ ></code
+ ></p
+ ></div
+ ></li
+ ></ul
+ ></div
+ ></td
+ ></tr
+ ></table
+ ></div
+ ></div
+ ></div
+ ></div
+ ><div id="footer"
+ ></div
+ ></body
+ ></html
+> \ No newline at end of file
diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html
index 517428fa..8fd04bb4 100644
--- a/html-test/ref/Hash.html
+++ b/html-test/ref/Hash.html
@@ -115,7 +115,7 @@
>Hash</a
> key =&gt; key -&gt; <a href="#" title="System.IO"
>IO</a
- > (<a href="#" title="Data.Maybe"
+ > (<a href="#" title="GHC.Maybe"
>Maybe</a
> val)</li
><li class="src short"
@@ -223,7 +223,7 @@
>Hash</a
> key =&gt; key -&gt; <a href="#" title="System.IO"
>IO</a
- > (<a href="#" title="Data.Maybe"
+ > (<a href="#" title="GHC.Maybe"
>Maybe</a
> val) <a href="#" class="selflink"
>#</a
@@ -232,13 +232,13 @@
><p
>Looks up a key in the hash table, returns <code
><code
- ><a href="#" title="Data.Maybe"
+ ><a href="#" title="GHC.Maybe"
>Just</a
></code
> val</code
> if the key
was found, or <code
- ><a href="#" title="Data.Maybe"
+ ><a href="#" title="GHC.Maybe"
>Nothing</a
></code
> otherwise.</p
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html
index 1b4f276f..a23f9eb9 100644
--- a/html-test/ref/Instances.html
+++ b/html-test/ref/Instances.html
@@ -234,7 +234,7 @@
></span
> <a href="#" title="Instances"
>Foo</a
- > <a href="#" title="Data.Maybe"
+ > <a href="#" title="GHC.Maybe"
>Maybe</a
></span
> <a href="#" class="selflink"
@@ -258,11 +258,11 @@
><p class="src"
><a href="#"
>foo</a
- > :: <a href="#" title="Data.Maybe"
+ > :: <a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Int"
>Int</a
- > -&gt; a -&gt; <a href="#" title="Data.Maybe"
+ > -&gt; a -&gt; <a href="#" title="GHC.Maybe"
>Maybe</a
> a <a href="#" class="selflink"
>#</a
@@ -270,15 +270,15 @@
><p class="src"
><a href="#"
>foo'</a
- > :: <a href="#" title="Data.Maybe"
+ > :: <a href="#" title="GHC.Maybe"
>Maybe</a
- > (<a href="#" title="Data.Maybe"
+ > (<a href="#" title="GHC.Maybe"
>Maybe</a
> a) -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; <a href="#" title="Data.Maybe"
+ > -&gt; <a href="#" title="GHC.Maybe"
>Maybe</a
- > (<a href="#" title="Data.Maybe"
+ > (<a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Int"
>Int</a
@@ -587,9 +587,9 @@
> <a href="#" title="Instances"
>Foo</a
> ((-&gt;) a :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> -&gt; <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
>)</span
> <a href="#" class="selflink"
>#</a
@@ -620,11 +620,11 @@
><p class="src"
><a href="#"
>foo'</a
- > :: (a -&gt; a -&gt; a0) -&gt; <a href="#" title="Data.Int"
+ > :: (a -&gt; (a -&gt; a0)) -&gt; <a href="#" title="Data.Int"
>Int</a
- > -&gt; a -&gt; a -&gt; <a href="#" title="Data.Int"
+ > -&gt; a -&gt; (a -&gt; <a href="#" title="Data.Int"
>Int</a
- > <a href="#" class="selflink"
+ >) <a href="#" class="selflink"
>#</a
></p
></div
@@ -696,7 +696,7 @@
></span
> <a href="#" title="Instances"
>Bar</a
- > <a href="#" title="Data.Maybe"
+ > <a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Bool"
>Bool</a
@@ -722,11 +722,11 @@
><p class="src"
><a href="#"
>bar</a
- > :: <a href="#" title="Data.Maybe"
+ > :: <a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Bool"
>Bool</a
- > -&gt; <a href="#" title="Data.Maybe"
+ > -&gt; <a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Bool"
>Bool</a
@@ -738,17 +738,17 @@
><p class="src"
><a href="#"
>bar'</a
- > :: <a href="#" title="Data.Maybe"
+ > :: <a href="#" title="GHC.Maybe"
>Maybe</a
- > (<a href="#" title="Data.Maybe"
+ > (<a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Bool"
>Bool</a
- >) -&gt; <a href="#" title="Data.Maybe"
+ >) -&gt; <a href="#" title="GHC.Maybe"
>Maybe</a
- > (<a href="#" title="Data.Maybe"
+ > (<a href="#" title="GHC.Maybe"
>Maybe</a
- > (<a href="#" title="Data.Maybe"
+ > (<a href="#" title="GHC.Maybe"
>Maybe</a
> b)) <a href="#" class="selflink"
>#</a
@@ -756,17 +756,17 @@
><p class="src"
><a href="#"
>bar0</a
- > :: (<a href="#" title="Data.Maybe"
+ > :: (<a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Bool"
>Bool</a
- >, <a href="#" title="Data.Maybe"
+ >, <a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Bool"
>Bool</a
- >) -&gt; (<a href="#" title="Data.Maybe"
+ >) -&gt; (<a href="#" title="GHC.Maybe"
>Maybe</a
- > b, <a href="#" title="Data.Maybe"
+ > b, <a href="#" title="GHC.Maybe"
>Maybe</a
> c) <a href="#" class="selflink"
>#</a
@@ -774,17 +774,17 @@
><p class="src"
><a href="#"
>bar1</a
- > :: (<a href="#" title="Data.Maybe"
+ > :: (<a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Bool"
>Bool</a
- >, <a href="#" title="Data.Maybe"
+ >, <a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Bool"
>Bool</a
- >) -&gt; (<a href="#" title="Data.Maybe"
+ >) -&gt; (<a href="#" title="GHC.Maybe"
>Maybe</a
- > b, <a href="#" title="Data.Maybe"
+ > b, <a href="#" title="GHC.Maybe"
>Maybe</a
> c) <a href="#" class="selflink"
>#</a
@@ -800,7 +800,7 @@
></span
> <a href="#" title="Instances"
>Bar</a
- > <a href="#" title="Data.Maybe"
+ > <a href="#" title="GHC.Maybe"
>Maybe</a
> [a]</span
> <a href="#" class="selflink"
@@ -824,9 +824,9 @@
><p class="src"
><a href="#"
>bar</a
- > :: <a href="#" title="Data.Maybe"
+ > :: <a href="#" title="GHC.Maybe"
>Maybe</a
- > [a] -&gt; <a href="#" title="Data.Maybe"
+ > [a] -&gt; <a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Bool"
>Bool</a
@@ -836,15 +836,15 @@
><p class="src"
><a href="#"
>bar'</a
- > :: <a href="#" title="Data.Maybe"
+ > :: <a href="#" title="GHC.Maybe"
>Maybe</a
- > (<a href="#" title="Data.Maybe"
+ > (<a href="#" title="GHC.Maybe"
>Maybe</a
- > [a]) -&gt; <a href="#" title="Data.Maybe"
+ > [a]) -&gt; <a href="#" title="GHC.Maybe"
>Maybe</a
- > (<a href="#" title="Data.Maybe"
+ > (<a href="#" title="GHC.Maybe"
>Maybe</a
- > (<a href="#" title="Data.Maybe"
+ > (<a href="#" title="GHC.Maybe"
>Maybe</a
> b)) <a href="#" class="selflink"
>#</a
@@ -852,13 +852,13 @@
><p class="src"
><a href="#"
>bar0</a
- > :: (<a href="#" title="Data.Maybe"
+ > :: (<a href="#" title="GHC.Maybe"
>Maybe</a
- > [a], <a href="#" title="Data.Maybe"
+ > [a], <a href="#" title="GHC.Maybe"
>Maybe</a
- > [a]) -&gt; (<a href="#" title="Data.Maybe"
+ > [a]) -&gt; (<a href="#" title="GHC.Maybe"
>Maybe</a
- > b, <a href="#" title="Data.Maybe"
+ > b, <a href="#" title="GHC.Maybe"
>Maybe</a
> c) <a href="#" class="selflink"
>#</a
@@ -866,13 +866,13 @@
><p class="src"
><a href="#"
>bar1</a
- > :: (<a href="#" title="Data.Maybe"
+ > :: (<a href="#" title="GHC.Maybe"
>Maybe</a
- > [a], <a href="#" title="Data.Maybe"
+ > [a], <a href="#" title="GHC.Maybe"
>Maybe</a
- > [a]) -&gt; (<a href="#" title="Data.Maybe"
+ > [a]) -&gt; (<a href="#" title="GHC.Maybe"
>Maybe</a
- > b, <a href="#" title="Data.Maybe"
+ > b, <a href="#" title="GHC.Maybe"
>Maybe</a
> c) <a href="#" class="selflink"
>#</a
@@ -2023,7 +2023,7 @@
> c <a href="#" title="Data.Bool"
>Bool</a
> :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> <a href="#" class="selflink"
>#</a
></p
@@ -2035,7 +2035,7 @@
> <a href="#" title="Data.Int"
>Int</a
> c :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> <a href="#" class="selflink"
>#</a
></p
@@ -2097,7 +2097,7 @@
> <a href="#" title="Instances"
>Plugh</a
> [a] c [b] :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> <a href="#" class="selflink"
>#</a
></p
@@ -2107,7 +2107,7 @@
> <a href="#" title="Instances"
>Thud</a
> [a] c :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> <a href="#" class="selflink"
>#</a
></p
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html
index 26b7e7f0..d01038a3 100644
--- a/html-test/ref/Operators.html
+++ b/html-test/ref/Operators.html
@@ -136,9 +136,7 @@
>type</span
> a <a href="#"
>&lt;&gt;&lt;</a
- > b :: <a href="#" title="Data.Kind"
- >*</a
- ></li
+ > b :: *</li
><li
><span class="keyword"
>data</span
@@ -400,9 +398,7 @@
>type</span
> a <a id="t:-60--62--60-" class="def"
>&lt;&gt;&lt;</a
- > b :: <a href="#" title="Data.Kind"
- >*</a
- > <span class="fixity"
+ > b :: * <span class="fixity"
>infixl 2</span
><span class="rightedge"
></span
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index ff6144cf..19c1fecf 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -120,9 +120,7 @@
><li class="src short"
><span class="keyword"
>data</span
- > (a :: <a href="#" title="Data.Kind"
- >*</a
- >) <a href="#"
+ > (a :: *) <a href="#"
>&gt;&lt;</a
> b = <a href="#"
>Empty</a
@@ -311,9 +309,7 @@
><p class="src"
><span class="keyword"
>data</span
- > (a :: <a href="#" title="Data.Kind"
- >*</a
- >) <a id="t:-62--60-" class="def"
+ > (a :: *) <a id="t:-62--60-" class="def"
>&gt;&lt;</a
> b <a href="#" class="selflink"
>#</a
diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html
index 0ec1adcc..712dde5c 100644
--- a/html-test/ref/PromotedTypes.html
+++ b/html-test/ref/PromotedTypes.html
@@ -81,11 +81,7 @@
>data</span
> <a id="t:Pattern" class="def"
>Pattern</a
- > :: [<a href="#" title="Data.Kind"
- >*</a
- >] -&gt; <a href="#" title="Data.Kind"
- >*</a
- > <span class="keyword"
+ > :: [*] -&gt; * <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a
@@ -108,7 +104,7 @@
><td class="src"
><a id="v:Cons" class="def"
>Cons</a
- > :: <a href="#" title="Data.Maybe"
+ > :: <a href="#" title="GHC.Maybe"
>Maybe</a
> h -&gt; <a href="#" title="PromotedTypes"
>Pattern</a
@@ -129,11 +125,7 @@
>RevPattern</a
> :: <a href="#" title="PromotedTypes"
>RevList</a
- > <a href="#" title="Data.Kind"
- >*</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- > <span class="keyword"
+ > * -&gt; * <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a
@@ -158,7 +150,7 @@
><td class="src"
><a id="v:RevCons" class="def"
>RevCons</a
- > :: <a href="#" title="Data.Maybe"
+ > :: <a href="#" title="GHC.Maybe"
>Maybe</a
> h -&gt; <a href="#" title="PromotedTypes"
>RevPattern</a
@@ -179,13 +171,7 @@
>data</span
> <a id="t:Tuple" class="def"
>Tuple</a
- > :: (<a href="#" title="Data.Kind"
- >*</a
- >, <a href="#" title="Data.Kind"
- >*</a
- >) -&gt; <a href="#" title="Data.Kind"
- >*</a
- > <span class="keyword"
+ > :: (*, *) -&gt; * <span class="keyword"
>where</span
> <a href="#" class="selflink"
>#</a
diff --git a/html-test/ref/QuantifiedConstraints.html b/html-test/ref/QuantifiedConstraints.html
new file mode 100644
index 00000000..fa2c18ec
--- /dev/null
+++ b/html-test/ref/QuantifiedConstraints.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"
+ /><title
+ >QuantifiedConstraints</title
+ ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ /><link rel="stylesheet" type="text/css" href="#"
+ /><script src="haddock-bundle.min.js" async="async" type="text/javascript"
+ ></script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ></script
+ ></head
+ ><body
+ ><div id="package-header"
+ ><ul class="links" id="page-menu"
+ ><li
+ ><a href="#"
+ >Contents</a
+ ></li
+ ><li
+ ><a href="#"
+ >Index</a
+ ></li
+ ></ul
+ ><p class="caption empty"
+ ></p
+ ></div
+ ><div id="content"
+ ><div id="module-header"
+ ><table class="info"
+ ><tr
+ ><th
+ >Safe Haskell</th
+ ><td
+ >Safe</td
+ ></tr
+ ></table
+ ><p class="caption"
+ >QuantifiedConstraints</p
+ ></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="subs methods"
+ ><p class="caption"
+ >Methods</p
+ ><p class="src"
+ ><a id="v:fooed" class="def"
+ >fooed</a
+ > :: a <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><a id="v:needsParensAroundContext" class="def"
+ >needsParensAroundContext</a
+ > :: (<span class="keyword"
+ >forall</span
+ > x. <a href="#" title="QuantifiedConstraints"
+ >Foo</a
+ > (f x)) =&gt; f <a href="#" title="Data.Int"
+ >Int</a
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><a id="v:needsNoParensAroundContext" class="def"
+ >needsNoParensAroundContext</a
+ > :: <a href="#" title="QuantifiedConstraints"
+ >Foo</a
+ > (f <a href="#" title="Data.Int"
+ >Int</a
+ >) =&gt; f <a href="#" title="Data.Int"
+ >Int</a
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ></div
+ ></div
+ ><div id="footer"
+ ></div
+ ></body
+ ></html
+> \ No newline at end of file
diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index cd80ed34..47dfd6cd 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -73,11 +73,7 @@ Fix spurious superclass constraints bug.</pre
>data</span
> <a id="t:SomeType" class="def"
>SomeType</a
- > (f :: <a href="#" title="Data.Kind"
- >*</a
- > -&gt; <a href="#" title="Data.Kind"
- >*</a
- >) a <a href="#" class="selflink"
+ > (f :: * -&gt; *) a <a href="#" class="selflink"
>#</a
></p
><div class="subs instances"
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index 26481afe..ce180a19 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -167,7 +167,7 @@
>A</a
> <a href="#" title="Data.Int"
>Int</a
- > (<a href="#" title="Data.Maybe"
+ > (<a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Prelude"
>Float</a
@@ -712,7 +712,7 @@
>A</a
> <a href="#" title="Data.Int"
>Int</a
- > (<a href="#" title="Data.Maybe"
+ > (<a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Prelude"
>Float</a
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 1fe20c4b..9a4945dd 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -110,9 +110,7 @@
>data family</span
> <a href="#"
>Bat</a
- > (a :: k) :: <a href="#" title="Data.Kind"
- >*</a
- ></li
+ > (a :: k) :: *</li
><li class="src short"
><span class="keyword"
>class</span
@@ -126,17 +124,13 @@
>data</span
> <a href="#"
>AssocD</a
- > a :: <a href="#" title="Data.Kind"
- >*</a
- ></li
+ > a :: *</li
><li
><span class="keyword"
>type</span
> <a href="#"
>AssocT</a
- > a :: <a href="#" title="Data.Kind"
- >*</a
- ></li
+ > a :: *</li
></ul
></li
><li class="src short"
@@ -287,7 +281,7 @@
> <a href="#" title="TypeFamilies"
>X</a
> :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> <a href="#" class="selflink"
>#</a
></p
@@ -299,7 +293,7 @@
> <a href="#" title="TypeFamilies"
>X</a
> :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> <a href="#" class="selflink"
>#</a
></p
@@ -502,7 +496,7 @@
> <a href="#" title="TypeFamilies"
>X</a
> :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
>)</div
></details
></td
@@ -627,7 +621,7 @@
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> (a :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
>)</span
> <a href="#" class="selflink"
>#</a
@@ -652,7 +646,7 @@
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> (a :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
>) = <a href="#" title="TypeFamilies"
>X</a
></div
@@ -719,7 +713,7 @@
> <a href="#" title="TypeFamilies"
>Y</a
> :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> <a href="#" class="selflink"
>#</a
></p
@@ -731,7 +725,7 @@
> <a href="#" title="TypeFamilies"
>Y</a
> :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> <a href="#" class="selflink"
>#</a
></p
@@ -987,7 +981,7 @@
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> (a :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
>)</span
> <a href="#" class="selflink"
>#</a
@@ -1012,7 +1006,7 @@
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> (a :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
>) = a</div
></details
></td
@@ -1103,7 +1097,13 @@
><li class="inst"
><a id="v:BatZ1" class="def"
>BatZ1</a
- > :: <a href="#" title="TypeFamilies"
+ > :: <span class="keyword"
+ >forall</span
+ > (z :: <a href="#" title="TypeFamilies"
+ >Z</a
+ >). <a href="#" title="TypeFamilies"
+ >Z</a
+ > -&gt; <a href="#" title="TypeFamilies"
>Bat</a
> <a href="#" title="TypeFamilies"
>ZA</a
@@ -1111,7 +1111,11 @@
><li class="inst"
><a id="v:BatZ2" class="def"
>BatZ2</a
- > :: <a href="#" title="TypeFamilies"
+ > :: <span class="keyword"
+ >forall</span
+ > (z :: <a href="#" title="TypeFamilies"
+ >Z</a
+ >). {..} -&gt; <a href="#" title="TypeFamilies"
>Bat</a
> <a href="#" title="TypeFamilies"
>ZB</a
@@ -1319,9 +1323,7 @@
>data family</span
> <a id="t:Bat" class="def"
>Bat</a
- > (a :: k) :: <a href="#" title="Data.Kind"
- >*</a
- > <a href="#" class="selflink"
+ > (a :: k) :: * <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -1375,7 +1377,13 @@
><li class="inst"
><a id="v:BatZ1" class="def"
>BatZ1</a
- > :: <a href="#" title="TypeFamilies"
+ > :: <span class="keyword"
+ >forall</span
+ > (z :: <a href="#" title="TypeFamilies"
+ >Z</a
+ >). <a href="#" title="TypeFamilies"
+ >Z</a
+ > -&gt; <a href="#" title="TypeFamilies"
>Bat</a
> <a href="#" title="TypeFamilies"
>ZA</a
@@ -1383,7 +1391,11 @@
><li class="inst"
><a id="v:BatZ2" class="def"
>BatZ2</a
- > :: <a href="#" title="TypeFamilies"
+ > :: <span class="keyword"
+ >forall</span
+ > (z :: <a href="#" title="TypeFamilies"
+ >Z</a
+ >). {..} -&gt; <a href="#" title="TypeFamilies"
>Bat</a
> <a href="#" title="TypeFamilies"
>ZB</a
@@ -1528,9 +1540,7 @@
>data</span
> <a id="t:AssocD" class="def"
>AssocD</a
- > a :: <a href="#" title="Data.Kind"
- >*</a
- > <a href="#" class="selflink"
+ > a :: * <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -1542,9 +1552,7 @@
>type</span
> <a id="t:AssocT" class="def"
>AssocT</a
- > a :: <a href="#" title="Data.Kind"
- >*</a
- > <a href="#" class="selflink"
+ > a :: * <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -1595,7 +1603,7 @@
> <a href="#" title="TypeFamilies"
>Y</a
> :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> <a href="#" class="selflink"
>#</a
></p
@@ -1607,7 +1615,7 @@
> <a href="#" title="TypeFamilies"
>Y</a
> :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> <a href="#" class="selflink"
>#</a
></p
@@ -1653,7 +1661,7 @@
> <a href="#" title="TypeFamilies"
>X</a
> :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> <a href="#" class="selflink"
>#</a
></p
@@ -1665,7 +1673,7 @@
> <a href="#" title="TypeFamilies"
>X</a
> :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
> <a href="#" class="selflink"
>#</a
></p
@@ -1791,7 +1799,7 @@
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> (a :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
>)</span
> <a href="#" class="selflink"
>#</a
@@ -1816,7 +1824,7 @@
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> (a :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
>) = a</div
></details
></td
@@ -1833,7 +1841,7 @@
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> (a :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
>)</span
> <a href="#" class="selflink"
>#</a
@@ -1858,7 +1866,7 @@
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> (a :: <a href="#" title="Data.Kind"
- >*</a
+ >Type</a
>) = <a href="#" title="TypeFamilies"
>X</a
></div