aboutsummaryrefslogtreecommitdiff
path: root/html-test
diff options
context:
space:
mode:
Diffstat (limited to 'html-test')
-rw-r--r--html-test/ref/Bug26.html10
-rw-r--r--html-test/ref/Bug294.html34
-rw-r--r--html-test/ref/Bug387.html26
-rw-r--r--html-test/ref/Bug548.html8
-rw-r--r--html-test/ref/Bug613.html18
-rw-r--r--html-test/ref/Bug679.html18
-rw-r--r--html-test/ref/Bug7.html18
-rw-r--r--html-test/ref/BugExportHeadings.html58
-rw-r--r--html-test/ref/DeprecatedReExport.html26
-rw-r--r--html-test/ref/Hash.html58
-rw-r--r--html-test/ref/HiddenInstances.html18
-rw-r--r--html-test/ref/HiddenInstancesB.html18
-rw-r--r--html-test/ref/Instances.html50
-rw-r--r--html-test/ref/OrphanInstances.html20
-rw-r--r--html-test/ref/OrphanInstancesClass.html10
-rw-r--r--html-test/ref/OrphanInstancesType.html10
-rw-r--r--html-test/ref/QuasiExpr.html18
-rw-r--r--html-test/ref/SpuriousSuperclassConstraints.html10
-rw-r--r--html-test/ref/Test.html120
-rw-r--r--html-test/ref/TypeFamilies.html74
-rw-r--r--html-test/ref/TypeFamilies2.html26
-rw-r--r--html-test/ref/TypeFamilies3.html16
22 files changed, 381 insertions, 283 deletions
diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html
index 97f69317..97cf5b24 100644
--- a/html-test/ref/Bug26.html
+++ b/html-test/ref/Bug26.html
@@ -149,9 +149,11 @@
></div
></div
><div class="subs instances"
- ><details id="i:C" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:C"
+ >Instances</h4
+ ><details id="i:C" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -205,4 +207,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html
index 528696e6..2dfd775f 100644
--- a/html-test/ref/Bug294.html
+++ b/html-test/ref/Bug294.html
@@ -53,9 +53,11 @@
>#</a
></p
><div class="subs instances"
- ><details id="i:A" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:A"
+ >Instances</h4
+ ><details id="i:A" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -191,9 +193,11 @@
>#</a
></p
><div class="subs instances"
- ><details id="i:TP" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:TP"
+ >Instances</h4
+ ><details id="i:TP" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -251,9 +255,11 @@
>#</a
></p
><div class="subs instances"
- ><details id="i:DP" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:DP"
+ >Instances</h4
+ ><details id="i:DP" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -311,9 +317,11 @@
>#</a
></p
><div class="subs instances"
- ><details id="i:TO-39-" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:TO-39-"
+ >Instances</h4
+ ><details id="i:TO-39-" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -361,4 +369,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html
index ccdeb642..a6b19759 100644
--- a/html-test/ref/Bug387.html
+++ b/html-test/ref/Bug387.html
@@ -41,18 +41,20 @@
>Bug387</p
></div
><div id="table-of-contents"
- ><p class="caption"
- >Contents</p
- ><ul
- ><li
- ><a href="#"
- >Section1</a
- ></li
+ ><div id="contents-list"
+ ><p class="caption"
+ >Contents</p
+ ><ul
><li
- ><a href="#"
- >Section2</a
- ></li
- ></ul
+ ><a href="#"
+ >Section1</a
+ ></li
+ ><li
+ ><a href="#"
+ >Section2</a
+ ></li
+ ></ul
+ ></div
></div
><div id="synopsis"
><details id="syn"
@@ -113,4 +115,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html
index 8ccd244b..3778cd9e 100644
--- a/html-test/ref/Bug548.html
+++ b/html-test/ref/Bug548.html
@@ -91,9 +91,11 @@
></table
></div
><div class="subs instances"
- ><details id="i:WrappedArrow" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:WrappedArrow"
+ >Instances</h4
+ ><details id="i:WrappedArrow" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html
index c6876bd3..86579c88 100644
--- a/html-test/ref/Bug613.html
+++ b/html-test/ref/Bug613.html
@@ -95,9 +95,11 @@
></p
></div
><div class="subs instances"
- ><details id="i:Functor" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Functor"
+ >Instances</h4
+ ><details id="i:Functor" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -215,9 +217,11 @@
></table
></div
><div class="subs instances"
- ><details id="i:ThreeVars" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:ThreeVars"
+ >Instances</h4
+ ><details id="i:ThreeVars" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -271,4 +275,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/Bug679.html b/html-test/ref/Bug679.html
index d0d0a69d..4a5e7154 100644
--- a/html-test/ref/Bug679.html
+++ b/html-test/ref/Bug679.html
@@ -67,9 +67,11 @@
></table
></div
><div class="subs instances"
- ><details id="i:Bar" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar"
+ >Instances</h4
+ ><details id="i:Bar" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -139,9 +141,11 @@
></p
></div
><div class="subs instances"
- ><details id="i:Foo" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo"
+ >Instances</h4
+ ><details id="i:Foo" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -195,4 +199,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html
index 08a87751..faeb61af 100644
--- a/html-test/ref/Bug7.html
+++ b/html-test/ref/Bug7.html
@@ -102,9 +102,11 @@
></table
></div
><div class="subs instances"
- ><details id="i:Foo" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo"
+ >Instances</h4
+ ><details id="i:Foo" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -156,9 +158,11 @@
>The Bar class</p
></div
><div class="subs instances"
- ><details id="i:Bar" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar"
+ >Instances</h4
+ ><details id="i:Bar" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -202,4 +206,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html
index 4c2e822e..19f19778 100644
--- a/html-test/ref/BugExportHeadings.html
+++ b/html-test/ref/BugExportHeadings.html
@@ -41,34 +41,36 @@
>BugExportHeadings</p
></div
><div id="table-of-contents"
- ><p class="caption"
- >Contents</p
- ><ul
- ><li
- ><a href="#"
- >Foo</a
- ></li
- ><li
- ><a href="#"
- >Bar</a
- ></li
- ><li
- ><a href="#"
- >Baz</a
- ></li
- ><li
- ><a href="#"
- >One</a
- ></li
- ><li
- ><a href="#"
- >Two</a
- ></li
+ ><div id="contents-list"
+ ><p class="caption"
+ >Contents</p
+ ><ul
><li
- ><a href="#"
- >Three</a
- ></li
- ></ul
+ ><a href="#"
+ >Foo</a
+ ></li
+ ><li
+ ><a href="#"
+ >Bar</a
+ ></li
+ ><li
+ ><a href="#"
+ >Baz</a
+ ></li
+ ><li
+ ><a href="#"
+ >One</a
+ ></li
+ ><li
+ ><a href="#"
+ >Two</a
+ ></li
+ ><li
+ ><a href="#"
+ >Three</a
+ ></li
+ ></ul
+ ></div
></div
><div id="synopsis"
><details id="syn"
@@ -223,4 +225,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html
index 9b6bc3f1..a2c9b4f2 100644
--- a/html-test/ref/DeprecatedReExport.html
+++ b/html-test/ref/DeprecatedReExport.html
@@ -41,18 +41,20 @@
>DeprecatedReExport</p
></div
><div id="table-of-contents"
- ><p class="caption"
- >Contents</p
- ><ul
- ><li
- ><a href="#"
- >Re-exported from an other module</a
- ></li
+ ><div id="contents-list"
+ ><p class="caption"
+ >Contents</p
+ ><ul
><li
- ><a href="#"
- >Re-exported from an other package</a
- ></li
- ></ul
+ ><a href="#"
+ >Re-exported from an other module</a
+ ></li
+ ><li
+ ><a href="#"
+ >Re-exported from an other package</a
+ ></li
+ ></ul
+ ></div
></div
><div id="description"
><p class="caption"
@@ -124,4 +126,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html
index 6c489505..69afe1aa 100644
--- a/html-test/ref/Hash.html
+++ b/html-test/ref/Hash.html
@@ -41,30 +41,32 @@
>Hash</p
></div
><div id="table-of-contents"
- ><p class="caption"
- >Contents</p
- ><ul
- ><li
- ><a href="#"
- >The <code
- >HashTable</code
- > type</a
- ><ul
- ><li
- ><a href="#"
- >Operations on <code
- >HashTable</code
- >s</a
- ></li
- ></ul
- ></li
+ ><div id="contents-list"
+ ><p class="caption"
+ >Contents</p
+ ><ul
><li
- ><a href="#"
- >The <code
- >Hash</code
- > class</a
- ></li
- ></ul
+ ><a href="#"
+ >The <code
+ >HashTable</code
+ > type</a
+ ><ul
+ ><li
+ ><a href="#"
+ >Operations on <code
+ >HashTable</code
+ >s</a
+ ></li
+ ></ul
+ ></li
+ ><li
+ ><a href="#"
+ >The <code
+ >Hash</code
+ > class</a
+ ></li
+ ></ul
+ ></div
></div
><div id="description"
><p class="caption"
@@ -290,9 +292,11 @@
></div
></div
><div class="subs instances"
- ><details id="i:Hash" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Hash"
+ >Instances</h4
+ ><details id="i:Hash" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -430,4 +434,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html
index 3a03d2ba..a41327e5 100644
--- a/html-test/ref/HiddenInstances.html
+++ b/html-test/ref/HiddenInstances.html
@@ -77,9 +77,11 @@
>Should be visible</p
></div
><div class="subs instances"
- ><details id="i:VisibleClass" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:VisibleClass"
+ >Instances</h4
+ ><details id="i:VisibleClass" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -159,9 +161,11 @@
>Should be visible</p
></div
><div class="subs instances"
- ><details id="i:VisibleData" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:VisibleData"
+ >Instances</h4
+ ><details id="i:VisibleData" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -313,4 +317,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html
index f6b4db1e..80acad2e 100644
--- a/html-test/ref/HiddenInstancesB.html
+++ b/html-test/ref/HiddenInstancesB.html
@@ -77,9 +77,11 @@
>Should be visible</p
></div
><div class="subs instances"
- ><details id="i:Foo" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo"
+ >Instances</h4
+ ><details id="i:Foo" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -129,9 +131,11 @@
>Should be visible</p
></div
><div class="subs instances"
- ><details id="i:Bar" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar"
+ >Instances</h4
+ ><details id="i:Bar" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -173,4 +177,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html
index e2f16a49..957adde1 100644
--- a/html-test/ref/Instances.html
+++ b/html-test/ref/Instances.html
@@ -67,9 +67,11 @@
></table
></div
><div class="subs instances"
- ><details id="i:-60--126--126-" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:-60--126--126-"
+ >Instances</h4
+ ><details id="i:-60--126--126-" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -177,9 +179,11 @@
></p
></div
><div class="subs instances"
- ><details id="i:Foo" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo"
+ >Instances</h4
+ ><details id="i:Foo" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -687,9 +691,11 @@
></p
></div
><div class="subs instances"
- ><details id="i:Bar" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar"
+ >Instances</h4
+ ><details id="i:Bar" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -1253,9 +1259,11 @@
></p
></div
><div class="subs instances"
- ><details id="i:Baz" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Baz"
+ >Instances</h4
+ ><details id="i:Baz" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -1625,9 +1633,11 @@
></table
></div
><div class="subs instances"
- ><details id="i:Quux" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Quux"
+ >Instances</h4
+ ><details id="i:Quux" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -1981,9 +1991,11 @@
></p
></div
><div class="subs instances"
- ><details id="i:Norf" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Norf"
+ >Instances</h4
+ ><details id="i:Norf" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -2139,4 +2151,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html
index d0d19e2f..d6cbcf8e 100644
--- a/html-test/ref/OrphanInstances.html
+++ b/html-test/ref/OrphanInstances.html
@@ -41,14 +41,16 @@
>OrphanInstances</p
></div
><div id="table-of-contents"
- ><p class="caption"
- >Contents</p
- ><ul
- ><li
- ><a href="#"
- >Orphan instances</a
- ></li
- ></ul
+ ><div id="contents-list"
+ ><p class="caption"
+ >Contents</p
+ ><ul
+ ><li
+ ><a href="#"
+ >Orphan instances</a
+ ></li
+ ></ul
+ ></div
></div
><div id="interface"
><h1
@@ -105,4 +107,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html
index 04193c50..925f7ada 100644
--- a/html-test/ref/OrphanInstancesClass.html
+++ b/html-test/ref/OrphanInstancesClass.html
@@ -67,9 +67,11 @@
></p
></div
><div class="subs instances"
- ><details id="i:AClass" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:AClass"
+ >Instances</h4
+ ><details id="i:AClass" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -125,4 +127,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html
index 67acfcd5..7b40b3cb 100644
--- a/html-test/ref/OrphanInstancesType.html
+++ b/html-test/ref/OrphanInstancesType.html
@@ -69,9 +69,11 @@
></table
></div
><div class="subs instances"
- ><details id="i:AType" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:AType"
+ >Instances</h4
+ ><details id="i:AType" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -127,4 +129,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html
index 88f1b92c..3c1aff57 100644
--- a/html-test/ref/QuasiExpr.html
+++ b/html-test/ref/QuasiExpr.html
@@ -103,9 +103,11 @@
></table
></div
><div class="subs instances"
- ><details id="i:Expr" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Expr"
+ >Instances</h4
+ ><details id="i:Expr" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -223,9 +225,11 @@
></table
></div
><div class="subs instances"
- ><details id="i:BinOp" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:BinOp"
+ >Instances</h4
+ ><details id="i:BinOp" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -337,4 +341,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index 17c026d1..61841f06 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -79,9 +79,11 @@ Fix spurious superclass constraints bug.</pre
>#</a
></p
><div class="subs instances"
- ><details id="i:SomeType" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:SomeType"
+ >Instances</h4
+ ><details id="i:SomeType" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -235,4 +237,4 @@ Fix spurious superclass constraints bug.</pre
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index 5cdee91e..b7f93128 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -71,62 +71,64 @@
>Test</p
></div
><div id="table-of-contents"
- ><p class="caption"
- >Contents</p
- ><ul
- ><li
- ><a href="#"
- >Type declarations</a
- ><ul
- ><li
- ><a href="#"
- >Data types</a
- ></li
- ><li
- ><a href="#"
- >Records</a
- ></li
- ></ul
- ></li
- ><li
- ><a href="#"
- >Class declarations</a
- ></li
- ><li
- ><a href="#"
- >Function types</a
- ></li
- ><li
- ><a href="#"
- >Auxiliary stuff</a
- ></li
- ><li
- ><a href="#"
- >A hidden module</a
- ></li
- ><li
- ><a href="#"
- >A visible module</a
- ></li
- ><li
- ><a href="#"
- >Existential / Universal types</a
- ></li
- ><li
- ><a href="#"
- >Type signatures with argument docs</a
- ></li
+ ><div id="contents-list"
+ ><p class="caption"
+ >Contents</p
+ ><ul
><li
- ><a href="#"
- >A section</a
- ><ul
+ ><a href="#"
+ >Type declarations</a
+ ><ul
+ ><li
+ ><a href="#"
+ >Data types</a
+ ></li
+ ><li
+ ><a href="#"
+ >Records</a
+ ></li
+ ></ul
+ ></li
><li
- ><a href="#"
- >A subsection</a
- ></li
- ></ul
- ></li
- ></ul
+ ><a href="#"
+ >Class declarations</a
+ ></li
+ ><li
+ ><a href="#"
+ >Function types</a
+ ></li
+ ><li
+ ><a href="#"
+ >Auxiliary stuff</a
+ ></li
+ ><li
+ ><a href="#"
+ >A hidden module</a
+ ></li
+ ><li
+ ><a href="#"
+ >A visible module</a
+ ></li
+ ><li
+ ><a href="#"
+ >Existential / Universal types</a
+ ></li
+ ><li
+ ><a href="#"
+ >Type signatures with argument docs</a
+ ></li
+ ><li
+ ><a href="#"
+ >A section</a
+ ><ul
+ ><li
+ ><a href="#"
+ >A subsection</a
+ ></li
+ ></ul
+ ></li
+ ></ul
+ ></div
></div
><div id="description"
><p class="caption"
@@ -1653,9 +1655,11 @@
></p
></div
><div class="subs instances"
- ><details id="i:D" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:D"
+ >Instances</h4
+ ><details id="i:D" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -2393,4 +2397,4 @@ is at the beginning of the line).</pre
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 35f9e542..d31e9f7b 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -211,9 +211,11 @@
></table
></div
><div class="subs instances"
- ><details id="i:X" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:X"
+ >Instances</h4
+ ><details id="i:X" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -673,9 +675,11 @@
>Doc for: data Y</p
></div
><div class="subs instances"
- ><details id="i:Y" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Y"
+ >Instances</h4
+ ><details id="i:Y" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -1053,9 +1057,11 @@
></table
></div
><div class="subs instances"
- ><details id="i:Z" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Z"
+ >Instances</h4
+ ><details id="i:Z" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -1145,9 +1151,11 @@
>Doc for: class Test a</p
></div
><div class="subs instances"
- ><details id="i:Test" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Test"
+ >Instances</h4
+ ><details id="i:Test" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -1227,9 +1235,11 @@
>Doc for: type family Foo a</p
></div
><div class="subs instances"
- ><details id="i:Foo" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo"
+ >Instances</h4
+ ><details id="i:Foo" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -1333,9 +1343,11 @@
>Doc for: data family Bat a</p
></div
><div class="subs instances"
- ><details id="i:Bat" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bat"
+ >Instances</h4
+ ><details id="i:Bat" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -1563,9 +1575,11 @@
></div
></div
><div class="subs instances"
- ><details id="i:Assoc" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Assoc"
+ >Instances</h4
+ ><details id="i:Assoc" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -1741,9 +1755,11 @@
>#</a
></p
><div class="subs instances"
- ><details id="i:-60--62-" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:-60--62-"
+ >Instances</h4
+ ><details id="i:-60--62-" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -1889,9 +1905,11 @@
>#</a
></p
><div class="subs instances"
- ><details id="i:-62--60-" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:-62--60-"
+ >Instances</h4
+ ><details id="i:-62--60-" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -1933,4 +1951,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html
index 4c6fcc74..a60ce077 100644
--- a/html-test/ref/TypeFamilies2.html
+++ b/html-test/ref/TypeFamilies2.html
@@ -83,9 +83,11 @@
>Exported type</p
></div
><div class="subs instances"
- ><details id="i:W" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:W"
+ >Instances</h4
+ ><details id="i:W" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -187,9 +189,11 @@
>Exported type family</p
></div
><div class="subs instances"
- ><details id="i:Foo" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo"
+ >Instances</h4
+ ><details id="i:Foo" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -291,9 +295,11 @@
>Exported data family</p
></div
><div class="subs instances"
- ><details id="i:Bar" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar"
+ >Instances</h4
+ ><details id="i:Bar" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -385,4 +391,4 @@
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/TypeFamilies3.html b/html-test/ref/TypeFamilies3.html
index fa270191..a7e60ce1 100644
--- a/html-test/ref/TypeFamilies3.html
+++ b/html-test/ref/TypeFamilies3.html
@@ -125,9 +125,11 @@
>An open family</p
></div
><div class="subs instances"
- ><details id="i:Bar" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar"
+ >Instances</h4
+ ><details id="i:Bar" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"
@@ -221,9 +223,11 @@
>A data family</p
></div
><div class="subs instances"
- ><details id="i:Baz" open="open"
- ><summary
- >Instances</summary
+ ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Baz"
+ >Instances</h4
+ ><details id="i:Baz" open="open"
+ ><summary class="hide-when-js-enabled"
+ >Instances details</summary
><table
><tr
><td class="src clearfix"