aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref')
-rw-r--r--html-test/ref/Bug548.html600
1 files changed, 600 insertions, 0 deletions
diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html
new file mode 100644
index 00000000..1ae91878
--- /dev/null
+++ b/html-test/ref/Bug548.html
@@ -0,0 +1,600 @@
+<html xmlns="http://www.w3.org/1999/xhtml"
+><head
+ ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><title
+ >Bug548</title
+ ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ /><link rel="stylesheet" type="text/css" href="#"
+ /><script src="haddock-bundle.min.js" async="async" type="text/javascript"
+ ></script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ></script
+ ></head
+ ><body
+ ><div id="package-header"
+ ><ul class="links" id="page-menu"
+ ><li
+ ><a href="#"
+ >Contents</a
+ ></li
+ ><li
+ ><a href="#"
+ >Index</a
+ ></li
+ ></ul
+ ><p class="caption empty"
+ ></p
+ ></div
+ ><div id="content"
+ ><div id="module-header"
+ ><table class="info"
+ ><tr
+ ><th
+ >Safe Haskell</th
+ ><td
+ >Safe</td
+ ></tr
+ ></table
+ ><p class="caption"
+ >Bug548</p
+ ></div
+ ><div id="interface"
+ ><h1
+ >Documentation</h1
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >newtype</span
+ > <a id="t:WrappedArrow" class="def"
+ >WrappedArrow</a
+ > (a :: <a href="#"
+ >*</a
+ > -&gt; <a href="#"
+ >*</a
+ > -&gt; <a href="#"
+ >*</a
+ >) b c <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="subs constructors"
+ ><p class="caption"
+ >Constructors</p
+ ><table
+ ><tr
+ ><td class="src"
+ ><a id="v:WrapArrow" class="def"
+ >WrapArrow</a
+ ></td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><div class="subs fields"
+ ><p class="caption"
+ >Fields</p
+ ><ul
+ ><li
+ ><dfn class="src"
+ ><a id="v:unwrapArrow" class="def"
+ >unwrapArrow</a
+ > :: a b c</dfn
+ ><div class="doc empty"
+ ></div
+ ></li
+ ></ul
+ ></div
+ ></td
+ ></tr
+ ></table
+ ></div
+ ><div class="subs instances"
+ ><details id="i:WrappedArrow" open="open"
+ ><summary
+ >Instances</summary
+ ><table
+ ><tr
+ ><td class="src clearfix"
+ ><span class="inst-left"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:WrappedArrow:Generic1:1"
+ ></span
+ > <a href="#"
+ >Generic1</a
+ > <a href="#"
+ >*</a
+ > (<a href="#"
+ >WrappedArrow</a
+ > a b)</span
+ ></td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><details id="i:id:WrappedArrow:Generic1:1"
+ ><summary class="hide-when-js-enabled"
+ >Instance details</summary
+ ><div class="subs associated-types"
+ ><p class="caption"
+ >Associated Types</p
+ ><p class="src"
+ ><span class="keyword"
+ >type</span
+ > <a href="#"
+ >Rep1</a
+ > (<a href="#"
+ >WrappedArrow</a
+ > a b) (f :: <a href="#"
+ >WrappedArrow</a
+ > a b -&gt; <a href="#"
+ >*</a
+ >) :: k -&gt; <a href="#"
+ >*</a
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ > <div class="subs methods"
+ ><p class="caption"
+ >Methods</p
+ ><p class="src"
+ ><a href="#"
+ >from1</a
+ > :: f a0 -&gt; <a href="#"
+ >Rep1</a
+ > (<a href="#"
+ >WrappedArrow</a
+ > a b) f a0 <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >to1</a
+ > :: <a href="#"
+ >Rep1</a
+ > (<a href="#"
+ >WrappedArrow</a
+ > a b) f a0 -&gt; f a0 <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:WrappedArrow:Functor:2"
+ ></span
+ > <a href="#"
+ >Arrow</a
+ > a =&gt; <a href="#"
+ >Functor</a
+ > (<a href="#"
+ >WrappedArrow</a
+ > a b)</span
+ ></td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: 2.1</em
+ ></p
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><details id="i:id:WrappedArrow:Functor:2"
+ ><summary class="hide-when-js-enabled"
+ >Instance details</summary
+ ><div class="subs methods"
+ ><p class="caption"
+ >Methods</p
+ ><p class="src"
+ ><a href="#"
+ >fmap</a
+ > :: (a0 -&gt; b0) -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b a0 -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b b0 <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >(&lt;$)</a
+ > :: a0 -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b b0 -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b a0 <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:WrappedArrow:Applicative:3"
+ ></span
+ > <a href="#"
+ >Arrow</a
+ > a =&gt; <a href="#"
+ >Applicative</a
+ > (<a href="#"
+ >WrappedArrow</a
+ > a b)</span
+ ></td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: 2.1</em
+ ></p
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><details id="i:id:WrappedArrow:Applicative:3"
+ ><summary class="hide-when-js-enabled"
+ >Instance details</summary
+ ><div class="subs methods"
+ ><p class="caption"
+ >Methods</p
+ ><p class="src"
+ ><a href="#"
+ >pure</a
+ > :: a0 -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b a0 <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >(&lt;*&gt;)</a
+ > :: <a href="#"
+ >WrappedArrow</a
+ > a b (a0 -&gt; b0) -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b a0 -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b b0 <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >liftA2</a
+ > :: (a0 -&gt; b0 -&gt; c) -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b a0 -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b b0 -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b c <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >(*&gt;)</a
+ > :: <a href="#"
+ >WrappedArrow</a
+ > a b a0 -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b b0 -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b b0 <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >(&lt;*)</a
+ > :: <a href="#"
+ >WrappedArrow</a
+ > a b a0 -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b b0 -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b a0 <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:WrappedArrow:Alternative:4"
+ ></span
+ > (<a href="#"
+ >ArrowZero</a
+ > a, <a href="#"
+ >ArrowPlus</a
+ > a) =&gt; <a href="#"
+ >Alternative</a
+ > (<a href="#"
+ >WrappedArrow</a
+ > a b)</span
+ ></td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: 2.1</em
+ ></p
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><details id="i:id:WrappedArrow:Alternative:4"
+ ><summary class="hide-when-js-enabled"
+ >Instance details</summary
+ ><div class="subs methods"
+ ><p class="caption"
+ >Methods</p
+ ><p class="src"
+ ><a href="#"
+ >empty</a
+ > :: <a href="#"
+ >WrappedArrow</a
+ > a b a0 <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >(&lt;|&gt;)</a
+ > :: <a href="#"
+ >WrappedArrow</a
+ > a b a0 -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b a0 -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b a0 <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >some</a
+ > :: <a href="#"
+ >WrappedArrow</a
+ > a b a0 -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b [a0] <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >many</a
+ > :: <a href="#"
+ >WrappedArrow</a
+ > a b a0 -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b [a0] <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:WrappedArrow:Generic:5"
+ ></span
+ > <a href="#"
+ >Generic</a
+ > (<a href="#"
+ >WrappedArrow</a
+ > a b c)</span
+ ></td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><details id="i:id:WrappedArrow:Generic:5"
+ ><summary class="hide-when-js-enabled"
+ >Instance details</summary
+ ><div class="subs associated-types"
+ ><p class="caption"
+ >Associated Types</p
+ ><p class="src"
+ ><span class="keyword"
+ >type</span
+ > <a href="#"
+ >Rep</a
+ > (<a href="#"
+ >WrappedArrow</a
+ > a b c) :: <a href="#"
+ >*</a
+ > -&gt; <a href="#"
+ >*</a
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ > <div class="subs methods"
+ ><p class="caption"
+ >Methods</p
+ ><p class="src"
+ ><a href="#"
+ >from</a
+ > :: <a href="#"
+ >WrappedArrow</a
+ > a b c -&gt; <a href="#"
+ >Rep</a
+ > (<a href="#"
+ >WrappedArrow</a
+ > a b c) x <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >to</a
+ > :: <a href="#"
+ >Rep</a
+ > (<a href="#"
+ >WrappedArrow</a
+ > a b c) x -&gt; <a href="#"
+ >WrappedArrow</a
+ > a b c <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:WrappedArrow:Rep1:6"
+ ></span
+ > <span class="keyword"
+ >type</span
+ > <a href="#"
+ >Rep1</a
+ > <a href="#"
+ >*</a
+ > (<a href="#"
+ >WrappedArrow</a
+ > a b)</span
+ ></td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><details id="i:id:WrappedArrow:Rep1:6"
+ ><summary class="hide-when-js-enabled"
+ >Instance details</summary
+ ><div class="src"
+ ><span class="keyword"
+ >type</span
+ > <a href="#"
+ >Rep1</a
+ > <a href="#"
+ >*</a
+ > (<a href="#"
+ >WrappedArrow</a
+ > a b) = <a href="#"
+ >D1</a
+ > <a href="#"
+ >*</a
+ > (<a href="#"
+ >MetaData</a
+ > &quot;WrappedArrow&quot; &quot;Control.Applicative&quot; &quot;base&quot; <a href="#"
+ >True</a
+ >) (<a href="#"
+ >C1</a
+ > <a href="#"
+ >*</a
+ > (<a href="#"
+ >MetaCons</a
+ > &quot;WrapArrow&quot; <a href="#"
+ >PrefixI</a
+ > <a href="#"
+ >True</a
+ >) (<a href="#"
+ >S1</a
+ > <a href="#"
+ >*</a
+ > (<a href="#"
+ >MetaSel</a
+ > (<a href="#"
+ >Just</a
+ > <a href="#"
+ >Symbol</a
+ > &quot;unwrapArrow&quot;) <a href="#"
+ >NoSourceUnpackedness</a
+ > <a href="#"
+ >NoSourceStrictness</a
+ > <a href="#"
+ >DecidedLazy</a
+ >) (<a href="#"
+ >Rec1</a
+ > <a href="#"
+ >*</a
+ > (a b))))</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:WrappedArrow:Rep:7"
+ ></span
+ > <span class="keyword"
+ >type</span
+ > <a href="#"
+ >Rep</a
+ > (<a href="#"
+ >WrappedArrow</a
+ > a b c)</span
+ ></td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><details id="i:id:WrappedArrow:Rep:7"
+ ><summary class="hide-when-js-enabled"
+ >Instance details</summary
+ ><div class="src"
+ ><span class="keyword"
+ >type</span
+ > <a href="#"
+ >Rep</a
+ > (<a href="#"
+ >WrappedArrow</a
+ > a b c) = <a href="#"
+ >D1</a
+ > <a href="#"
+ >*</a
+ > (<a href="#"
+ >MetaData</a
+ > &quot;WrappedArrow&quot; &quot;Control.Applicative&quot; &quot;base&quot; <a href="#"
+ >True</a
+ >) (<a href="#"
+ >C1</a
+ > <a href="#"
+ >*</a
+ > (<a href="#"
+ >MetaCons</a
+ > &quot;WrapArrow&quot; <a href="#"
+ >PrefixI</a
+ > <a href="#"
+ >True</a
+ >) (<a href="#"
+ >S1</a
+ > <a href="#"
+ >*</a
+ > (<a href="#"
+ >MetaSel</a
+ > (<a href="#"
+ >Just</a
+ > <a href="#"
+ >Symbol</a
+ > &quot;unwrapArrow&quot;) <a href="#"
+ >NoSourceUnpackedness</a
+ > <a href="#"
+ >NoSourceStrictness</a
+ > <a href="#"
+ >DecidedLazy</a
+ >) (<a href="#"
+ >Rec0</a
+ > <a href="#"
+ >*</a
+ > (a b c))))</div
+ ></details
+ ></td
+ ></tr
+ ></table
+ ></details
+ ></div
+ ></div
+ ></div
+ ></div
+ ><div id="footer"
+ ></div
+ ></body
+ ></html
+> \ No newline at end of file