diff options
Diffstat (limited to 'html-test/ref')
| -rw-r--r-- | html-test/ref/Bug294.html | 16 | ||||
| -rw-r--r-- | html-test/ref/Bug310.html | 2 | ||||
| -rw-r--r-- | html-test/ref/Bug548.html | 46 | ||||
| -rw-r--r-- | html-test/ref/Bug574.html | 86 | ||||
| -rw-r--r-- | html-test/ref/Bug85.html | 14 | ||||
| -rw-r--r-- | html-test/ref/BundledPatterns.html | 24 | ||||
| -rw-r--r-- | html-test/ref/BundledPatterns2.html | 24 | ||||
| -rw-r--r-- | html-test/ref/ConstructorArgs.html | 720 | ||||
| -rw-r--r-- | html-test/ref/ConstructorPatternExport.html | 8 | ||||
| -rw-r--r-- | html-test/ref/DeprecatedTypeFamily.html | 24 | ||||
| -rw-r--r-- | html-test/ref/GADTRecords.html | 38 | ||||
| -rw-r--r-- | html-test/ref/GadtConstructorArgs.html | 192 | ||||
| -rw-r--r-- | html-test/ref/Hash.html | 8 | ||||
| -rw-r--r-- | html-test/ref/Instances.html | 96 | ||||
| -rw-r--r-- | html-test/ref/Operators.html | 8 | ||||
| -rw-r--r-- | html-test/ref/PatternSyns.html | 8 | ||||
| -rw-r--r-- | html-test/ref/PromotedTypes.html | 24 | ||||
| -rw-r--r-- | html-test/ref/QuantifiedConstraints.html | 100 | ||||
| -rw-r--r-- | html-test/ref/SpuriousSuperclassConstraints.html | 6 | ||||
| -rw-r--r-- | html-test/ref/Test.html | 4 | ||||
| -rw-r--r-- | html-test/ref/TypeFamilies.html | 86 |
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 - > :: ({..} -> GADT <a href="#" title="Bug294" + > :: GADT <a href="#" title="Bug294" >A</a - >) -> <a href="#" title="Bug294" + > -> <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 > -> <a href="#" title="Data.Kind" - >*</a + >Type</a > -> <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 > -> <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 -> <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 > -> <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 > -> <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 > -> <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 > "unwrapArrow") <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 > "unwrapArrow") <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 + > -> <a href="#" title="Data.Int" + >Int</a + > -> <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 + > -> <a href="#" title="Data.Int" + >Int</a + > -> <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 - > -> <a href="#" title="Data.Kind" - >*</a - >) -> <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > <span class="keyword" + > :: (* -> *) -> * -> * <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 - > -> <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > <span class="keyword" + > -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li @@ -84,11 +80,7 @@ >RTree</a > :: <a href="#" title="GHC.TypeNats" >Nat</a - > -> <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > <span class="keyword" + > -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li @@ -129,11 +121,7 @@ >Vec</a > :: <a href="#" title="GHC.TypeNats" >Nat</a - > -> <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > <span class="keyword" + > -> * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -295,11 +283,7 @@ >RTree</a > :: <a href="#" title="GHC.TypeNats" >Nat</a - > -> <a href="#" title="Data.Kind" - >*</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/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 - > -> <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > <span class="keyword" + > -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li @@ -86,11 +82,7 @@ >RTree</a > :: <a href="#" title="GHC.TypeNats" >Nat</a - > -> <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > <span class="keyword" + > -> * -> * <span class="keyword" >where</span ><ul class="subs" ><li @@ -131,11 +123,7 @@ >Vec</a > :: <a href="#" title="GHC.TypeNats" >Nat</a - > -> <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > <span class="keyword" + > -> * -> * <span class="keyword" >where</span > <a href="#" class="selflink" >#</a @@ -293,11 +281,7 @@ >RTree</a > :: <a href="#" title="GHC.TypeNats" >Nat</a - > -> <a href="#" title="Data.Kind" - >*</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/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 + > -> <a href="#" title="Data.String" + >String</a + > -> <a href="#" title="ConstructorArgs" + >Boo</a + ></li + ><li + ><a href="#" + >Foa</a + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="ConstructorArgs" + >Boo</a + ></li + ><li + ><span class="keyword" + >pattern</span + > <a href="#" + >Fo</a + > :: <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Data.String" + >String</a + > -> <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 + > -> <a href="#" title="Data.String" + >String</a + > -> <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 + > -> <a href="#" title="Data.String" + >String</a + > -> <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" + >-> <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" + >-> <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 + > -> <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" + >-> <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" + >-> <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" + >-> <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" + >-> <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 + > -> <a href="#" title="Data.String" + >String</a + > -> <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 - > :: () => <span class="keyword" - >forall</span - > a. <a href="#" title="Data.Eq" - >Eq</a - > a => a -> <a href="#" title="Data.Int" + > :: a -> <a href="#" title="Data.Int" >Int</a - > -> MyGADT (<a href="#" title="Data.Maybe" + > -> 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 - > -> <a href="#" title="Data.Kind" - >*</a - ></li + > k :: * -> *</li ><li class="src short" ><span class="keyword" >data family</span > <a href="#" >SomeOtherTypeFamily</a - > k :: <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - ></li + > k :: * -> *</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 - > -> <a href="#" title="Data.Kind" - >*</a - > <a href="#" class="selflink" + > k :: * -> * <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 - > -> <a href="#" title="Data.Kind" - >*</a - > <a href="#" class="selflink" + > k :: * -> * <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 - > :: {..} -> <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" + >} -> <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 - > :: {..} -> <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" + >} -> <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" + >} -> <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" + >} -> <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 => key -> <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 => key -> <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 - > -> a -> <a href="#" title="Data.Maybe" + > -> a -> <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) -> <a href="#" title="Data.Int" >Int</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.Int" >Int</a @@ -587,9 +587,9 @@ > <a href="#" title="Instances" >Foo</a > ((->) a :: <a href="#" title="Data.Kind" - >*</a + >Type</a > -> <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 -> a -> a0) -> <a href="#" title="Data.Int" + > :: (a -> (a -> a0)) -> <a href="#" title="Data.Int" >Int</a - > -> a -> a -> <a href="#" title="Data.Int" + > -> a -> (a -> <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 - > -> <a href="#" title="Data.Maybe" + > -> <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 - >) -> <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.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 - >) -> (<a href="#" title="Data.Maybe" + >) -> (<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 - >) -> (<a href="#" title="Data.Maybe" + >) -> (<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] -> <a href="#" title="Data.Maybe" + > [a] -> <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]) -> <a href="#" title="Data.Maybe" + > [a]) -> <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]) -> (<a href="#" title="Data.Maybe" + > [a]) -> (<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]) -> (<a href="#" title="Data.Maybe" + > [a]) -> (<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="#" ><><</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" ><><</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="#" >><</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" >><</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 - >] -> <a href="#" title="Data.Kind" - >*</a - > <span class="keyword" + > :: [*] -> * <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 -> <a href="#" title="PromotedTypes" >Pattern</a @@ -129,11 +125,7 @@ >RevPattern</a > :: <a href="#" title="PromotedTypes" >RevList</a - > <a href="#" title="Data.Kind" - >*</a - > -> <a href="#" title="Data.Kind" - >*</a - > <span class="keyword" + > * -> * <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 -> <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 - >) -> <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/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)) => 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 + >) => 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 - > -> <a href="#" title="Data.Kind" - >*</a - >) a <a href="#" class="selflink" + > (f :: * -> *) 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" ><></a > (a :: <a href="#" title="Data.Kind" - >*</a + >Type</a >)</span > <a href="#" class="selflink" >#</a @@ -652,7 +646,7 @@ > <a href="#" title="TypeFamilies" ><></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" ><></a > (a :: <a href="#" title="Data.Kind" - >*</a + >Type</a >)</span > <a href="#" class="selflink" >#</a @@ -1012,7 +1006,7 @@ > <a href="#" title="TypeFamilies" ><></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 + > -> <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 + >). {..} -> <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 + > -> <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 + >). {..} -> <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" ><></a > (a :: <a href="#" title="Data.Kind" - >*</a + >Type</a >)</span > <a href="#" class="selflink" >#</a @@ -1816,7 +1824,7 @@ > <a href="#" title="TypeFamilies" ><></a > (a :: <a href="#" title="Data.Kind" - >*</a + >Type</a >) = a</div ></details ></td @@ -1833,7 +1841,7 @@ > <a href="#" title="TypeFamilies" ><></a > (a :: <a href="#" title="Data.Kind" - >*</a + >Type</a >)</span > <a href="#" class="selflink" >#</a @@ -1858,7 +1866,7 @@ > <a href="#" title="TypeFamilies" ><></a > (a :: <a href="#" title="Data.Kind" - >*</a + >Type</a >) = <a href="#" title="TypeFamilies" >X</a ></div |