diff options
Diffstat (limited to 'html-test')
| -rw-r--r-- | html-test/ref/Bug1004.html | 212 | ||||
| -rw-r--r-- | html-test/ref/Bug310.html | 34 | ||||
| -rw-r--r-- | html-test/ref/Bug548.html | 40 | ||||
| -rw-r--r-- | html-test/ref/BundledPatterns.html | 10 | ||||
| -rw-r--r-- | html-test/ref/BundledPatterns2.html | 10 | ||||
| -rw-r--r-- | html-test/ref/FunArgs.html | 4 | ||||
| -rw-r--r-- | html-test/ref/Identifiers.html | 10 | ||||
| -rw-r--r-- | html-test/ref/Instances.html | 50 | ||||
| -rw-r--r-- | html-test/ref/TypeOperators.html | 10 |
9 files changed, 111 insertions, 269 deletions
diff --git a/html-test/ref/Bug1004.html b/html-test/ref/Bug1004.html index 3324fae1..bbe2f599 100644 --- a/html-test/ref/Bug1004.html +++ b/html-test/ref/Bug1004.html @@ -48,26 +48,6 @@ ><p class="caption" >Bug1004</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="#" - >Product</a - > (f :: k -> <a href="#" title="Data.Kind" - >Type</a - >) (g :: k -> <a href="#" title="Data.Kind" - >Type</a - >) (a :: k) = <a href="#" - >Pair</a - > (f a) (g a)</li - ></ul - ></details - ></div ><div id="interface" ><h1 >Documentation</h1 @@ -84,10 +64,6 @@ >) (a :: k) <a href="#" class="selflink" >#</a ></p - ><div class="doc" - ><p - >Lifted product of functors.</p - ></div ><div class="subs constructors" ><p class="caption" >Constructors</p @@ -200,12 +176,8 @@ >Product</a > f g)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -248,12 +220,8 @@ >Product</a > f g)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -322,12 +290,8 @@ >Product</a > f g)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -518,12 +482,8 @@ >Product</a > f g)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -570,12 +530,8 @@ >Product</a > f g)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -622,12 +578,8 @@ >Product</a > f g)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -722,12 +674,8 @@ >Product</a > f g)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -794,12 +742,8 @@ >Product</a > f g)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -880,12 +824,8 @@ >Product</a > f g)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -958,12 +898,8 @@ >Product</a > f g)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -1052,12 +988,8 @@ >Product</a > f g)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -1110,12 +1042,8 @@ >Product</a > f g)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -1180,12 +1108,8 @@ >Product</a > f g)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -1228,13 +1152,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 @@ -1246,12 +1170,8 @@ >Product</a > f g a)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -1320,7 +1240,7 @@ ><p class="src" ><a href="#" >dataCast1</a - > :: <a href="#" title="Data.Typeable" + > :: <a href="#" title="Type.Reflection" >Typeable</a > t => (<span class="keyword" >forall</span @@ -1336,7 +1256,7 @@ ><p class="src" ><a href="#" >dataCast2</a - > :: <a href="#" title="Data.Typeable" + > :: <a href="#" title="Type.Reflection" >Typeable</a > t => (<span class="keyword" >forall</span @@ -1484,12 +1404,8 @@ >Product</a > f g a)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.16.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -1552,12 +1468,8 @@ >Product</a > f g a)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.16.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -1700,12 +1612,8 @@ >Product</a > f g a)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -1782,12 +1690,8 @@ >Product</a > f g a)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -1854,12 +1758,8 @@ >Product</a > f g a)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -1918,12 +1818,8 @@ >Product</a > f g a)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -2040,12 +1936,8 @@ >Type</a >)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -2134,12 +2026,8 @@ >Product</a > f g a)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.9.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html index 57c82077..a844d855 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -48,28 +48,6 @@ ><p class="caption" >Bug310</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" - >type family</span - > (a :: <a href="#" title="Numeric.Natural" - >Natural</a - >) <a href="#" - >+</a - > (b :: <a href="#" title="Numeric.Natural" - >Natural</a - >) :: <a href="#" title="Numeric.Natural" - >Natural</a - > <span class="keyword" - >where ...</span - ></li - ></ul - ></details - ></div ><div id="interface" ><h1 >Documentation</h1 @@ -87,21 +65,9 @@ >Natural</a > <span class="keyword" >where ...</span - > <span class="fixity" - >infixl 6</span - ><span class="rightedge" - ></span > <a href="#" class="selflink" >#</a ></p - ><div class="doc" - ><p - >Addition of type-level naturals.</p - ><p - ><em - >Since: base-4.7.0.0</em - ></p - ></div ></div ></div ></div diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html index 594480c7..99bd5402 100644 --- a/html-test/ref/Bug548.html +++ b/html-test/ref/Bug548.html @@ -198,12 +198,8 @@ >WrappedArrow</a > a b)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-2.1</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -274,12 +270,8 @@ >WrappedArrow</a > a b)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-2.1</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -366,12 +358,8 @@ >WrappedArrow</a > a b)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-2.1</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -498,12 +486,8 @@ >Type</a >)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.7.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" @@ -570,12 +554,8 @@ >WrappedArrow</a > a b c)</span ></td - ><td class="doc" - ><p - ><em - >Since: base-4.7.0.0</em - ></p - ></td + ><td class="doc empty" + > </td ></tr ><tr ><td colspan="2" 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 > -> * -> * <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 > -> * -> * <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 > -> * -> * <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 > -> * -> * <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 > -> * -> * <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 > -> * -> * <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 > -> * -> * <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 > -> * -> * <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] -> (<span class="keyword" >forall</span - > a. a -> a) -> (b, <span class="keyword" + > a1. a1 -> a1) -> (b, <span class="keyword" >forall</span - > c0. c0 -> [c]) -> (b, c1) <a href="#" class="selflink" + > c1. c1 -> [c]) -> (b, c0) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1310,9 +1310,9 @@ >baz'</a > :: b -> (<span class="keyword" >forall</span - > b. b -> [c]) -> (<span class="keyword" + > b1. b1 -> [c]) -> (<span class="keyword" >forall</span - > b. b -> [c]) -> [(b, [c])] <a href="#" class="selflink" + > b1. b1 -> [c]) -> [(b, [c])] <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1320,9 +1320,9 @@ >baz''</a > :: b -> (<span class="keyword" >forall</span - > b. (<span class="keyword" + > b1. (<span class="keyword" >forall</span - > b. b -> [c]) -> c0) -> <span class="keyword" + > b2. b2 -> [c]) -> c0) -> <span class="keyword" >forall</span > c1. c1 -> b <a href="#" class="selflink" >#</a @@ -1362,9 +1362,9 @@ >baz</a > :: (a -> b) -> (<span class="keyword" >forall</span - > a0. a0 -> a0) -> (b0, <span class="keyword" + > a1. a1 -> a1) -> (b0, <span class="keyword" >forall</span - > c. c -> a -> b) -> (b0, c) <a href="#" class="selflink" + > c1. c1 -> a -> b) -> (b0, c) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1374,7 +1374,7 @@ >forall</span > b1. b1 -> a -> b) -> (<span class="keyword" >forall</span - > b2. b2 -> a -> b) -> [(b0, a -> b)] <a href="#" class="selflink" + > b1. b1 -> a -> b) -> [(b0, a -> b)] <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1386,7 +1386,7 @@ >forall</span > b2. b2 -> a -> b) -> c) -> <span class="keyword" >forall</span - > c. c -> b0 <a href="#" class="selflink" + > c1. c1 -> b0 <a href="#" class="selflink" >#</a ></p ></div @@ -1428,11 +1428,11 @@ >Quux</a > a b c -> (<span class="keyword" >forall</span - > a0. a0 -> a0) -> (b0, <span class="keyword" + > a1. a1 -> a1) -> (b0, <span class="keyword" >forall</span - > c0. c0 -> <a href="#" title="Instances" + > c1. c1 -> <a href="#" title="Instances" >Quux</a - > a b c) -> (b0, c1) <a href="#" class="selflink" + > a b c) -> (b0, c0) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1444,7 +1444,7 @@ >Quux</a > a b c) -> (<span class="keyword" >forall</span - > b2. b2 -> <a href="#" title="Instances" + > b1. b1 -> <a href="#" title="Instances" >Quux</a > a b c) -> [(b0, <a href="#" title="Instances" >Quux</a @@ -1500,9 +1500,9 @@ >baz</a > :: (a, b, c) -> (<span class="keyword" >forall</span - > a0. a0 -> a0) -> (b0, <span class="keyword" + > a1. a1 -> a1) -> (b0, <span class="keyword" >forall</span - > c0. c0 -> (a, b, c)) -> (b0, c1) <a href="#" class="selflink" + > c1. c1 -> (a, b, c)) -> (b0, c0) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1512,7 +1512,7 @@ >forall</span > b1. b1 -> (a, b, c)) -> (<span class="keyword" >forall</span - > b2. b2 -> (a, b, c)) -> [(b0, (a, b, c))] <a href="#" class="selflink" + > b1. b1 -> (a, b, c)) -> [(b0, (a, b, c))] <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1562,9 +1562,9 @@ >baz</a > :: (a, [b], b, a) -> (<span class="keyword" >forall</span - > a0. a0 -> a0) -> (b0, <span class="keyword" + > a1. a1 -> a1) -> (b0, <span class="keyword" >forall</span - > c. c -> (a, [b], b, a)) -> (b0, c) <a href="#" class="selflink" + > c1. c1 -> (a, [b], b, a)) -> (b0, c) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1574,7 +1574,7 @@ >forall</span > b1. b1 -> (a, [b], b, a)) -> (<span class="keyword" >forall</span - > b2. b2 -> (a, [b], b, a)) -> [(b0, (a, [b], b, a))] <a href="#" class="selflink" + > b1. b1 -> (a, [b], b, a)) -> [(b0, (a, [b], b, a))] <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1586,7 +1586,7 @@ >forall</span > b2. b2 -> (a, [b], b, a)) -> c) -> <span class="keyword" >forall</span - > c. c -> b0 <a href="#" class="selflink" + > c1. c1 -> b0 <a href="#" class="selflink" >#</a ></p ></div @@ -1844,11 +1844,11 @@ >Quux</a > a b c -> (<span class="keyword" >forall</span - > a0. a0 -> a0) -> (b0, <span class="keyword" + > a1. a1 -> a1) -> (b0, <span class="keyword" >forall</span - > c0. c0 -> <a href="#" title="Instances" + > c1. c1 -> <a href="#" title="Instances" >Quux</a - > a b c) -> (b0, c1) <a href="#" class="selflink" + > a b c) -> (b0, c0) <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1860,7 +1860,7 @@ >Quux</a > a b c) -> (<span class="keyword" >forall</span - > b2. b2 -> <a href="#" title="Instances" + > b1. b1 -> <a href="#" title="Instances" >Quux</a > a b c) -> [(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 => a -> b <a href="#" class="selflink" + > :: a <a href="#" title="Data.Type.Equality" + >~</a + > b => a -> 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) => a -> c <a href="#" class="selflink" + > :: (a <a href="#" title="Data.Type.Equality" + >~</a + > b, b <a href="#" title="Data.Type.Equality" + >~</a + > c) => a -> c <a href="#" class="selflink" >#</a ></p ></div |