aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/TypeFamilies.html
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref/TypeFamilies.html')
-rw-r--r--html-test/ref/TypeFamilies.html196
1 files changed, 98 insertions, 98 deletions
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 7ca50972..29f67137 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -574,13 +574,13 @@
></span
> <span class="keyword"
>type</span
- > <a href="#" title="TypeFamilies"
- >X</a
+ > '<a href="#" title="TypeFamilies"
+ >XXX</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > (a :: <a href="#" title="Data.Kind"
- >Type</a
- >)</span
+ > '<a href="#" title="TypeFamilies"
+ >XX</a
+ ></span
> <a href="#" class="selflink"
>#</a
></td
@@ -599,13 +599,13 @@
> <div class="src"
><span class="keyword"
>type</span
- > <a href="#" title="TypeFamilies"
- >X</a
+ > '<a href="#" title="TypeFamilies"
+ >XXX</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > (a :: <a href="#" title="Data.Kind"
- >Type</a
- >) = <a href="#" title="TypeFamilies"
+ > '<a href="#" title="TypeFamilies"
+ >XX</a
+ > = '<a href="#" title="TypeFamilies"
>X</a
></div
></details
@@ -618,13 +618,13 @@
></span
> <span class="keyword"
>type</span
- > '<a href="#" title="TypeFamilies"
- >XXX</a
+ > <a href="#" title="TypeFamilies"
+ >X</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > '<a href="#" title="TypeFamilies"
- >XX</a
- ></span
+ > (a :: <a href="#" title="Data.Kind"
+ >Type</a
+ >)</span
> <a href="#" class="selflink"
>#</a
></td
@@ -643,13 +643,13 @@
> <div class="src"
><span class="keyword"
>type</span
- > '<a href="#" title="TypeFamilies"
- >XXX</a
+ > <a href="#" title="TypeFamilies"
+ >X</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > '<a href="#" title="TypeFamilies"
- >XX</a
- > = '<a href="#" title="TypeFamilies"
+ > (a :: <a href="#" title="Data.Kind"
+ >Type</a
+ >) = <a href="#" title="TypeFamilies"
>X</a
></div
></details
@@ -1151,14 +1151,14 @@
> <a href="#" title="TypeFamilies"
>Test</a
> <a href="#" title="TypeFamilies"
- >Y</a
+ >X</a
></span
> <a href="#" class="selflink"
>#</a
></td
><td class="doc"
><p
- >Doc for: instance Test Y</p
+ >Doc for: instance Test X</p
></td
></tr
><tr
@@ -1181,14 +1181,14 @@
> <a href="#" title="TypeFamilies"
>Test</a
> <a href="#" title="TypeFamilies"
- >X</a
+ >Y</a
></span
> <a href="#" class="selflink"
>#</a
></td
><td class="doc"
><p
- >Doc for: instance Test X</p
+ >Doc for: instance Test Y</p
></td
></tr
><tr
@@ -1237,14 +1237,14 @@
> <a href="#" title="TypeFamilies"
>Foo</a
> <a href="#" title="TypeFamilies"
- >Y</a
+ >X</a
></span
> <a href="#" class="selflink"
>#</a
></td
><td class="doc"
><p
- >Doc for: type instance Foo Y = X</p
+ >Doc for: type instance Foo X = Y</p
></td
></tr
><tr
@@ -1262,9 +1262,9 @@
> <a href="#" title="TypeFamilies"
>Foo</a
> <a href="#" title="TypeFamilies"
- >Y</a
- > = <a href="#" title="TypeFamilies"
>X</a
+ > = <a href="#" title="TypeFamilies"
+ >Y</a
></div
></details
></td
@@ -1279,14 +1279,14 @@
> <a href="#" title="TypeFamilies"
>Foo</a
> <a href="#" title="TypeFamilies"
- >X</a
+ >Y</a
></span
> <a href="#" class="selflink"
>#</a
></td
><td class="doc"
><p
- >Doc for: type instance Foo X = Y</p
+ >Doc for: type instance Foo Y = X</p
></td
></tr
><tr
@@ -1304,9 +1304,9 @@
> <a href="#" title="TypeFamilies"
>Foo</a
> <a href="#" title="TypeFamilies"
- >X</a
- > = <a href="#" title="TypeFamilies"
>Y</a
+ > = <a href="#" title="TypeFamilies"
+ >X</a
></div
></details
></td
@@ -1407,14 +1407,14 @@
> <a href="#" title="TypeFamilies"
>Bat</a
> <a href="#" title="TypeFamilies"
- >Y</a
+ >X</a
></span
> <a href="#" class="selflink"
>#</a
></td
><td class="doc"
><p
- >Doc for: data instance Bat Y</p
+ >Doc for: data instance Bat X</p
></td
></tr
><tr
@@ -1432,11 +1432,33 @@
> <a href="#" title="TypeFamilies"
>Bat</a
> <a href="#" title="TypeFamilies"
- >Y</a
- > = <a id="v:BatY" class="def"
- >BatY</a
- > <a href="#" title="TypeFamilies"
- >Y</a
+ >X</a
+ > <ul class="inst"
+ ><li class="inst"
+ >= <a id="v:BatX" class="def"
+ >BatX</a
+ > <a href="#" title="TypeFamilies"
+ >X</a
+ ></li
+ ><li class="inst"
+ >| <a id="v:BatXX" class="def"
+ >BatXX</a
+ > { <ul class="subs"
+ ><li
+ ><a id="v:aaa" class="def"
+ >aaa</a
+ > :: <a href="#" title="TypeFamilies"
+ >X</a
+ ></li
+ ><li
+ ><a id="v:bbb" class="def"
+ >bbb</a
+ > :: <a href="#" title="TypeFamilies"
+ >Y</a
+ ></li
+ ></ul
+ > }</li
+ ></ul
></div
></details
></td
@@ -1451,14 +1473,14 @@
> <a href="#" title="TypeFamilies"
>Bat</a
> <a href="#" title="TypeFamilies"
- >X</a
+ >Y</a
></span
> <a href="#" class="selflink"
>#</a
></td
><td class="doc"
><p
- >Doc for: data instance Bat X</p
+ >Doc for: data instance Bat Y</p
></td
></tr
><tr
@@ -1476,33 +1498,11 @@
> <a href="#" title="TypeFamilies"
>Bat</a
> <a href="#" title="TypeFamilies"
- >X</a
- > <ul class="inst"
- ><li class="inst"
- >= <a id="v:BatX" class="def"
- >BatX</a
- > <a href="#" title="TypeFamilies"
- >X</a
- ></li
- ><li class="inst"
- >| <a id="v:BatXX" class="def"
- >BatXX</a
- > { <ul class="subs"
- ><li
- ><a id="v:aaa" class="def"
- >aaa</a
- > :: <a href="#" title="TypeFamilies"
- >X</a
- ></li
- ><li
- ><a id="v:bbb" class="def"
- >bbb</a
- > :: <a href="#" title="TypeFamilies"
- >Y</a
- ></li
- ></ul
- > }</li
- ></ul
+ >Y</a
+ > = <a id="v:BatY" class="def"
+ >BatY</a
+ > <a href="#" title="TypeFamilies"
+ >Y</a
></div
></details
></td
@@ -1567,14 +1567,14 @@
> <a href="#" title="TypeFamilies"
>Assoc</a
> <a href="#" title="TypeFamilies"
- >Y</a
+ >X</a
></span
> <a href="#" class="selflink"
>#</a
></td
><td class="doc"
><p
- >Doc for: instance Assoc Y</p
+ >Doc for: instance Assoc X</p
></td
></tr
><tr
@@ -1595,7 +1595,7 @@
> <a href="#" title="TypeFamilies"
>AssocD</a
> <a href="#" title="TypeFamilies"
- >Y</a
+ >X</a
> <a href="#" class="selflink"
>#</a
></p
@@ -1605,7 +1605,7 @@
> <a href="#" title="TypeFamilies"
>AssocT</a
> <a href="#" title="TypeFamilies"
- >Y</a
+ >X</a
> <a href="#" class="selflink"
>#</a
></p
@@ -1621,14 +1621,14 @@
> <a href="#" title="TypeFamilies"
>Assoc</a
> <a href="#" title="TypeFamilies"
- >X</a
+ >Y</a
></span
> <a href="#" class="selflink"
>#</a
></td
><td class="doc"
><p
- >Doc for: instance Assoc X</p
+ >Doc for: instance Assoc Y</p
></td
></tr
><tr
@@ -1649,7 +1649,7 @@
> <a href="#" title="TypeFamilies"
>AssocD</a
> <a href="#" title="TypeFamilies"
- >X</a
+ >Y</a
> <a href="#" class="selflink"
>#</a
></p
@@ -1659,7 +1659,7 @@
> <a href="#" title="TypeFamilies"
>AssocT</a
> <a href="#" title="TypeFamilies"
- >X</a
+ >Y</a
> <a href="#" class="selflink"
>#</a
></p
@@ -1738,13 +1738,13 @@
></span
> <span class="keyword"
>type</span
- > <a href="#" title="TypeFamilies"
- >Y</a
+ > '<a href="#" title="TypeFamilies"
+ >XXX</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > (a :: <a href="#" title="Data.Kind"
- >Type</a
- >)</span
+ > '<a href="#" title="TypeFamilies"
+ >XX</a
+ ></span
> <a href="#" class="selflink"
>#</a
></td
@@ -1763,13 +1763,15 @@
> <div class="src"
><span class="keyword"
>type</span
- > <a href="#" title="TypeFamilies"
- >Y</a
+ > '<a href="#" title="TypeFamilies"
+ >XXX</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > (a :: <a href="#" title="Data.Kind"
- >Type</a
- >) = a</div
+ > '<a href="#" title="TypeFamilies"
+ >XX</a
+ > = '<a href="#" title="TypeFamilies"
+ >X</a
+ ></div
></details
></td
></tr
@@ -1824,13 +1826,13 @@
></span
> <span class="keyword"
>type</span
- > '<a href="#" title="TypeFamilies"
- >XXX</a
+ > <a href="#" title="TypeFamilies"
+ >Y</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > '<a href="#" title="TypeFamilies"
- >XX</a
- ></span
+ > (a :: <a href="#" title="Data.Kind"
+ >Type</a
+ >)</span
> <a href="#" class="selflink"
>#</a
></td
@@ -1849,15 +1851,13 @@
> <div class="src"
><span class="keyword"
>type</span
- > '<a href="#" title="TypeFamilies"
- >XXX</a
+ > <a href="#" title="TypeFamilies"
+ >Y</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > '<a href="#" title="TypeFamilies"
- >XX</a
- > = '<a href="#" title="TypeFamilies"
- >X</a
- ></div
+ > (a :: <a href="#" title="Data.Kind"
+ >Type</a
+ >) = a</div
></details
></td
></tr