diff options
Diffstat (limited to 'html-test/ref/TypeFamilies.html')
| -rw-r--r-- | html-test/ref/TypeFamilies.html | 230 |
1 files changed, 115 insertions, 115 deletions
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 18bf66e0..d1d54571 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -17,11 +17,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><div id="package-header" ><ul class="links" id="page-menu" ><li - ><a href="index.html" + ><a href="" >Contents</a ></li ><li - ><a href="doc-index.html" + ><a href="" >Index</a ></li ></ul @@ -56,19 +56,19 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><li class="src short" ><span class="keyword" >data</span - > <a href="#t:X" + > <a href="" >X</a ><ul class="subs" ><li - >= <a href="#v:X" + >= <a href="" >X</a ></li ><li - >| <a href="#v:XX" + >| <a href="" >XX</a ></li ><li - >| <a href="#v:XXX" + >| <a href="" >XXX</a ></li ></ul @@ -76,31 +76,31 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><li class="src short" ><span class="keyword" >data</span - > <a href="#t:Y" + > <a href="" >Y</a ></li ><li class="src short" ><span class="keyword" >class</span - > <a href="#t:Test" + > <a href="" >Test</a > a</li ><li class="src short" ><span class="keyword" >type family</span - > <a href="#t:Foo" + > <a href="" >Foo</a > a :: k</li ><li class="src short" ><span class="keyword" >data family</span - > <a href="#t:Bat" + > <a href="" >Bat</a > a :: *</li ><li class="src short" ><span class="keyword" >class</span - > <a href="#t:Assoc" + > <a href="" >Assoc</a > a <span class="keyword" >where</span @@ -108,13 +108,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><li ><span class="keyword" >data</span - > <a href="#t:AssocD" + > <a href="" >AssocD</a > a :: *</li ><li ><span class="keyword" >type</span - > <a href="#t:AssocT" + > <a href="" >AssocT</a > a :: *</li ></ul @@ -122,19 +122,19 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><li class="src short" ><span class="keyword" >type family</span - > <a href="#t:Bar" + > <a href="" >Bar</a > b</li ><li class="src short" ><span class="keyword" >type family</span - > a <a href="#t:-60--62-" + > a <a href="" ><></a > b :: k</li ><li class="src short" ><span class="keyword" >class</span - > a <a href="#t:-62--60-" + > a <a href="" >><</a > b</li ></ul @@ -196,9 +196,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><table ><tr ><td class="src" - ><a href="TypeFamilies.html#t:Assoc" + ><a href="" >Assoc</a - > * <a href="TypeFamilies.html#t:X" + > * <a href="" >X</a ></td ><td class="doc" @@ -208,9 +208,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></tr ><tr ><td class="src" - ><a href="TypeFamilies.html#t:Test" + ><a href="" >Test</a - > * <a href="TypeFamilies.html#t:X" + > * <a href="" >X</a ></td ><td class="doc" @@ -220,13 +220,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></tr ><tr ><td class="src" - ><a href="TypeFamilies.html#t:-62--60-" + ><a href="" >(><)</a - > <a href="TypeFamilies.html#t:X" + > <a href="" >X</a - > <a href="TypeFamilies.html#v:XX" + > <a href="" >XX</a - > <a href="TypeFamilies.html#v:XXX" + > <a href="" >XXX</a ></td ><td class="doc empty" @@ -236,11 +236,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >type</span - > <a href="TypeFamilies2.html#t:Foo" + > <a href="" >Foo</a - > <a href="TypeFamilies.html#t:X" + > <a href="" >X</a - > = <a href="TypeFamilies.html#t:Y" + > = <a href="" >Y</a ></td ><td class="doc" @@ -252,15 +252,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >data</span - > <a href="TypeFamilies.html#t:Bat" + > <a href="" >Bat</a - > <a href="TypeFamilies.html#t:X" + > <a href="" >X</a > <ul class="subs" ><li >= <a name="v:BatX" class="def" >BatX</a - > <a href="TypeFamilies.html#t:X" + > <a href="" >X</a ></li ><li @@ -270,13 +270,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><li ><a name="v:aaa" class="def" >aaa</a - > :: <a href="TypeFamilies.html#t:X" + > :: <a href="" >X</a ></li ><li ><a name="v:bbb" class="def" >bbb</a - > :: <a href="TypeFamilies.html#t:Y" + > :: <a href="" >Y</a ></li ></ul @@ -292,9 +292,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >data</span - > <a href="TypeFamilies.html#t:AssocD" + > <a href="" >AssocD</a - > * <a href="TypeFamilies.html#t:X" + > * <a href="" >X</a > = <a name="v:AssocX" class="def" >AssocX</a @@ -306,13 +306,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >type</span - > <a href="TypeFamilies.html#t:AssocT" + > <a href="" >AssocT</a - > * <a href="TypeFamilies.html#t:X" + > * <a href="" >X</a - > = <a href="TypeFamilies.html#t:Foo" + > = <a href="" >Foo</a - > * <a href="TypeFamilies.html#t:X" + > * <a href="" >X</a ></td ><td class="doc empty" @@ -322,11 +322,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >type</span - > <a href="TypeFamilies.html#t:Foo" + > <a href="" >Foo</a - > * <a href="TypeFamilies.html#t:X" + > * <a href="" >X</a - > = <a href="TypeFamilies.html#t:Y" + > = <a href="" >Y</a ></td ><td class="doc" @@ -338,11 +338,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >type</span - > <a href="TypeFamilies.html#t:-60--62-" + > <a href="" >(<>)</a - > * <a href="TypeFamilies.html#t:X" + > * <a href="" >X</a - > a = <a href="TypeFamilies.html#t:X" + > a = <a href="" >X</a ></td ><td class="doc empty" @@ -352,15 +352,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >type</span - > <a href="TypeFamilies.html#t:-60--62-" + > <a href="" >(<>)</a - > <a href="TypeFamilies.html#t:X" + > <a href="" >X</a - > <a href="TypeFamilies.html#v:XXX" + > <a href="" >XXX</a - > <a href="TypeFamilies.html#v:XX" + > <a href="" >XX</a - > = <a href="TypeFamilies.html#v:X" + > = <a href="" >X</a ></td ><td class="doc empty" @@ -388,9 +388,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><table ><tr ><td class="src" - ><a href="TypeFamilies.html#t:Assoc" + ><a href="" >Assoc</a - > * <a href="TypeFamilies.html#t:Y" + > * <a href="" >Y</a ></td ><td class="doc" @@ -400,9 +400,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></tr ><tr ><td class="src" - ><a href="TypeFamilies.html#t:Test" + ><a href="" >Test</a - > * <a href="TypeFamilies.html#t:Y" + > * <a href="" >Y</a ></td ><td class="doc" @@ -414,9 +414,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >data</span - > <a href="TypeFamilies2.html#t:Bar" + > <a href="" >Bar</a - > <a href="TypeFamilies.html#t:Y" + > <a href="" >Y</a ></td ><td class="doc empty" @@ -426,23 +426,23 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >data</span - > <a href="TypeFamilies.html#t:Bat" + > <a href="" >Bat</a - > <a href="TypeFamilies.html#t:Y" + > <a href="" >Y</a > <ul class="subs" ><li >= <a name="v:BatY" class="def" >BatY</a - > <a href="TypeFamilies.html#t:Y" + > <a href="" >Y</a ></li ><li - >| <a href="TypeFamilies.html#t:X" + >| <a href="" >X</a > <a name="v::-43-" class="def" >:+</a - > <a href="TypeFamilies.html#t:X" + > <a href="" >X</a ></li ></ul @@ -456,9 +456,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >data</span - > <a href="TypeFamilies.html#t:AssocD" + > <a href="" >AssocD</a - > * <a href="TypeFamilies.html#t:Y" + > * <a href="" >Y</a > = <a name="v:AssocY" class="def" >AssocY</a @@ -470,13 +470,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >type</span - > <a href="TypeFamilies.html#t:AssocT" + > <a href="" >AssocT</a - > * <a href="TypeFamilies.html#t:Y" + > * <a href="" >Y</a - > = <a href="TypeFamilies.html#t:Bat" + > = <a href="" >Bat</a - > <a href="TypeFamilies.html#t:Y" + > <a href="" >Y</a ></td ><td class="doc empty" @@ -486,11 +486,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >type</span - > <a href="TypeFamilies.html#t:Foo" + > <a href="" >Foo</a - > * <a href="TypeFamilies.html#t:Y" + > * <a href="" >Y</a - > = <a href="TypeFamilies.html#t:X" + > = <a href="" >X</a ></td ><td class="doc" @@ -502,9 +502,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >type</span - > <a href="TypeFamilies.html#t:-60--62-" + > <a href="" >(<>)</a - > * <a href="TypeFamilies.html#t:Y" + > * <a href="" >Y</a > a = a</td ><td class="doc empty" @@ -532,9 +532,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><table ><tr ><td class="src" - ><a href="TypeFamilies.html#t:Test" + ><a href="" >Test</a - > * <a href="TypeFamilies.html#t:Y" + > * <a href="" >Y</a ></td ><td class="doc" @@ -544,9 +544,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></tr ><tr ><td class="src" - ><a href="TypeFamilies.html#t:Test" + ><a href="" >Test</a - > * <a href="TypeFamilies.html#t:X" + > * <a href="" >X</a ></td ><td class="doc" @@ -578,11 +578,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >type</span - > <a href="TypeFamilies.html#t:Foo" + > <a href="" >Foo</a - > * <a href="TypeFamilies.html#t:Y" + > * <a href="" >Y</a - > = <a href="TypeFamilies.html#t:X" + > = <a href="" >X</a ></td ><td class="doc" @@ -594,11 +594,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >type</span - > <a href="TypeFamilies.html#t:Foo" + > <a href="" >Foo</a - > * <a href="TypeFamilies.html#t:X" + > * <a href="" >X</a - > = <a href="TypeFamilies.html#t:Y" + > = <a href="" >Y</a ></td ><td class="doc" @@ -630,23 +630,23 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >data</span - > <a href="TypeFamilies.html#t:Bat" + > <a href="" >Bat</a - > <a href="TypeFamilies.html#t:Y" + > <a href="" >Y</a > <ul class="subs" ><li >= <a name="v:BatY" class="def" >BatY</a - > <a href="TypeFamilies.html#t:Y" + > <a href="" >Y</a ></li ><li - >| <a href="TypeFamilies.html#t:X" + >| <a href="" >X</a > <a name="v::-43-" class="def" >:+</a - > <a href="TypeFamilies.html#t:X" + > <a href="" >X</a ></li ></ul @@ -660,15 +660,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >data</span - > <a href="TypeFamilies.html#t:Bat" + > <a href="" >Bat</a - > <a href="TypeFamilies.html#t:X" + > <a href="" >X</a > <ul class="subs" ><li >= <a name="v:BatX" class="def" >BatX</a - > <a href="TypeFamilies.html#t:X" + > <a href="" >X</a ></li ><li @@ -678,13 +678,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><li ><a name="v:aaa" class="def" >aaa</a - > :: <a href="TypeFamilies.html#t:X" + > :: <a href="" >X</a ></li ><li ><a name="v:bbb" class="def" >bbb</a - > :: <a href="TypeFamilies.html#t:Y" + > :: <a href="" >Y</a ></li ></ul @@ -742,9 +742,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><table ><tr ><td class="src" - ><a href="TypeFamilies.html#t:Assoc" + ><a href="" >Assoc</a - > * <a href="TypeFamilies.html#t:Y" + > * <a href="" >Y</a ></td ><td class="doc" @@ -754,9 +754,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></tr ><tr ><td class="src" - ><a href="TypeFamilies.html#t:Assoc" + ><a href="" >Assoc</a - > * <a href="TypeFamilies.html#t:X" + > * <a href="" >X</a ></td ><td class="doc" @@ -785,11 +785,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><table ><tr ><td class="src" - ><a href="TypeFamilies.html#t:Bar" + ><a href="" >Bar</a - > <a href="TypeFamilies.html#t:X" + > <a href="" >X</a - > = <a href="TypeFamilies.html#t:X" + > = <a href="" >X</a ></td ><td class="doc empty" @@ -797,9 +797,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></tr ><tr ><td class="src" - ><a href="TypeFamilies.html#t:Bar" + ><a href="" >Bar</a - > y = <a href="TypeFamilies.html#t:Y" + > y = <a href="" >Y</a ></td ><td class="doc empty" @@ -824,9 +824,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >type</span - > <a href="TypeFamilies.html#t:-60--62-" + > <a href="" >(<>)</a - > * <a href="TypeFamilies.html#t:Y" + > * <a href="" >Y</a > a = a</td ><td class="doc empty" @@ -836,11 +836,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >type</span - > <a href="TypeFamilies.html#t:-60--62-" + > <a href="" >(<>)</a - > * <a href="TypeFamilies.html#t:X" + > * <a href="" >X</a - > a = <a href="TypeFamilies.html#t:X" + > a = <a href="" >X</a ></td ><td class="doc empty" @@ -850,15 +850,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><td class="src" ><span class="keyword" >type</span - > <a href="TypeFamilies.html#t:-60--62-" + > <a href="" >(<>)</a - > <a href="TypeFamilies.html#t:X" + > <a href="" >X</a - > <a href="TypeFamilies.html#v:XXX" + > <a href="" >XXX</a - > <a href="TypeFamilies.html#v:XX" + > <a href="" >XX</a - > = <a href="TypeFamilies.html#v:X" + > = <a href="" >X</a ></td ><td class="doc empty" @@ -882,13 +882,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><table ><tr ><td class="src" - ><a href="TypeFamilies.html#t:-62--60-" + ><a href="" >(><)</a - > <a href="TypeFamilies.html#t:X" + > <a href="" >X</a - > <a href="TypeFamilies.html#v:XX" + > <a href="" >XX</a - > <a href="TypeFamilies.html#v:XXX" + > <a href="" >XXX</a ></td ><td class="doc empty" @@ -902,7 +902,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></div ><div id="footer" ><p - >Produced by <a href="http://www.haskell.org/haddock/" + >Produced by <a href="" >Haddock</a > version 2.15.0</p ></div |