diff options
Diffstat (limited to 'html-test/ref/TypeFamilies.html')
| -rw-r--r-- | html-test/ref/TypeFamilies.html | 834 |
1 files changed, 449 insertions, 385 deletions
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index f6fa43c7..a8456b6b 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -211,11 +211,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><div id="section.i:X" class="show" ><table ><tr - ><td class="src" - ><a href="" - >Assoc</a - > * <a href="" - >X</a + ><td class="src clearfix" + ><span class="inst-left" + ><a href="" + >Assoc</a + > * <a href="" + >X</a + ></span ></td ><td class="doc" ><p @@ -223,11 +225,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><a href="" - >Test</a - > * <a href="" - >X</a + ><td class="src clearfix" + ><span class="inst-left" + ><a href="" + >Test</a + > * <a href="" + >X</a + ></span ></td ><td class="doc" ><p @@ -235,29 +239,33 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><a href="" - >(><)</a - > <a href="" - >X</a - > <a href="" - >XX</a - > <a href="" - >XXX</a + ><td class="src clearfix" + ><span class="inst-left" + ><a href="" + >(><)</a + > <a href="" + >X</a + > <a href="" + >XX</a + > <a href="" + >XXX</a + ></span ></td ><td class="doc empty" > </td ></tr ><tr - ><td class="src" - ><span class="keyword" - >type</span - > <a href="" - >Foo</a - > <a href="" - >X</a - > = <a href="" - >Y</a + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >type</span + > <a href="" + >Foo</a + > <a href="" + >X</a + > = <a href="" + >Y</a + ></span ></td ><td class="doc" ><p @@ -265,69 +273,75 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><span class="keyword" - >data</span - > <a href="" - >AssocD</a - > * <a href="" - >X</a - > = <a name="v:AssocX" class="def" - >AssocX</a + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >data</span + > <a href="" + >AssocD</a + > * <a href="" + >X</a + > = <a name="v:AssocX" class="def" + >AssocX</a + ></span ></td ><td class="doc empty" > </td ></tr ><tr - ><td class="src" - ><span class="keyword" - >type</span - > <a href="" - >AssocT</a - > * <a href="" - >X</a - > = <a href="" - >Foo</a - > * <a href="" - >X</a + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >type</span + > <a href="" + >AssocT</a + > * <a href="" + >X</a + > = <a href="" + >Foo</a + > * <a href="" + >X</a + ></span ></td ><td class="doc empty" > </td ></tr ><tr - ><td class="src" - ><span class="keyword" - >data</span - > <a href="" - >Bat</a - > * <a href="" - >X</a - > <ul class="inst" - ><li class="inst" - >= <a name="v:BatX" class="def" - >BatX</a - > <a href="" - >X</a - ></li + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >data</span + > <a href="" + >Bat</a + > * <a href="" + >X</a + > <ul class="inst" ><li class="inst" - >| <a name="v:BatXX" class="def" - >BatXX</a - > { <ul class="subs" - ><li - ><a name="v:aaa" class="def" - >aaa</a - > :: <a href="" - >X</a - ></li + >= <a name="v:BatX" class="def" + >BatX</a + > <a href="" + >X</a + ></li + ><li class="inst" + >| <a name="v:BatXX" class="def" + >BatXX</a + > { <ul class="subs" ><li - ><a name="v:bbb" class="def" - >bbb</a - > :: <a href="" - >Y</a - ></li - ></ul - > }</li - ></ul + ><a name="v:aaa" class="def" + >aaa</a + > :: <a href="" + >X</a + ></li + ><li + ><a name="v:bbb" class="def" + >bbb</a + > :: <a href="" + >Y</a + ></li + ></ul + > }</li + ></ul + ></span ></td ><td class="doc" ><p @@ -335,15 +349,17 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><span class="keyword" - >type</span - > <a href="" - >Foo</a - > * <a href="" - >X</a - > = <a href="" - >Y</a + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >type</span + > <a href="" + >Foo</a + > * <a href="" + >X</a + > = <a href="" + >Y</a + ></span ></td ><td class="doc" ><p @@ -351,33 +367,37 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><span class="keyword" - >type</span - > <a href="" - >(<>)</a - > * <a href="" - >X</a - > a = <a href="" - >X</a + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >type</span + > <a href="" + >(<>)</a + > * <a href="" + >X</a + > a = <a href="" + >X</a + ></span ></td ><td class="doc empty" > </td ></tr ><tr - ><td class="src" - ><span class="keyword" - >type</span - > <a href="" - >(<>)</a - > <a href="" - >X</a - > <a href="" - >XXX</a - > <a href="" - >XX</a - > = <a href="" - >X</a + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >type</span + > <a href="" + >(<>)</a + > <a href="" + >X</a + > <a href="" + >XXX</a + > <a href="" + >XX</a + > = <a href="" + >X</a + ></span ></td ><td class="doc empty" > </td @@ -403,11 +423,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><div id="section.i:Y" class="show" ><table ><tr - ><td class="src" - ><a href="" - >Assoc</a - > * <a href="" - >Y</a + ><td class="src clearfix" + ><span class="inst-left" + ><a href="" + >Assoc</a + > * <a href="" + >Y</a + ></span ></td ><td class="doc" ><p @@ -415,11 +437,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><a href="" - >Test</a - > * <a href="" - >Y</a + ><td class="src clearfix" + ><span class="inst-left" + ><a href="" + >Test</a + > * <a href="" + >Y</a + ></span ></td ><td class="doc" ><p @@ -427,59 +451,67 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><span class="keyword" - >data</span - > <a href="" - >Bar</a - > <a href="" - >Y</a + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >data</span + > <a href="" + >Bar</a + > <a href="" + >Y</a + ></span ></td ><td class="doc empty" > </td ></tr ><tr - ><td class="src" - ><span class="keyword" - >data</span - > <a href="" - >AssocD</a - > * <a href="" - >Y</a - > = <a name="v:AssocY" class="def" - >AssocY</a + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >data</span + > <a href="" + >AssocD</a + > * <a href="" + >Y</a + > = <a name="v:AssocY" class="def" + >AssocY</a + ></span ></td ><td class="doc empty" > </td ></tr ><tr - ><td class="src" - ><span class="keyword" - >type</span - > <a href="" - >AssocT</a - > * <a href="" - >Y</a - > = <a href="" - >Bat</a - > * <a href="" - >Y</a + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >type</span + > <a href="" + >AssocT</a + > * <a href="" + >Y</a + > = <a href="" + >Bat</a + > * <a href="" + >Y</a + ></span ></td ><td class="doc empty" > </td ></tr ><tr - ><td class="src" - ><span class="keyword" - >data</span - > <a href="" - >Bat</a - > * <a href="" - >Y</a - > = <a name="v:BatY" class="def" - >BatY</a - > <a href="" - >Y</a + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >data</span + > <a href="" + >Bat</a + > * <a href="" + >Y</a + > = <a name="v:BatY" class="def" + >BatY</a + > <a href="" + >Y</a + ></span ></td ><td class="doc" ><p @@ -487,15 +519,17 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><span class="keyword" - >type</span - > <a href="" - >Foo</a - > * <a href="" - >Y</a - > = <a href="" - >X</a + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >type</span + > <a href="" + >Foo</a + > * <a href="" + >Y</a + > = <a href="" + >X</a + ></span ></td ><td class="doc" ><p @@ -503,14 +537,16 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><span class="keyword" - >type</span - > <a href="" - >(<>)</a - > * <a href="" - >Y</a - > a = a</td + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >type</span + > <a href="" + >(<>)</a + > * <a href="" + >Y</a + > a = a</span + ></td ><td class="doc empty" > </td ></tr @@ -557,53 +593,55 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><div id="section.i:Z" class="show" ><table ><tr - ><td class="src" - ><span class="keyword" - >data</span - > <a href="" - >Bat</a - > <a href="" - >Z</a - > <span class="keyword" - >where</span - ><ul class="inst" - ><li class="inst" - ><a name="v:BatZ1" class="def" - >BatZ1</a - > :: <a href="" - >Z</a - > -> <a href="" - >Bat</a - > <a href="" - >Z</a - > <a href="" - >ZA</a - ></li + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >data</span + > <a href="" + >Bat</a + > <a href="" + >Z</a + > <span class="keyword" + >where</span + ><ul class="inst" ><li class="inst" - ><a name="v:BatZ2" class="def" - >BatZ2</a - > :: { <ul class="subs" - ><li - ><a name="v:batx" class="def" - >batx</a - > :: <a href="" - >X</a - ></li + ><a name="v:BatZ1" class="def" + >BatZ1</a + > :: <a href="" + >Z</a + > -> <a href="" + >Bat</a + > <a href="" + >Z</a + > <a href="" + >ZA</a + ></li + ><li class="inst" + ><a name="v:BatZ2" class="def" + >BatZ2</a + > :: { <ul class="subs" ><li - ><a name="v:baty" class="def" - >baty</a - > :: <a href="" - >Y</a - ></li - ></ul - > } -> <a href="" - >Bat</a - > <a href="" - >Z</a - > <a href="" - >ZB</a - ></li - ></ul + ><a name="v:batx" class="def" + >batx</a + > :: <a href="" + >X</a + ></li + ><li + ><a name="v:baty" class="def" + >baty</a + > :: <a href="" + >Y</a + ></li + ></ul + > } -> <a href="" + >Bat</a + > <a href="" + >Z</a + > <a href="" + >ZB</a + ></li + ></ul + ></span ></td ><td class="doc" ><p @@ -631,11 +669,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><div id="section.i:Test" class="show" ><table ><tr - ><td class="src" - ><a href="" - >Test</a - > * <a href="" - >Y</a + ><td class="src clearfix" + ><span class="inst-left" + ><a href="" + >Test</a + > * <a href="" + >Y</a + ></span ></td ><td class="doc" ><p @@ -643,11 +683,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><a href="" - >Test</a - > * <a href="" - >X</a + ><td class="src clearfix" + ><span class="inst-left" + ><a href="" + >Test</a + > * <a href="" + >X</a + ></span ></td ><td class="doc" ><p @@ -675,15 +717,17 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><div id="section.i:Foo" class="show" ><table ><tr - ><td class="src" - ><span class="keyword" - >type</span - > <a href="" - >Foo</a - > * <a href="" - >Y</a - > = <a href="" - >X</a + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >type</span + > <a href="" + >Foo</a + > * <a href="" + >Y</a + > = <a href="" + >X</a + ></span ></td ><td class="doc" ><p @@ -691,15 +735,17 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><span class="keyword" - >type</span - > <a href="" - >Foo</a - > * <a href="" - >X</a - > = <a href="" - >Y</a + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >type</span + > <a href="" + >Foo</a + > * <a href="" + >X</a + > = <a href="" + >Y</a + ></span ></td ><td class="doc" ><p @@ -727,53 +773,55 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><div id="section.i:Bat" class="show" ><table ><tr - ><td class="src" - ><span class="keyword" - >data</span - > <a href="" - >Bat</a - > <a href="" - >Z</a - > <span class="keyword" - >where</span - ><ul class="inst" - ><li class="inst" - ><a name="v:BatZ1" class="def" - >BatZ1</a - > :: <a href="" - >Z</a - > -> <a href="" - >Bat</a - > <a href="" - >Z</a - > <a href="" - >ZA</a - ></li + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >data</span + > <a href="" + >Bat</a + > <a href="" + >Z</a + > <span class="keyword" + >where</span + ><ul class="inst" ><li class="inst" - ><a name="v:BatZ2" class="def" - >BatZ2</a - > :: { <ul class="subs" - ><li - ><a name="v:batx" class="def" - >batx</a - > :: <a href="" - >X</a - ></li + ><a name="v:BatZ1" class="def" + >BatZ1</a + > :: <a href="" + >Z</a + > -> <a href="" + >Bat</a + > <a href="" + >Z</a + > <a href="" + >ZA</a + ></li + ><li class="inst" + ><a name="v:BatZ2" class="def" + >BatZ2</a + > :: { <ul class="subs" ><li - ><a name="v:baty" class="def" - >baty</a - > :: <a href="" - >Y</a - ></li - ></ul - > } -> <a href="" - >Bat</a - > <a href="" - >Z</a - > <a href="" - >ZB</a - ></li - ></ul + ><a name="v:batx" class="def" + >batx</a + > :: <a href="" + >X</a + ></li + ><li + ><a name="v:baty" class="def" + >baty</a + > :: <a href="" + >Y</a + ></li + ></ul + > } -> <a href="" + >Bat</a + > <a href="" + >Z</a + > <a href="" + >ZB</a + ></li + ></ul + ></span ></td ><td class="doc" ><p @@ -781,17 +829,19 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><span class="keyword" - >data</span - > <a href="" - >Bat</a - > * <a href="" - >Y</a - > = <a name="v:BatY" class="def" - >BatY</a - > <a href="" - >Y</a + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >data</span + > <a href="" + >Bat</a + > * <a href="" + >Y</a + > = <a name="v:BatY" class="def" + >BatY</a + > <a href="" + >Y</a + ></span ></td ><td class="doc" ><p @@ -799,39 +849,41 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><span class="keyword" - >data</span - > <a href="" - >Bat</a - > * <a href="" - >X</a - > <ul class="inst" - ><li class="inst" - >= <a name="v:BatX" class="def" - >BatX</a - > <a href="" - >X</a - ></li + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >data</span + > <a href="" + >Bat</a + > * <a href="" + >X</a + > <ul class="inst" ><li class="inst" - >| <a name="v:BatXX" class="def" - >BatXX</a - > { <ul class="subs" - ><li - ><a name="v:aaa" class="def" - >aaa</a - > :: <a href="" - >X</a - ></li + >= <a name="v:BatX" class="def" + >BatX</a + > <a href="" + >X</a + ></li + ><li class="inst" + >| <a name="v:BatXX" class="def" + >BatXX</a + > { <ul class="subs" ><li - ><a name="v:bbb" class="def" - >bbb</a - > :: <a href="" - >Y</a - ></li - ></ul - > }</li - ></ul + ><a name="v:aaa" class="def" + >aaa</a + > :: <a href="" + >X</a + ></li + ><li + ><a name="v:bbb" class="def" + >bbb</a + > :: <a href="" + >Y</a + ></li + ></ul + > }</li + ></ul + ></span ></td ><td class="doc" ><p @@ -883,11 +935,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><div id="section.i:Assoc" class="show" ><table ><tr - ><td class="src" - ><a href="" - >Assoc</a - > * <a href="" - >Y</a + ><td class="src clearfix" + ><span class="inst-left" + ><a href="" + >Assoc</a + > * <a href="" + >Y</a + ></span ></td ><td class="doc" ><p @@ -895,11 +949,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><a href="" - >Assoc</a - > * <a href="" - >X</a + ><td class="src clearfix" + ><span class="inst-left" + ><a href="" + >Assoc</a + > * <a href="" + >X</a + ></span ></td ><td class="doc" ><p @@ -963,45 +1019,51 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><div id="section.i:-60--62-" class="show" ><table ><tr - ><td class="src" - ><span class="keyword" - >type</span - > <a href="" - >(<>)</a - > * <a href="" - >Y</a - > a = a</td + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >type</span + > <a href="" + >(<>)</a + > * <a href="" + >Y</a + > a = a</span + ></td ><td class="doc empty" > </td ></tr ><tr - ><td class="src" - ><span class="keyword" - >type</span - > <a href="" - >(<>)</a - > * <a href="" - >X</a - > a = <a href="" - >X</a + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >type</span + > <a href="" + >(<>)</a + > * <a href="" + >X</a + > a = <a href="" + >X</a + ></span ></td ><td class="doc empty" > </td ></tr ><tr - ><td class="src" - ><span class="keyword" - >type</span - > <a href="" - >(<>)</a - > <a href="" - >X</a - > <a href="" - >XXX</a - > <a href="" - >XX</a - > = <a href="" - >X</a + ><td class="src clearfix" + ><span class="inst-left" + ><span class="keyword" + >type</span + > <a href="" + >(<>)</a + > <a href="" + >X</a + > <a href="" + >XXX</a + > <a href="" + >XX</a + > = <a href="" + >X</a + ></span ></td ><td class="doc empty" > </td @@ -1023,15 +1085,17 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><div id="section.i:-62--60-" class="show" ><table ><tr - ><td class="src" - ><a href="" - >(><)</a - > <a href="" - >X</a - > <a href="" - >XX</a - > <a href="" - >XXX</a + ><td class="src clearfix" + ><span class="inst-left" + ><a href="" + >(><)</a + > <a href="" + >X</a + > <a href="" + >XX</a + > <a href="" + >XXX</a + ></span ></td ><td class="doc empty" > </td @@ -1046,7 +1110,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><p >Produced by <a href="" >Haddock</a - > version 2.15.0</p + > version 2.16.1</p ></div ></body ></html |