aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--html-test/ref/TypeFamilies.html210
1 files changed, 105 insertions, 105 deletions
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 15eed97d..11da315e 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -222,37 +222,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-62--60-:1"
- ></span
- > '<a href="#" title="TypeFamilies"
- >XX</a
- > <a href="#" title="TypeFamilies"
- >&gt;&lt;</a
- > '<a href="#" title="TypeFamilies"
- >XXX</a
- ></span
- > <a href="#" class="selflink"
- >#</a
- ></td
- ><td class="doc empty"
- >&nbsp;</td
- ></tr
- ><tr
- ><td colspan="2"
- ><details id="i:id:X:-62--60-:1"
- ><summary class="hide-when-js-enabled"
- >Instance details</summary
- ><p
- >Defined in <a href="#"
- >TypeFamilies</a
- ></p
- ></details
- ></td
- ></tr
- ><tr
- ><td class="src clearfix"
- ><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Assoc:2"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Assoc:1"
></span
> <a href="#" title="TypeFamilies"
>Assoc</a
@@ -269,7 +239,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:Assoc:2"
+ ><details id="i:id:X:Assoc:1"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -306,7 +276,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Test:3"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Test:2"
></span
> <a href="#" title="TypeFamilies"
>Test</a
@@ -323,7 +293,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:Test:3"
+ ><details id="i:id:X:Test:2"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -336,68 +306,56 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:4"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-62--60-:3"
></span
- > <span class="keyword"
- >type</span
- > <a href="#" title="TypeFamilies2"
- >Foo</a
+ > '<a href="#" title="TypeFamilies"
+ >XX</a
> <a href="#" title="TypeFamilies"
- >X</a
+ >&gt;&lt;</a
+ > '<a href="#" title="TypeFamilies"
+ >XXX</a
></span
> <a href="#" class="selflink"
>#</a
></td
- ><td class="doc"
- ><p
- >External instance</p
- ></td
+ ><td class="doc empty"
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:Foo:4"
+ ><details id="i:id:X:-62--60-:3"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
>Defined in <a href="#"
>TypeFamilies</a
></p
- > <div class="src"
- ><span class="keyword"
- >type</span
- > <a href="#" title="TypeFamilies2"
- >Foo</a
- > <a href="#" title="TypeFamilies"
- >X</a
- > = <a href="#" title="TypeFamilies"
- >Y</a
- ></div
></details
></td
></tr
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:5"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:4"
></span
> <span class="keyword"
>type</span
- > '<a href="#" title="TypeFamilies"
- >XXX</a
+ > <a href="#" title="TypeFamilies2"
+ >Foo</a
> <a href="#" title="TypeFamilies"
- >&lt;&gt;</a
- > '<a href="#" title="TypeFamilies"
- >XX</a
+ >X</a
></span
> <a href="#" class="selflink"
>#</a
></td
- ><td class="doc empty"
- >&nbsp;</td
+ ><td class="doc"
+ ><p
+ >External instance</p
+ ></td
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:-60--62-:5"
+ ><details id="i:id:X:Foo:4"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -407,14 +365,12 @@
> <div class="src"
><span class="keyword"
>type</span
- > '<a href="#" title="TypeFamilies"
- >XXX</a
+ > <a href="#" title="TypeFamilies2"
+ >Foo</a
> <a href="#" title="TypeFamilies"
- >&lt;&gt;</a
- > '<a href="#" title="TypeFamilies"
- >XX</a
- > = '<a href="#" title="TypeFamilies"
>X</a
+ > = <a href="#" title="TypeFamilies"
+ >Y</a
></div
></details
></td
@@ -422,7 +378,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocD:6"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocD:5"
></span
> <span class="keyword"
>data</span
@@ -439,7 +395,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:AssocD:6"
+ ><details id="i:id:X:AssocD:5"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -462,7 +418,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocT:7"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocT:6"
></span
> <span class="keyword"
>type</span
@@ -479,7 +435,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:AssocT:7"
+ ><details id="i:id:X:AssocT:6"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -506,7 +462,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Bat:8"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Bat:7"
></span
> <span class="keyword"
>data</span
@@ -525,7 +481,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:Bat:8"
+ ><details id="i:id:X:Bat:7"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -572,7 +528,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:9"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:8"
></span
> <span class="keyword"
>type</span
@@ -591,7 +547,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:Foo:9"
+ ><details id="i:id:X:Foo:8"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -614,7 +570,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:10"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:9"
></span
> <span class="keyword"
>type</span
@@ -633,7 +589,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:-60--62-:10"
+ ><details id="i:id:X:-60--62-:9"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -655,6 +611,50 @@
></details
></td
></tr
+ ><tr
+ ><td class="src clearfix"
+ ><span class="inst-left"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:10"
+ ></span
+ > <span class="keyword"
+ >type</span
+ > '<a href="#" title="TypeFamilies"
+ >XXX</a
+ > <a href="#" title="TypeFamilies"
+ >&lt;&gt;</a
+ > '<a href="#" title="TypeFamilies"
+ >XX</a
+ ></span
+ > <a href="#" class="selflink"
+ >#</a
+ ></td
+ ><td class="doc empty"
+ >&nbsp;</td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><details id="i:id:X:-60--62-:10"
+ ><summary class="hide-when-js-enabled"
+ >Instance details</summary
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
+ ><span class="keyword"
+ >type</span
+ > '<a href="#" title="TypeFamilies"
+ >XXX</a
+ > <a href="#" title="TypeFamilies"
+ >&lt;&gt;</a
+ > '<a href="#" title="TypeFamilies"
+ >XX</a
+ > = '<a href="#" title="TypeFamilies"
+ >X</a
+ ></div
+ ></details
+ ></td
+ ></tr
></table
></details
></div
@@ -1738,13 +1738,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
@@ -1763,15 +1763,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
@@ -1783,7 +1781,7 @@
> <span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
- >Y</a
+ >X</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> (a :: <a href="#" title="Data.Kind"
@@ -1808,12 +1806,14 @@
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
- >Y</a
+ >X</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> (a :: <a href="#" title="Data.Kind"
>Type</a
- >) = a</div
+ >) = <a href="#" title="TypeFamilies"
+ >X</a
+ ></div
></details
></td
></tr
@@ -1824,13 +1824,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
@@ -1849,13 +1849,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