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