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.html182
1 files changed, 143 insertions, 39 deletions
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index a55a55ad..f96ad89e 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -169,8 +169,10 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html
><p class="src"
><span class="keyword"
>data</span
- > <a href="#" id="t:X" class="def"
+ > <a id="t:X" class="def"
>X</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="doc"
><p
@@ -182,7 +184,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
><table
><tr
><td class="src"
- ><a href="#" id="v:X" class="def"
+ ><a id="v:X" class="def"
>X</a
></td
><td class="doc"
@@ -192,7 +194,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
></tr
><tr
><td class="src"
- ><a href="#" id="v:XX" class="def"
+ ><a id="v:XX" class="def"
>XX</a
></td
><td class="doc"
@@ -202,7 +204,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
></tr
><tr
><td class="src"
- ><a href="#" id="v:XXX" class="def"
+ ><a id="v:XXX" class="def"
>XXX</a
></td
><td class="doc"
@@ -231,6 +233,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> <a href="#"
>XXX</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -253,6 +257,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> <a href="#"
>X</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc"
><p
@@ -276,6 +282,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>X</a
>) :: <a href="#"
>*</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><p class="src"
><span class="keyword"
@@ -288,6 +296,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>X</a
>) :: <a href="#"
>*</a
+ > <a href="#" class="selflink"
+ >#</a
></p
></div
></div
@@ -305,6 +315,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> <a href="#"
>X</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc"
><p
@@ -329,6 +341,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> = <a href="#"
>Y</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -349,6 +363,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> = <a href="#"
>X</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -364,9 +380,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>*</a
> <a href="#"
>X</a
- > = <a href="#" id="v:AssocX" class="def"
+ > = <a id="v:AssocX" class="def"
>AssocX</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -389,6 +407,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> <a href="#"
>X</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -406,23 +426,23 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>X</a
> <ul class="inst"
><li class="inst"
- >= <a href="#" id="v:BatX" class="def"
+ >= <a id="v:BatX" class="def"
>BatX</a
> <a href="#"
>X</a
></li
><li class="inst"
- >| <a href="#" id="v:BatXX" class="def"
+ >| <a id="v:BatXX" class="def"
>BatXX</a
> { <ul class="subs"
><li
- ><a href="#" id="v:aaa" class="def"
+ ><a id="v:aaa" class="def"
>aaa</a
> :: <a href="#"
>X</a
></li
><li
- ><a href="#" id="v:bbb" class="def"
+ ><a id="v:bbb" class="def"
>bbb</a
> :: <a href="#"
>Y</a
@@ -431,6 +451,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> }</li
></ul
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc"
><p
@@ -451,6 +473,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> = <a href="#"
>Y</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -469,6 +493,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> a = <a href="#"
>X</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -481,8 +507,10 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
><p class="src"
><span class="keyword"
>data</span
- > <a href="#" id="t:Y" class="def"
+ > <a id="t:Y" class="def"
>Y</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="doc"
><p
@@ -505,6 +533,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> <a href="#"
>Y</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc"
><p
@@ -528,6 +558,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>Y</a
>) :: <a href="#"
>*</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><p class="src"
><span class="keyword"
@@ -540,6 +572,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>Y</a
>) :: <a href="#"
>*</a
+ > <a href="#" class="selflink"
+ >#</a
></p
></div
></div
@@ -557,6 +591,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> <a href="#"
>Y</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc"
><p
@@ -579,6 +615,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> <a href="#"
>Y</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -594,9 +632,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>*</a
> <a href="#"
>Y</a
- > = <a href="#" id="v:AssocY" class="def"
+ > = <a id="v:AssocY" class="def"
>AssocY</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -619,6 +659,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> <a href="#"
>Y</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -634,11 +676,13 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>*</a
> <a href="#"
>Y</a
- > = <a href="#" id="v:BatY" class="def"
+ > = <a id="v:BatY" class="def"
>BatY</a
> <a href="#"
>Y</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc"
><p
@@ -659,6 +703,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> = <a href="#"
>X</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -675,6 +721,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> <a href="#"
>Y</a
> a = a</span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -687,8 +735,10 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
><p class="src"
><span class="keyword"
>data</span
- > <a href="#" id="t:Z" class="def"
+ > <a id="t:Z" class="def"
>Z</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="doc"
><p
@@ -700,7 +750,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
><table
><tr
><td class="src"
- ><a href="#" id="v:ZA" class="def"
+ ><a id="v:ZA" class="def"
>ZA</a
></td
><td class="doc empty"
@@ -708,7 +758,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
></tr
><tr
><td class="src"
- ><a href="#" id="v:ZB" class="def"
+ ><a id="v:ZB" class="def"
>ZB</a
></td
><td class="doc empty"
@@ -734,7 +784,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>where</span
><ul class="inst"
><li class="inst"
- ><a href="#" id="v:BatZ1" class="def"
+ ><a id="v:BatZ1" class="def"
>BatZ1</a
> :: <a href="#"
>Bat</a
@@ -744,7 +794,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>ZA</a
></li
><li class="inst"
- ><a href="#" id="v:BatZ2" class="def"
+ ><a id="v:BatZ2" class="def"
>BatZ2</a
> :: <a href="#"
>Bat</a
@@ -755,6 +805,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
></li
></ul
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc"
><p
@@ -769,9 +821,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
><p class="src"
><span class="keyword"
>class</span
- > <a href="#" id="t:Test" class="def"
+ > <a id="t:Test" class="def"
>Test</a
- > a</p
+ > a <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>Doc for: class Test a</p
@@ -793,6 +847,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> <a href="#"
>Y</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc"
><p
@@ -817,6 +873,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> <a href="#"
>X</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc"
><p
@@ -837,9 +895,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
><p class="src"
><span class="keyword"
>type family</span
- > <a href="#" id="t:Foo" class="def"
+ > <a id="t:Foo" class="def"
>Foo</a
- > a :: k</p
+ > a :: k <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>Doc for: type family Foo a</p
@@ -863,6 +923,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> = <a href="#"
>X</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -881,6 +943,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> = <a href="#"
>Y</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -893,10 +957,12 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
><p class="src"
><span class="keyword"
>data family</span
- > <a href="#" id="t:Bat" class="def"
+ > <a id="t:Bat" class="def"
>Bat</a
> a :: <a href="#"
>*</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="doc"
><p
@@ -920,7 +986,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>where</span
><ul class="inst"
><li class="inst"
- ><a href="#" id="v:BatZ1" class="def"
+ ><a id="v:BatZ1" class="def"
>BatZ1</a
> :: <a href="#"
>Bat</a
@@ -930,7 +996,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>ZA</a
></li
><li class="inst"
- ><a href="#" id="v:BatZ2" class="def"
+ ><a id="v:BatZ2" class="def"
>BatZ2</a
> :: <a href="#"
>Bat</a
@@ -941,6 +1007,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
></li
></ul
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc"
><p
@@ -958,11 +1026,13 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>*</a
> <a href="#"
>Y</a
- > = <a href="#" id="v:BatY" class="def"
+ > = <a id="v:BatY" class="def"
>BatY</a
> <a href="#"
>Y</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc"
><p
@@ -982,23 +1052,23 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>X</a
> <ul class="inst"
><li class="inst"
- >= <a href="#" id="v:BatX" class="def"
+ >= <a id="v:BatX" class="def"
>BatX</a
> <a href="#"
>X</a
></li
><li class="inst"
- >| <a href="#" id="v:BatXX" class="def"
+ >| <a id="v:BatXX" class="def"
>BatXX</a
> { <ul class="subs"
><li
- ><a href="#" id="v:aaa" class="def"
+ ><a id="v:aaa" class="def"
>aaa</a
> :: <a href="#"
>X</a
></li
><li
- ><a href="#" id="v:bbb" class="def"
+ ><a id="v:bbb" class="def"
>bbb</a
> :: <a href="#"
>Y</a
@@ -1007,6 +1077,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> }</li
></ul
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc"
><p
@@ -1021,9 +1093,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
><p class="src"
><span class="keyword"
>class</span
- > <a href="#" id="t:Assoc" class="def"
+ > <a id="t:Assoc" class="def"
>Assoc</a
- > a</p
+ > a <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>Doc for: class Assoc a</p
@@ -1034,10 +1108,12 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
><p class="src"
><span class="keyword"
>data</span
- > <a href="#" id="t:AssocD" class="def"
+ > <a id="t:AssocD" class="def"
>AssocD</a
> a :: <a href="#"
>*</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="doc"
><p
@@ -1046,10 +1122,12 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
><p class="src"
><span class="keyword"
>type</span
- > <a href="#" id="t:AssocT" class="def"
+ > <a id="t:AssocT" class="def"
>AssocT</a
> a :: <a href="#"
>*</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><div class="doc"
><p
@@ -1073,6 +1151,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> <a href="#"
>Y</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc"
><p
@@ -1096,6 +1176,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>Y</a
>) :: <a href="#"
>*</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><p class="src"
><span class="keyword"
@@ -1108,6 +1190,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>Y</a
>) :: <a href="#"
>*</a
+ > <a href="#" class="selflink"
+ >#</a
></p
></div
></div
@@ -1125,6 +1209,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> <a href="#"
>X</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc"
><p
@@ -1148,6 +1234,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>X</a
>) :: <a href="#"
>*</a
+ > <a href="#" class="selflink"
+ >#</a
></p
><p class="src"
><span class="keyword"
@@ -1160,6 +1248,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
>X</a
>) :: <a href="#"
>*</a
+ > <a href="#" class="selflink"
+ >#</a
></p
></div
></div
@@ -1173,9 +1263,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
><p class="src"
><span class="keyword"
>type family</span
- > <a href="#" id="t:Bar" class="def"
+ > <a id="t:Bar" class="def"
>Bar</a
- > b</p
+ > b <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="doc"
><p
>Doc for: type family Bar b</p
@@ -1213,9 +1305,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
><p class="src"
><span class="keyword"
>type family</span
- > a <a href="#" id="t:-60--62-" class="def"
+ > a <a id="t:-60--62-" class="def"
>&lt;&gt;</a
- > b :: k</p
+ > b :: k <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="subs instances"
><p id="control.i:-60--62-" class="caption collapser" onclick="toggleSection('i:-60--62-')"
>Instances</p
@@ -1237,6 +1331,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> = <a href="#"
>X</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -1253,6 +1349,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> <a href="#"
>Y</a
> a = a</span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -1271,6 +1369,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> a = <a href="#"
>X</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td
@@ -1283,9 +1383,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
><p class="src"
><span class="keyword"
>class</span
- > a <a href="#" id="t:-62--60-" class="def"
+ > a <a id="t:-62--60-" class="def"
>&gt;&lt;</a
- > b</p
+ > b <a href="#" class="selflink"
+ >#</a
+ ></p
><div class="subs instances"
><p id="control.i:-62--60-" class="caption collapser" onclick="toggleSection('i:-62--60-')"
>Instances</p
@@ -1305,6 +1407,8 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
> <a href="#"
>XXX</a
></span
+ > <a href="#" class="selflink"
+ >#</a
></td
><td class="doc empty"
></td