diff options
Diffstat (limited to 'html-test/ref/TypeFamilies.html')
-rw-r--r-- | html-test/ref/TypeFamilies.html | 1030 |
1 files changed, 627 insertions, 403 deletions
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 355d9248..3295318f 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><th >Safe Haskell</th ><td - >Safe-Inferred</td + >Safe</td ></tr ></table ><p class="caption" @@ -162,7 +162,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:X" class="def" + > <a href="" id="t:X" class="def" >X</a ></p ><div class="doc" @@ -175,7 +175,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><table ><tr ><td class="src" - ><a name="v:X" class="def" + ><a href="" id="v:X" class="def" >X</a ></td ><td class="doc" @@ -185,7 +185,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></tr ><tr ><td class="src" - ><a name="v:XX" class="def" + ><a href="" id="v:XX" class="def" >XX</a ></td ><td class="doc" @@ -195,7 +195,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></tr ><tr ><td class="src" - ><a name="v:XXX" class="def" + ><a href="" id="v:XXX" class="def" >XXX</a ></td ><td class="doc" @@ -211,11 +211,15 @@ 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" + ><span id="control.i:id:X:Assoc:1" class="instance expander" onclick="toggleSection('i:id:X:Assoc:1')" + ></span + > <a href="" + >Assoc</a + > * <a href="" + >X</a + ></span ></td ><td class="doc" ><p @@ -223,11 +227,41 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><a href="" - >Test</a - > * <a href="" - >X</a + ><td colspan="2" + ><div id="section.i:id:X:Assoc:1" class="inst-details hide" + ><div class="subs associated-types" + ><p class="caption" + >Associated Types</p + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" + >AssocD</a + > (<a href="" + >X</a + > :: k)</p + ><p class="src" + ><span class="keyword" + >type</span + > <a href="" + >AssocT</a + > (<a href="" + >X</a + > :: k) :: *</p + ></div + ></div + ></td + ></tr + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span id="control.i:id:X:Test:2" class="instance expander" onclick="toggleSection('i:id:X:Test:2')" + ></span + > <a href="" + >Test</a + > * <a href="" + >X</a + ></span ></td ><td class="doc" ><p @@ -235,29 +269,47 @@ 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 colspan="2" + ><div id="section.i:id:X:Test:2" class="inst-details hide" + ></div + ></td + ></tr + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span id="control.i:id:X:-62--60-:3" class="instance expander" onclick="toggleSection('i:id:X:-62--60-:3')" + ></span + > <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 colspan="2" + ><div id="section.i:id:X:-62--60-:3" class="inst-details hide" + ></div + ></td + ></tr + ><tr + ><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 +317,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 href="" id="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 href="" id="v:BatX" class="def" + >BatX</a + > <a href="" + >X</a + ></li + ><li class="inst" + >| <a href="" id="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 href="" id="v:aaa" class="def" + >aaa</a + > :: <a href="" + >X</a + ></li + ><li + ><a href="" id="v:bbb" class="def" + >bbb</a + > :: <a href="" + >Y</a + ></li + ></ul + > }</li + ></ul + ></span ></td ><td class="doc" ><p @@ -335,15 +393,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 +411,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 @@ -390,7 +454,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:Y" class="def" + > <a href="" id="t:Y" class="def" >Y</a ></p ><div class="doc" @@ -403,11 +467,15 @@ 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" + ><span id="control.i:id:Y:Assoc:1" class="instance expander" onclick="toggleSection('i:id:Y:Assoc:1')" + ></span + > <a href="" + >Assoc</a + > * <a href="" + >Y</a + ></span ></td ><td class="doc" ><p @@ -415,11 +483,41 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><a href="" - >Test</a - > * <a href="" - >Y</a + ><td colspan="2" + ><div id="section.i:id:Y:Assoc:1" class="inst-details hide" + ><div class="subs associated-types" + ><p class="caption" + >Associated Types</p + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" + >AssocD</a + > (<a href="" + >Y</a + > :: k)</p + ><p class="src" + ><span class="keyword" + >type</span + > <a href="" + >AssocT</a + > (<a href="" + >Y</a + > :: k) :: *</p + ></div + ></div + ></td + ></tr + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span id="control.i:id:Y:Test:2" class="instance expander" onclick="toggleSection('i:id:Y:Test:2')" + ></span + > <a href="" + >Test</a + > * <a href="" + >Y</a + ></span ></td ><td class="doc" ><p @@ -427,59 +525,73 @@ 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 colspan="2" + ><div id="section.i:id:Y:Test:2" class="inst-details hide" + ></div + ></td + ></tr + ><tr + ><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 href="" id="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 href="" id="v:BatY" class="def" + >BatY</a + > <a href="" + >Y</a + ></span ></td ><td class="doc" ><p @@ -487,15 +599,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 +617,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 @@ -522,7 +638,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:Z" class="def" + > <a href="" id="t:Z" class="def" >Z</a ></p ><div class="doc" @@ -535,7 +651,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><table ><tr ><td class="src" - ><a name="v:ZA" class="def" + ><a href="" id="v:ZA" class="def" >ZA</a ></td ><td class="doc empty" @@ -543,7 +659,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></tr ><tr ><td class="src" - ><a name="v:ZB" class="def" + ><a href="" id="v:ZB" class="def" >ZB</a ></td ><td class="doc empty" @@ -557,53 +673,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 href="" id="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 href="" id="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 href="" id="v:batx" class="def" + >batx</a + > :: <a href="" + >X</a + ></li + ><li + ><a href="" id="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 @@ -618,7 +736,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><p class="src" ><span class="keyword" >class</span - > <a name="t:Test" class="def" + > <a href="" id="t:Test" class="def" >Test</a > a</p ><div class="doc" @@ -631,11 +749,15 @@ 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" + ><span id="control.i:ic:Test:Test:1" class="instance expander" onclick="toggleSection('i:ic:Test:Test:1')" + ></span + > <a href="" + >Test</a + > * <a href="" + >Y</a + ></span ></td ><td class="doc" ><p @@ -643,17 +765,33 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><a href="" - >Test</a - > * <a href="" - >X</a + ><td colspan="2" + ><div id="section.i:ic:Test:Test:1" class="inst-details hide" + ></div + ></td + ></tr + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span id="control.i:ic:Test:Test:2" class="instance expander" onclick="toggleSection('i:ic:Test:Test:2')" + ></span + > <a href="" + >Test</a + > * <a href="" + >X</a + ></span ></td ><td class="doc" ><p >Doc for: instance Test X</p ></td ></tr + ><tr + ><td colspan="2" + ><div id="section.i:ic:Test:Test:2" class="inst-details hide" + ></div + ></td + ></tr ></table ></div ></div @@ -662,7 +800,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><p class="src" ><span class="keyword" >type family</span - > <a name="t:Foo" class="def" + > <a href="" id="t:Foo" class="def" >Foo</a > a :: k</p ><div class="doc" @@ -675,15 +813,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 +831,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 @@ -714,7 +856,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><p class="src" ><span class="keyword" >data family</span - > <a name="t:Bat" class="def" + > <a href="" id="t:Bat" class="def" >Bat</a > a :: *</p ><div class="doc" @@ -727,53 +869,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 href="" id="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 href="" id="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 href="" id="v:batx" class="def" + >batx</a + > :: <a href="" + >X</a + ></li + ><li + ><a href="" id="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 +925,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 href="" id="v:BatY" class="def" + >BatY</a + > <a href="" + >Y</a + ></span ></td ><td class="doc" ><p @@ -799,39 +945,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 href="" id="v:BatX" class="def" + >BatX</a + > <a href="" + >X</a + ></li + ><li class="inst" + >| <a href="" id="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 href="" id="v:aaa" class="def" + >aaa</a + > :: <a href="" + >X</a + ></li + ><li + ><a href="" id="v:bbb" class="def" + >bbb</a + > :: <a href="" + >Y</a + ></li + ></ul + > }</li + ></ul + ></span ></td ><td class="doc" ><p @@ -846,7 +994,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><p class="src" ><span class="keyword" >class</span - > <a name="t:Assoc" class="def" + > <a href="" id="t:Assoc" class="def" >Assoc</a > a</p ><div class="doc" @@ -859,7 +1007,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:AssocD" class="def" + > <a href="" id="t:AssocD" class="def" >AssocD</a > a :: *</p ><div class="doc" @@ -869,7 +1017,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><p class="src" ><span class="keyword" >type</span - > <a name="t:AssocT" class="def" + > <a href="" id="t:AssocT" class="def" >AssocT</a > a :: *</p ><div class="doc" @@ -883,11 +1031,15 @@ 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" + ><span id="control.i:ic:Assoc:Assoc:1" class="instance expander" onclick="toggleSection('i:ic:Assoc:Assoc:1')" + ></span + > <a href="" + >Assoc</a + > * <a href="" + >Y</a + ></span ></td ><td class="doc" ><p @@ -895,17 +1047,73 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ></td ></tr ><tr - ><td class="src" - ><a href="" - >Assoc</a - > * <a href="" - >X</a + ><td colspan="2" + ><div id="section.i:ic:Assoc:Assoc:1" class="inst-details hide" + ><div class="subs associated-types" + ><p class="caption" + >Associated Types</p + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" + >AssocD</a + > (<a href="" + >Y</a + > :: k)</p + ><p class="src" + ><span class="keyword" + >type</span + > <a href="" + >AssocT</a + > (<a href="" + >Y</a + > :: k) :: *</p + ></div + ></div + ></td + ></tr + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span id="control.i:ic:Assoc:Assoc:2" class="instance expander" onclick="toggleSection('i:ic:Assoc:Assoc:2')" + ></span + > <a href="" + >Assoc</a + > * <a href="" + >X</a + ></span ></td ><td class="doc" ><p >Doc for: instance Assoc X</p ></td ></tr + ><tr + ><td colspan="2" + ><div id="section.i:ic:Assoc:Assoc:2" class="inst-details hide" + ><div class="subs associated-types" + ><p class="caption" + >Associated Types</p + ><p class="src" + ><span class="keyword" + >data</span + > <a href="" + >AssocD</a + > (<a href="" + >X</a + > :: k)</p + ><p class="src" + ><span class="keyword" + >type</span + > <a href="" + >AssocT</a + > (<a href="" + >X</a + > :: k) :: *</p + ></div + ></div + ></td + ></tr ></table ></div ></div @@ -914,7 +1122,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><p class="src" ><span class="keyword" >type family</span - > <a name="t:Bar" class="def" + > <a href="" id="t:Bar" class="def" >Bar</a > b</p ><div class="doc" @@ -954,7 +1162,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><p class="src" ><span class="keyword" >type family</span - > a <a name="t:-60--62-" class="def" + > a <a href="" id="t:-60--62-" class="def" ><></a > b :: k</p ><div class="subs instances" @@ -963,45 +1171,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 @@ -1014,7 +1228,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><p class="src" ><span class="keyword" >class</span - > a <a name="t:-62--60-" class="def" + > a <a href="" id="t:-62--60-" class="def" >><</a > b</p ><div class="subs instances" @@ -1023,19 +1237,29 @@ 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" + ><span id="control.i:ic:-62--60-:-62--60-:1" class="instance expander" onclick="toggleSection('i:ic:-62--60-:-62--60-:1')" + ></span + > <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 colspan="2" + ><div id="section.i:ic:-62--60-:-62--60-:1" class="inst-details hide" + ></div + ></td + ></tr ></table ></div ></div @@ -1046,7 +1270,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");}; ><p >Produced by <a href="" >Haddock</a - > version 2.15.0</p + > version 2.16.2</p ></div ></body ></html |