aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/GadtConstructorArgs.html
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref/GadtConstructorArgs.html')
-rw-r--r--html-test/ref/GadtConstructorArgs.html20
1 files changed, 9 insertions, 11 deletions
diff --git a/html-test/ref/GadtConstructorArgs.html b/html-test/ref/GadtConstructorArgs.html
index ded7d58f..77e2f45b 100644
--- a/html-test/ref/GadtConstructorArgs.html
+++ b/html-test/ref/GadtConstructorArgs.html
@@ -10,14 +10,14 @@
/><script src="haddock-bundle.min.js" async="async" type="text/javascript"
></script
><script type="text/x-mathjax-config"
- >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script
><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></head
><body
><div id="package-header"
><span class="caption empty"
- ></span
+ >&nbsp;</span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -66,7 +66,7 @@
>Fot</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -92,7 +92,7 @@
></li
><li
><dfn class="src"
- >, <a id="v:y" class="def"
+ >&nbsp;&nbsp;&nbsp;, <a id="v:y" class="def"
>y</a
> :: <a href="#" title="Data.Int"
>Int</a
@@ -108,11 +108,11 @@
></li
><li
><dfn class="src"
- >} -&gt; <a href="#" title="GadtConstructorArgs"
+ >&nbsp;&nbsp;&nbsp;} -&gt; <a href="#" title="GadtConstructorArgs"
>Boo</a
></dfn
><div class="doc empty"
- ></div
+ >&nbsp;</div
></li
></ul
></div
@@ -152,7 +152,7 @@
></li
><li
><dfn class="src"
- >, <a id="v:z" class="def"
+ >&nbsp;&nbsp;&nbsp;, <a id="v:z" class="def"
>z</a
> :: <a href="#" title="Data.Int"
>Int</a
@@ -168,7 +168,7 @@
></li
><li
><dfn class="src"
- >} -&gt; <a href="#" title="GadtConstructorArgs"
+ >&nbsp;&nbsp;&nbsp;} -&gt; <a href="#" title="GadtConstructorArgs"
>Boo</a
></dfn
><div class="doc"
@@ -189,8 +189,6 @@
></div
></div
></div
- ><div id="footer"
- ></div
></body
></html
-> \ No newline at end of file
+>