aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/TypeFamilies.html
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref/TypeFamilies.html')
-rw-r--r--html-test/ref/TypeFamilies.html1030
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=""
- >(&gt;&lt;)</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=""
+ >(&gt;&lt;)</a
+ > <a href=""
+ >X</a
+ > <a href=""
+ >XX</a
+ > <a href=""
+ >XXX</a
+ ></span
></td
><td class="doc empty"
>&nbsp;</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"
>&nbsp;</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"
>&nbsp;</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=""
- >(&lt;&gt;)</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=""
+ >(&lt;&gt;)</a
+ > * <a href=""
+ >X</a
+ > a = <a href=""
+ >X</a
+ ></span
></td
><td class="doc empty"
>&nbsp;</td
></tr
><tr
- ><td class="src"
- ><span class="keyword"
- >type</span
- > <a href=""
- >(&lt;&gt;)</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=""
+ >(&lt;&gt;)</a
+ > <a href=""
+ >X</a
+ > <a href=""
+ >XXX</a
+ > <a href=""
+ >XX</a
+ > = <a href=""
+ >X</a
+ ></span
></td
><td class="doc empty"
>&nbsp;</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"
>&nbsp;</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"
>&nbsp;</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"
>&nbsp;</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=""
- >(&lt;&gt;)</a
- > * <a href=""
- >Y</a
- > a = a</td
+ ><td class="src clearfix"
+ ><span class="inst-left"
+ ><span class="keyword"
+ >type</span
+ > <a href=""
+ >(&lt;&gt;)</a
+ > * <a href=""
+ >Y</a
+ > a = a</span
+ ></td
><td class="doc empty"
>&nbsp;</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
- > -&gt; <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
+ > -&gt; <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
- > } -&gt; <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
+ > } -&gt; <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
- > -&gt; <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
+ > -&gt; <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
- > } -&gt; <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
+ > } -&gt; <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"
>&lt;&gt;</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=""
- >(&lt;&gt;)</a
- > * <a href=""
- >Y</a
- > a = a</td
+ ><td class="src clearfix"
+ ><span class="inst-left"
+ ><span class="keyword"
+ >type</span
+ > <a href=""
+ >(&lt;&gt;)</a
+ > * <a href=""
+ >Y</a
+ > a = a</span
+ ></td
><td class="doc empty"
>&nbsp;</td
></tr
><tr
- ><td class="src"
- ><span class="keyword"
- >type</span
- > <a href=""
- >(&lt;&gt;)</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=""
+ >(&lt;&gt;)</a
+ > * <a href=""
+ >X</a
+ > a = <a href=""
+ >X</a
+ ></span
></td
><td class="doc empty"
>&nbsp;</td
></tr
><tr
- ><td class="src"
- ><span class="keyword"
- >type</span
- > <a href=""
- >(&lt;&gt;)</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=""
+ >(&lt;&gt;)</a
+ > <a href=""
+ >X</a
+ > <a href=""
+ >XXX</a
+ > <a href=""
+ >XX</a
+ > = <a href=""
+ >X</a
+ ></span
></td
><td class="doc empty"
>&nbsp;</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"
>&gt;&lt;</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=""
- >(&gt;&lt;)</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=""
+ >(&gt;&lt;)</a
+ > <a href=""
+ >X</a
+ > <a href=""
+ >XX</a
+ > <a href=""
+ >XXX</a
+ ></span
></td
><td class="doc empty"
>&nbsp;</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