aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref')
-rw-r--r--html-test/ref/Bug1004.html12
-rw-r--r--html-test/ref/BundledPatterns.html10
-rw-r--r--html-test/ref/BundledPatterns2.html10
-rw-r--r--html-test/ref/FunArgs.html4
-rw-r--r--html-test/ref/Identifiers.html10
-rw-r--r--html-test/ref/Instances.html50
-rw-r--r--html-test/ref/TypeOperators.html10
7 files changed, 57 insertions, 49 deletions
diff --git a/html-test/ref/Bug1004.html b/html-test/ref/Bug1004.html
index 3324fae1..9fe6f84e 100644
--- a/html-test/ref/Bug1004.html
+++ b/html-test/ref/Bug1004.html
@@ -1228,13 +1228,13 @@
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Data:15"
></span
- > (<a href="#" title="Data.Typeable"
+ > (<a href="#" title="Type.Reflection"
>Typeable</a
- > a, <a href="#" title="Data.Typeable"
+ > a, <a href="#" title="Type.Reflection"
>Typeable</a
- > f, <a href="#" title="Data.Typeable"
+ > f, <a href="#" title="Type.Reflection"
>Typeable</a
- > g, <a href="#" title="Data.Typeable"
+ > g, <a href="#" title="Type.Reflection"
>Typeable</a
> k, <a href="#" title="Data.Data"
>Data</a
@@ -1320,7 +1320,7 @@
><p class="src"
><a href="#"
>dataCast1</a
- > :: <a href="#" title="Data.Typeable"
+ > :: <a href="#" title="Type.Reflection"
>Typeable</a
> t =&gt; (<span class="keyword"
>forall</span
@@ -1336,7 +1336,7 @@
><p class="src"
><a href="#"
>dataCast2</a
- > :: <a href="#" title="Data.Typeable"
+ > :: <a href="#" title="Type.Reflection"
>Typeable</a
> t =&gt; (<span class="keyword"
>forall</span
diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html
index 82f58e49..94a197c2 100644
--- a/html-test/ref/BundledPatterns.html
+++ b/html-test/ref/BundledPatterns.html
@@ -58,7 +58,7 @@
>data</span
> <a href="#"
>Vec</a
- > :: <a href="#" title="GHC.TypeLits"
+ > :: <a href="#" title="GHC.TypeNats"
>Nat</a
> -&gt; * -&gt; * <span class="keyword"
>where</span
@@ -88,7 +88,7 @@
>data</span
> <a href="#"
>RTree</a
- > :: <a href="#" title="GHC.TypeLits"
+ > :: <a href="#" title="GHC.TypeNats"
>Nat</a
> -&gt; * -&gt; * <span class="keyword"
>where</span
@@ -129,7 +129,7 @@
>data</span
> <a id="t:Vec" class="def"
>Vec</a
- > :: <a href="#" title="GHC.TypeLits"
+ > :: <a href="#" title="GHC.TypeNats"
>Nat</a
> -&gt; * -&gt; * <span class="keyword"
>where</span
@@ -152,7 +152,7 @@
> subscript starting from 0 and
ending at <code
><code
- ><a href="#" title="Data.List"
+ ><a href="#" title="Data.Foldable"
>length</a
></code
> - 1</code
@@ -291,7 +291,7 @@
>data</span
> <a id="t:RTree" class="def"
>RTree</a
- > :: <a href="#" title="GHC.TypeLits"
+ > :: <a href="#" title="GHC.TypeNats"
>Nat</a
> -&gt; * -&gt; * <span class="keyword"
>where</span
diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html
index 56a44f57..3b192054 100644
--- a/html-test/ref/BundledPatterns2.html
+++ b/html-test/ref/BundledPatterns2.html
@@ -58,7 +58,7 @@
>data</span
> <a href="#"
>Vec</a
- > :: <a href="#" title="GHC.TypeLits"
+ > :: <a href="#" title="GHC.TypeNats"
>Nat</a
> -&gt; * -&gt; * <span class="keyword"
>where</span
@@ -90,7 +90,7 @@
>data</span
> <a href="#"
>RTree</a
- > :: <a href="#" title="GHC.TypeLits"
+ > :: <a href="#" title="GHC.TypeNats"
>Nat</a
> -&gt; * -&gt; * <span class="keyword"
>where</span
@@ -131,7 +131,7 @@
>data</span
> <a id="t:Vec" class="def"
>Vec</a
- > :: <a href="#" title="GHC.TypeLits"
+ > :: <a href="#" title="GHC.TypeNats"
>Nat</a
> -&gt; * -&gt; * <span class="keyword"
>where</span
@@ -154,7 +154,7 @@
> subscript starting from 0 and
ending at <code
><code
- ><a href="#" title="Data.List"
+ ><a href="#" title="Data.Foldable"
>length</a
></code
> - 1</code
@@ -289,7 +289,7 @@
>data</span
> <a id="t:RTree" class="def"
>RTree</a
- > :: <a href="#" title="GHC.TypeLits"
+ > :: <a href="#" title="GHC.TypeNats"
>Nat</a
> -&gt; * -&gt; * <span class="keyword"
>where</span
diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html
index 2fac6d4e..855f1b89 100644
--- a/html-test/ref/FunArgs.html
+++ b/html-test/ref/FunArgs.html
@@ -230,7 +230,9 @@
><td class="src"
>:: <span class="keyword"
>forall</span
- > a (b :: ()) d. d ~ '<a href="#" title="GHC.Tuple"
+ > a (b :: ()) d. d <a href="#" title="Data.Type.Equality"
+ >~</a
+ > '<a href="#" title="GHC.Tuple"
>()</a
></td
><td class="doc empty"
diff --git a/html-test/ref/Identifiers.html b/html-test/ref/Identifiers.html
index b7ca9296..76487140 100644
--- a/html-test/ref/Identifiers.html
+++ b/html-test/ref/Identifiers.html
@@ -146,7 +146,7 @@
>++</a
></code
>, <code
- ><a href="#" title="Data.List"
+ ><a href="#" title="Data.Foldable"
>elem</a
></code
></li
@@ -168,7 +168,7 @@
>, <code
>++</code
>, <code
- ><a href="#" title="Data.List"
+ ><a href="#" title="Data.Foldable"
>elem</a
></code
>, <code
@@ -237,7 +237,7 @@
><li
>Unqualified: <code
>1 <code
- ><a href="#" title="Data.List"
+ ><a href="#" title="Data.Foldable"
>`elem`</a
></code
> [-3..3]</code
@@ -245,14 +245,14 @@
><li
>Qualified: <code
>1 <code
- ><a href="#" title="Data.List"
+ ><a href="#" title="Data.Foldable"
>`elem`</a
></code
> [-3..3]</code
></li
><li
>Namespaced: <code
- ><a href="#" title="Data.List"
+ ><a href="#" title="Data.Foldable"
>`elem`</a
></code
>, <code
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html
index 9e9f2300..e99f82e4 100644
--- a/html-test/ref/Instances.html
+++ b/html-test/ref/Instances.html
@@ -1300,9 +1300,9 @@
>baz</a
> :: [c] -&gt; (<span class="keyword"
>forall</span
- > a. a -&gt; a) -&gt; (b, <span class="keyword"
+ > a1. a1 -&gt; a1) -&gt; (b, <span class="keyword"
>forall</span
- > c0. c0 -&gt; [c]) -&gt; (b, c1) <a href="#" class="selflink"
+ > c1. c1 -&gt; [c]) -&gt; (b, c0) <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1310,9 +1310,9 @@
>baz'</a
> :: b -&gt; (<span class="keyword"
>forall</span
- > b. b -&gt; [c]) -&gt; (<span class="keyword"
+ > b1. b1 -&gt; [c]) -&gt; (<span class="keyword"
>forall</span
- > b. b -&gt; [c]) -&gt; [(b, [c])] <a href="#" class="selflink"
+ > b1. b1 -&gt; [c]) -&gt; [(b, [c])] <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1320,9 +1320,9 @@
>baz''</a
> :: b -&gt; (<span class="keyword"
>forall</span
- > b. (<span class="keyword"
+ > b1. (<span class="keyword"
>forall</span
- > b. b -&gt; [c]) -&gt; c0) -&gt; <span class="keyword"
+ > b2. b2 -&gt; [c]) -&gt; c0) -&gt; <span class="keyword"
>forall</span
> c1. c1 -&gt; b <a href="#" class="selflink"
>#</a
@@ -1362,9 +1362,9 @@
>baz</a
> :: (a -&gt; b) -&gt; (<span class="keyword"
>forall</span
- > a0. a0 -&gt; a0) -&gt; (b0, <span class="keyword"
+ > a1. a1 -&gt; a1) -&gt; (b0, <span class="keyword"
>forall</span
- > c. c -&gt; a -&gt; b) -&gt; (b0, c) <a href="#" class="selflink"
+ > c1. c1 -&gt; a -&gt; b) -&gt; (b0, c) <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1374,7 +1374,7 @@
>forall</span
> b1. b1 -&gt; a -&gt; b) -&gt; (<span class="keyword"
>forall</span
- > b2. b2 -&gt; a -&gt; b) -&gt; [(b0, a -&gt; b)] <a href="#" class="selflink"
+ > b1. b1 -&gt; a -&gt; b) -&gt; [(b0, a -&gt; b)] <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1386,7 +1386,7 @@
>forall</span
> b2. b2 -&gt; a -&gt; b) -&gt; c) -&gt; <span class="keyword"
>forall</span
- > c. c -&gt; b0 <a href="#" class="selflink"
+ > c1. c1 -&gt; b0 <a href="#" class="selflink"
>#</a
></p
></div
@@ -1428,11 +1428,11 @@
>Quux</a
> a b c -&gt; (<span class="keyword"
>forall</span
- > a0. a0 -&gt; a0) -&gt; (b0, <span class="keyword"
+ > a1. a1 -&gt; a1) -&gt; (b0, <span class="keyword"
>forall</span
- > c0. c0 -&gt; <a href="#" title="Instances"
+ > c1. c1 -&gt; <a href="#" title="Instances"
>Quux</a
- > a b c) -&gt; (b0, c1) <a href="#" class="selflink"
+ > a b c) -&gt; (b0, c0) <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1444,7 +1444,7 @@
>Quux</a
> a b c) -&gt; (<span class="keyword"
>forall</span
- > b2. b2 -&gt; <a href="#" title="Instances"
+ > b1. b1 -&gt; <a href="#" title="Instances"
>Quux</a
> a b c) -&gt; [(b0, <a href="#" title="Instances"
>Quux</a
@@ -1500,9 +1500,9 @@
>baz</a
> :: (a, b, c) -&gt; (<span class="keyword"
>forall</span
- > a0. a0 -&gt; a0) -&gt; (b0, <span class="keyword"
+ > a1. a1 -&gt; a1) -&gt; (b0, <span class="keyword"
>forall</span
- > c0. c0 -&gt; (a, b, c)) -&gt; (b0, c1) <a href="#" class="selflink"
+ > c1. c1 -&gt; (a, b, c)) -&gt; (b0, c0) <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1512,7 +1512,7 @@
>forall</span
> b1. b1 -&gt; (a, b, c)) -&gt; (<span class="keyword"
>forall</span
- > b2. b2 -&gt; (a, b, c)) -&gt; [(b0, (a, b, c))] <a href="#" class="selflink"
+ > b1. b1 -&gt; (a, b, c)) -&gt; [(b0, (a, b, c))] <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1562,9 +1562,9 @@
>baz</a
> :: (a, [b], b, a) -&gt; (<span class="keyword"
>forall</span
- > a0. a0 -&gt; a0) -&gt; (b0, <span class="keyword"
+ > a1. a1 -&gt; a1) -&gt; (b0, <span class="keyword"
>forall</span
- > c. c -&gt; (a, [b], b, a)) -&gt; (b0, c) <a href="#" class="selflink"
+ > c1. c1 -&gt; (a, [b], b, a)) -&gt; (b0, c) <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1574,7 +1574,7 @@
>forall</span
> b1. b1 -&gt; (a, [b], b, a)) -&gt; (<span class="keyword"
>forall</span
- > b2. b2 -&gt; (a, [b], b, a)) -&gt; [(b0, (a, [b], b, a))] <a href="#" class="selflink"
+ > b1. b1 -&gt; (a, [b], b, a)) -&gt; [(b0, (a, [b], b, a))] <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1586,7 +1586,7 @@
>forall</span
> b2. b2 -&gt; (a, [b], b, a)) -&gt; c) -&gt; <span class="keyword"
>forall</span
- > c. c -&gt; b0 <a href="#" class="selflink"
+ > c1. c1 -&gt; b0 <a href="#" class="selflink"
>#</a
></p
></div
@@ -1844,11 +1844,11 @@
>Quux</a
> a b c -&gt; (<span class="keyword"
>forall</span
- > a0. a0 -&gt; a0) -&gt; (b0, <span class="keyword"
+ > a1. a1 -&gt; a1) -&gt; (b0, <span class="keyword"
>forall</span
- > c0. c0 -&gt; <a href="#" title="Instances"
+ > c1. c1 -&gt; <a href="#" title="Instances"
>Quux</a
- > a b c) -&gt; (b0, c1) <a href="#" class="selflink"
+ > a b c) -&gt; (b0, c0) <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1860,7 +1860,7 @@
>Quux</a
> a b c) -&gt; (<span class="keyword"
>forall</span
- > b2. b2 -&gt; <a href="#" title="Instances"
+ > b1. b1 -&gt; <a href="#" title="Instances"
>Quux</a
> a b c) -&gt; [(b0, <a href="#" title="Instances"
>Quux</a
diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html
index ff79e6be..f4882f1a 100644
--- a/html-test/ref/TypeOperators.html
+++ b/html-test/ref/TypeOperators.html
@@ -147,7 +147,9 @@
><p class="src"
><a id="v:f" class="def"
>f</a
- > :: a ~ b =&gt; a -&gt; b <a href="#" class="selflink"
+ > :: a <a href="#" title="Data.Type.Equality"
+ >~</a
+ > b =&gt; a -&gt; b <a href="#" class="selflink"
>#</a
></p
></div
@@ -155,7 +157,11 @@
><p class="src"
><a id="v:g" class="def"
>g</a
- > :: (a ~ b, b ~ c) =&gt; a -&gt; c <a href="#" class="selflink"
+ > :: (a <a href="#" title="Data.Type.Equality"
+ >~</a
+ > b, b <a href="#" title="Data.Type.Equality"
+ >~</a
+ > c) =&gt; a -&gt; c <a href="#" class="selflink"
>#</a
></p
></div