aboutsummaryrefslogtreecommitdiff
path: root/html-test
diff options
context:
space:
mode:
Diffstat (limited to 'html-test')
-rw-r--r--html-test/ref/Bug1004.html150
-rw-r--r--html-test/ref/Bug1035.html2
-rw-r--r--html-test/ref/Bug310.html24
-rw-r--r--html-test/ref/LinearTypes.html108
-rw-r--r--html-test/ref/TypeFamilies.html210
-rw-r--r--html-test/src/LinearTypes.hs14
6 files changed, 386 insertions, 122 deletions
diff --git a/html-test/ref/Bug1004.html b/html-test/ref/Bug1004.html
index b3bc60cc..9327f8ee 100644
--- a/html-test/ref/Bug1004.html
+++ b/html-test/ref/Bug1004.html
@@ -1888,7 +1888,149 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Rep1:21"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Semigroup:21"
+ ></span
+ > (<a href="#" title="Prelude"
+ >Semigroup</a
+ > (f a), <a href="#" title="Prelude"
+ >Semigroup</a
+ > (g a)) =&gt; <a href="#" title="Prelude"
+ >Semigroup</a
+ > (<a href="#" title="Bug1004"
+ >Product</a
+ > f g a)</span
+ ></td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.16.0.0</em
+ ></p
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><details id="i:id:Product:Semigroup:21"
+ ><summary class="hide-when-js-enabled"
+ >Instance details</summary
+ ><p
+ >Defined in <a href="#"
+ >Data.Functor.Product</a
+ ></p
+ > <div class="subs methods"
+ ><p class="caption"
+ >Methods</p
+ ><p class="src"
+ ><a href="#"
+ >(&lt;&gt;)</a
+ > :: <a href="#" title="Bug1004"
+ >Product</a
+ > f g a -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g a -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g a <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >sconcat</a
+ > :: <a href="#" title="Data.List.NonEmpty"
+ >NonEmpty</a
+ > (<a href="#" title="Bug1004"
+ >Product</a
+ > f g a) -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g a <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >stimes</a
+ > :: <a href="#" title="Prelude"
+ >Integral</a
+ > b =&gt; b -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g a -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g a <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ></details
+ ></td
+ ></tr
+ ><tr
+ ><td class="src clearfix"
+ ><span class="inst-left"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Monoid:22"
+ ></span
+ > (<a href="#" title="Data.Monoid"
+ >Monoid</a
+ > (f a), <a href="#" title="Data.Monoid"
+ >Monoid</a
+ > (g a)) =&gt; <a href="#" title="Data.Monoid"
+ >Monoid</a
+ > (<a href="#" title="Bug1004"
+ >Product</a
+ > f g a)</span
+ ></td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.16.0.0</em
+ ></p
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><details id="i:id:Product:Monoid:22"
+ ><summary class="hide-when-js-enabled"
+ >Instance details</summary
+ ><p
+ >Defined in <a href="#"
+ >Data.Functor.Product</a
+ ></p
+ > <div class="subs methods"
+ ><p class="caption"
+ >Methods</p
+ ><p class="src"
+ ><a href="#"
+ >mempty</a
+ > :: <a href="#" title="Bug1004"
+ >Product</a
+ > f g a <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >mappend</a
+ > :: <a href="#" title="Bug1004"
+ >Product</a
+ > f g a -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g a -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g a <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >mconcat</a
+ > :: [<a href="#" title="Bug1004"
+ >Product</a
+ > f g a] -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g a <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ></details
+ ></td
+ ></tr
+ ><tr
+ ><td class="src clearfix"
+ ><span class="inst-left"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Rep1:23"
></span
> <span class="keyword"
>type</span
@@ -1905,7 +2047,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:Rep1:21"
+ ><details id="i:id:Product:Rep1:23"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -1980,7 +2122,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Rep:22"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Rep:24"
></span
> <span class="keyword"
>type</span
@@ -1995,7 +2137,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:Rep:22"
+ ><details id="i:id:Product:Rep:24"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
diff --git a/html-test/ref/Bug1035.html b/html-test/ref/Bug1035.html
index 5e4d6f82..6594064e 100644
--- a/html-test/ref/Bug1035.html
+++ b/html-test/ref/Bug1035.html
@@ -132,7 +132,7 @@
><p
>A link to <code
><a href="#" title="Bug1035"
- >Bar</a
+ >Foo</a
></code
></p
></div
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html
index 59faf609..65ec1cae 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -50,14 +50,14 @@
><li class="src short"
><span class="keyword"
>type family</span
- > (a :: <a href="#" title="GHC.TypeNats"
- >Nat</a
+ > (a :: <a href="#" title="Numeric.Natural"
+ >Natural</a
>) <a href="#"
>+</a
- > (b :: <a href="#" title="GHC.TypeNats"
- >Nat</a
- >) :: <a href="#" title="GHC.TypeNats"
- >Nat</a
+ > (b :: <a href="#" title="Numeric.Natural"
+ >Natural</a
+ >) :: <a href="#" title="Numeric.Natural"
+ >Natural</a
> <span class="keyword"
>where ...</span
></li
@@ -71,14 +71,14 @@
><p class="src"
><span class="keyword"
>type family</span
- > (a :: <a href="#" title="GHC.TypeNats"
- >Nat</a
+ > (a :: <a href="#" title="Numeric.Natural"
+ >Natural</a
>) <a id="t:-43-" class="def"
>+</a
- > (b :: <a href="#" title="GHC.TypeNats"
- >Nat</a
- >) :: <a href="#" title="GHC.TypeNats"
- >Nat</a
+ > (b :: <a href="#" title="Numeric.Natural"
+ >Natural</a
+ >) :: <a href="#" title="Numeric.Natural"
+ >Natural</a
> <span class="keyword"
>where ...</span
> <span class="fixity"
diff --git a/html-test/ref/LinearTypes.html b/html-test/ref/LinearTypes.html
new file mode 100644
index 00000000..48ad04e2
--- /dev/null
+++ b/html-test/ref/LinearTypes.html
@@ -0,0 +1,108 @@
+<html xmlns="http://www.w3.org/1999/xhtml"
+><head
+ ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><meta name="viewport" content="width=device-width, initial-scale=1"
+ /><title
+ >LinearTypes</title
+ ><link href="#" rel="stylesheet" type="text/css" title="Linuwial"
+ /><link rel="stylesheet" type="text/css" href="#"
+ /><link rel="stylesheet" type="text/css" href="#"
+ /><script src="haddock-bundle.min.js" async="async" type="text/javascript"
+ ></script
+ ><script type="text/x-mathjax-config"
+ >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"
+ >&nbsp;</span
+ ><ul class="links" id="page-menu"
+ ><li
+ ><a href="#"
+ >Contents</a
+ ></li
+ ><li
+ ><a href="#"
+ >Index</a
+ ></li
+ ></ul
+ ></div
+ ><div id="content"
+ ><div id="module-header"
+ ><table class="info"
+ ><tr
+ ><th
+ >Safe Haskell</th
+ ><td
+ >Safe-Inferred</td
+ ></tr
+ ></table
+ ><p class="caption"
+ >LinearTypes</p
+ ></div
+ ><div id="synopsis"
+ ><details id="syn"
+ ><summary
+ >Synopsis</summary
+ ><ul class="details-toggle" data-details-id="syn"
+ ><li class="src short"
+ ><a href="#"
+ >unrestricted</a
+ > :: a -&gt; b</li
+ ><li class="src short"
+ ><a href="#"
+ >linear</a
+ > :: a %1 -&gt; b</li
+ ><li class="src short"
+ ><a href="#"
+ >poly</a
+ > :: a %m -&gt; b</li
+ ></ul
+ ></details
+ ></div
+ ><div id="interface"
+ ><h1
+ >Documentation</h1
+ ><div class="top"
+ ><p class="src"
+ ><a id="v:unrestricted" class="def"
+ >unrestricted</a
+ > :: a -&gt; b <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >Does something unrestricted.</p
+ ></div
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><a id="v:linear" class="def"
+ >linear</a
+ > :: a %1 -&gt; b <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >Does something linear.</p
+ ></div
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><a id="v:poly" class="def"
+ >poly</a
+ > :: a %m -&gt; b <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >Does something polymorphic.</p
+ ></div
+ ></div
+ ></div
+ ></div
+ ></body
+ ></html
+>
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 998b6d8c..7ca50972 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -222,37 +222,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-62--60-:1"
- ></span
- > '<a href="#" title="TypeFamilies"
- >XX</a
- > <a href="#" title="TypeFamilies"
- >&gt;&lt;</a
- > '<a href="#" title="TypeFamilies"
- >XXX</a
- ></span
- > <a href="#" class="selflink"
- >#</a
- ></td
- ><td class="doc empty"
- >&nbsp;</td
- ></tr
- ><tr
- ><td colspan="2"
- ><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
- ><tr
- ><td class="src clearfix"
- ><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Assoc:2"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Assoc:1"
></span
> <a href="#" title="TypeFamilies"
>Assoc</a
@@ -269,7 +239,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:Assoc:2"
+ ><details id="i:id:X:Assoc:1"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -306,7 +276,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Test:3"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Test:2"
></span
> <a href="#" title="TypeFamilies"
>Test</a
@@ -323,7 +293,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:Test:3"
+ ><details id="i:id:X:Test:2"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -336,68 +306,56 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:4"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-62--60-:3"
></span
- > <span class="keyword"
- >type</span
- > <a href="#" title="TypeFamilies2"
- >Foo</a
+ > '<a href="#" title="TypeFamilies"
+ >XX</a
> <a href="#" title="TypeFamilies"
- >X</a
+ >&gt;&lt;</a
+ > '<a href="#" title="TypeFamilies"
+ >XXX</a
></span
> <a href="#" class="selflink"
>#</a
></td
- ><td class="doc"
- ><p
- >External instance</p
- ></td
+ ><td class="doc empty"
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:Foo:4"
+ ><details id="i:id:X:-62--60-:3"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
>Defined in <a href="#"
>TypeFamilies</a
></p
- > <div class="src"
- ><span class="keyword"
- >type</span
- > <a href="#" title="TypeFamilies2"
- >Foo</a
- > <a href="#" title="TypeFamilies"
- >X</a
- > = <a href="#" title="TypeFamilies"
- >Y</a
- ></div
></details
></td
></tr
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:5"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:4"
></span
> <span class="keyword"
>type</span
- > '<a href="#" title="TypeFamilies"
- >XXX</a
+ > <a href="#" title="TypeFamilies2"
+ >Foo</a
> <a href="#" title="TypeFamilies"
- >&lt;&gt;</a
- > '<a href="#" title="TypeFamilies"
- >XX</a
+ >X</a
></span
> <a href="#" class="selflink"
>#</a
></td
- ><td class="doc empty"
- >&nbsp;</td
+ ><td class="doc"
+ ><p
+ >External instance</p
+ ></td
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:-60--62-:5"
+ ><details id="i:id:X:Foo:4"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -407,14 +365,12 @@
> <div class="src"
><span class="keyword"
>type</span
- > '<a href="#" title="TypeFamilies"
- >XXX</a
+ > <a href="#" title="TypeFamilies2"
+ >Foo</a
> <a href="#" title="TypeFamilies"
- >&lt;&gt;</a
- > '<a href="#" title="TypeFamilies"
- >XX</a
- > = '<a href="#" title="TypeFamilies"
>X</a
+ > = <a href="#" title="TypeFamilies"
+ >Y</a
></div
></details
></td
@@ -422,7 +378,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocD:6"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocD:5"
></span
> <span class="keyword"
>data</span
@@ -439,7 +395,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:AssocD:6"
+ ><details id="i:id:X:AssocD:5"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -462,7 +418,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocT:7"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocT:6"
></span
> <span class="keyword"
>type</span
@@ -479,7 +435,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:AssocT:7"
+ ><details id="i:id:X:AssocT:6"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -506,7 +462,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Bat:8"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Bat:7"
></span
> <span class="keyword"
>data</span
@@ -525,7 +481,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:Bat:8"
+ ><details id="i:id:X:Bat:7"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -572,7 +528,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:9"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:8"
></span
> <span class="keyword"
>type</span
@@ -591,7 +547,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:Foo:9"
+ ><details id="i:id:X:Foo:8"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -614,7 +570,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:10"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:9"
></span
> <span class="keyword"
>type</span
@@ -633,7 +589,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:X:-60--62-:10"
+ ><details id="i:id:X:-60--62-:9"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -655,6 +611,50 @@
></details
></td
></tr
+ ><tr
+ ><td class="src clearfix"
+ ><span class="inst-left"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:10"
+ ></span
+ > <span class="keyword"
+ >type</span
+ > '<a href="#" title="TypeFamilies"
+ >XXX</a
+ > <a href="#" title="TypeFamilies"
+ >&lt;&gt;</a
+ > '<a href="#" title="TypeFamilies"
+ >XX</a
+ ></span
+ > <a href="#" class="selflink"
+ >#</a
+ ></td
+ ><td class="doc empty"
+ >&nbsp;</td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><details id="i:id:X:-60--62-:10"
+ ><summary class="hide-when-js-enabled"
+ >Instance details</summary
+ ><p
+ >Defined in <a href="#"
+ >TypeFamilies</a
+ ></p
+ > <div class="src"
+ ><span class="keyword"
+ >type</span
+ > '<a href="#" title="TypeFamilies"
+ >XXX</a
+ > <a href="#" title="TypeFamilies"
+ >&lt;&gt;</a
+ > '<a href="#" title="TypeFamilies"
+ >XX</a
+ > = '<a href="#" title="TypeFamilies"
+ >X</a
+ ></div
+ ></details
+ ></td
+ ></tr
></table
></details
></div
@@ -1738,13 +1738,13 @@
></span
> <span class="keyword"
>type</span
- > '<a href="#" title="TypeFamilies"
- >XXX</a
+ > <a href="#" title="TypeFamilies"
+ >Y</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > '<a href="#" title="TypeFamilies"
- >XX</a
- ></span
+ > (a :: <a href="#" title="Data.Kind"
+ >Type</a
+ >)</span
> <a href="#" class="selflink"
>#</a
></td
@@ -1763,15 +1763,13 @@
> <div class="src"
><span class="keyword"
>type</span
- > '<a href="#" title="TypeFamilies"
- >XXX</a
+ > <a href="#" title="TypeFamilies"
+ >Y</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > '<a href="#" title="TypeFamilies"
- >XX</a
- > = '<a href="#" title="TypeFamilies"
- >X</a
- ></div
+ > (a :: <a href="#" title="Data.Kind"
+ >Type</a
+ >) = a</div
></details
></td
></tr
@@ -1783,7 +1781,7 @@
> <span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
- >Y</a
+ >X</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> (a :: <a href="#" title="Data.Kind"
@@ -1808,12 +1806,14 @@
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
- >Y</a
+ >X</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> (a :: <a href="#" title="Data.Kind"
>Type</a
- >) = a</div
+ >) = <a href="#" title="TypeFamilies"
+ >X</a
+ ></div
></details
></td
></tr
@@ -1824,13 +1824,13 @@
></span
> <span class="keyword"
>type</span
- > <a href="#" title="TypeFamilies"
- >X</a
+ > '<a href="#" title="TypeFamilies"
+ >XXX</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > (a :: <a href="#" title="Data.Kind"
- >Type</a
- >)</span
+ > '<a href="#" title="TypeFamilies"
+ >XX</a
+ ></span
> <a href="#" class="selflink"
>#</a
></td
@@ -1849,13 +1849,13 @@
> <div class="src"
><span class="keyword"
>type</span
- > <a href="#" title="TypeFamilies"
- >X</a
+ > '<a href="#" title="TypeFamilies"
+ >XXX</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
- > (a :: <a href="#" title="Data.Kind"
- >Type</a
- >) = <a href="#" title="TypeFamilies"
+ > '<a href="#" title="TypeFamilies"
+ >XX</a
+ > = '<a href="#" title="TypeFamilies"
>X</a
></div
></details
diff --git a/html-test/src/LinearTypes.hs b/html-test/src/LinearTypes.hs
new file mode 100644
index 00000000..cb4eb138
--- /dev/null
+++ b/html-test/src/LinearTypes.hs
@@ -0,0 +1,14 @@
+{-# LANGUAGE LinearTypes #-}
+module LinearTypes where
+
+-- | Does something unrestricted.
+unrestricted :: a -> b
+unrestricted = undefined
+
+-- | Does something linear.
+linear :: a %1 -> b
+linear = linear
+
+-- | Does something polymorphic.
+poly :: a %m -> b
+poly = poly