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.html180
1 files changed, 154 insertions, 26 deletions
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 53c45b45..190f376e 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -242,6 +242,10 @@
><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
@@ -268,7 +272,11 @@
><details id="i:id:X:Assoc:2"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="subs associated-types"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="subs associated-types"
><p class="caption"
>Associated Types</p
><p class="src"
@@ -322,6 +330,10 @@
><details id="i:id:X:Test:3"
><summary class="hide-when-js-enabled"
>Instance details</summary
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
></details
></td
></tr
@@ -348,7 +360,11 @@
><details id="i:id:X:Foo:4"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies2"
@@ -386,7 +402,11 @@
><details id="i:id:X:-60--62-:5"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
@@ -424,7 +444,11 @@
><details id="i:id:X:AssocD:6"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>data</span
> <a href="#" title="TypeFamilies"
@@ -460,7 +484,11 @@
><details id="i:id:X:AssocT:7"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
@@ -502,7 +530,11 @@
><details id="i:id:X:Bat:8"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>data</span
> <a href="#" title="TypeFamilies"
@@ -562,7 +594,11 @@
><details id="i:id:X:Foo:9"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
@@ -600,7 +636,11 @@
><details id="i:id:X:-60--62-:10"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
@@ -660,7 +700,11 @@
><details id="i:id:Y:Assoc:1"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="subs associated-types"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="subs associated-types"
><p class="caption"
>Associated Types</p
><p class="src"
@@ -714,6 +758,10 @@
><details id="i:id:Y:Test:2"
><summary class="hide-when-js-enabled"
>Instance details</summary
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
></details
></td
></tr
@@ -740,7 +788,11 @@
><details id="i:id:Y:Bar:3"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>data</span
> <a href="#" title="TypeFamilies2"
@@ -774,7 +826,11 @@
><details id="i:id:Y:AssocD:4"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>data</span
> <a href="#" title="TypeFamilies"
@@ -810,7 +866,11 @@
><details id="i:id:Y:AssocT:5"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
@@ -850,7 +910,11 @@
><details id="i:id:Y:Bat:6"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>data</span
> <a href="#" title="TypeFamilies"
@@ -888,7 +952,11 @@
><details id="i:id:Y:Foo:7"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
@@ -926,7 +994,11 @@
><details id="i:id:Y:-60--62-:8"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
@@ -1008,7 +1080,11 @@
><details id="i:id:Z:Bat:1"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>data</span
> <a href="#" title="TypeFamilies"
@@ -1084,6 +1160,10 @@
><details id="i:ic:Test:Test:1"
><summary class="hide-when-js-enabled"
>Instance details</summary
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
></details
></td
></tr
@@ -1110,6 +1190,10 @@
><details id="i:ic:Test:Test:2"
><summary class="hide-when-js-enabled"
>Instance details</summary
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
></details
></td
></tr
@@ -1158,7 +1242,11 @@
><details id="i:if:Foo:Foo:1"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
@@ -1194,7 +1282,11 @@
><details id="i:if:Foo:Foo:2"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
@@ -1256,7 +1348,11 @@
><details id="i:if:Bat:Bat:1"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>data</span
> <a href="#" title="TypeFamilies"
@@ -1312,7 +1408,11 @@
><details id="i:if:Bat:Bat:2"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>data</span
> <a href="#" title="TypeFamilies"
@@ -1352,7 +1452,11 @@
><details id="i:if:Bat:Bat:3"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>data</span
> <a href="#" title="TypeFamilies"
@@ -1466,7 +1570,11 @@
><details id="i:ic:Assoc:Assoc:1"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="subs associated-types"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="subs associated-types"
><p class="caption"
>Associated Types</p
><p class="src"
@@ -1520,7 +1628,11 @@
><details id="i:ic:Assoc:Assoc:2"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="subs associated-types"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="subs associated-types"
><p class="caption"
>Associated Types</p
><p class="src"
@@ -1638,7 +1750,11 @@
><details id="i:if:-60--62-:-60--62-:1"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
@@ -1678,7 +1794,11 @@
><details id="i:if:-60--62-:-60--62-:2"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
@@ -1716,7 +1836,11 @@
><details id="i:if:-60--62-:-60--62-:3"
><summary class="hide-when-js-enabled"
>Instance details</summary
- ><div class="src"
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
@@ -1772,6 +1896,10 @@
><details id="i:ic:-62--60-:-62--60-:1"
><summary class="hide-when-js-enabled"
>Instance details</summary
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
></details
></td
></tr