diff options
Diffstat (limited to 'html-test/ref/TypeFamilies.html')
-rw-r--r-- | html-test/ref/TypeFamilies.html | 182 |
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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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("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" ><></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("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("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("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("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" >><</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("mini_TypeFamilies.html > <a href="#" >XXX</a ></span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td |