aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Bug1004.html
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref/Bug1004.html')
-rw-r--r--html-test/ref/Bug1004.html1012
1 files changed, 506 insertions, 506 deletions
diff --git a/html-test/ref/Bug1004.html b/html-test/ref/Bug1004.html
index b4ce3c88..cd959f7f 100644
--- a/html-test/ref/Bug1004.html
+++ b/html-test/ref/Bug1004.html
@@ -182,135 +182,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Monad:2"
- ></span
- > (<a href="#" title="Control.Monad"
- >Monad</a
- > f, <a href="#" title="Control.Monad"
- >Monad</a
- > g) =&gt; <a href="#" title="Control.Monad"
- >Monad</a
- > (<a href="#" title="Bug1004"
- >Product</a
- > f g)</span
- ></td
- ><td class="doc"
- ><p
- ><em
- >Since: base-4.9.0.0</em
- ></p
- ></td
- ></tr
- ><tr
- ><td colspan="2"
- ><details id="i:id:Product:Monad:2"
- ><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="#"
- >(&gt;&gt;=)</a
- > :: <a href="#" title="Bug1004"
- >Product</a
- > f g a -&gt; (a -&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g b) -&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g b <a href="#" class="selflink"
- >#</a
- ></p
- ><p class="src"
- ><a href="#"
- >(&gt;&gt;)</a
- > :: <a href="#" title="Bug1004"
- >Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g b -&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g b <a href="#" class="selflink"
- >#</a
- ></p
- ><p class="src"
- ><a href="#"
- >return</a
- > :: 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:Functor:3"
- ></span
- > (<a href="#" title="Data.Functor"
- >Functor</a
- > f, <a href="#" title="Data.Functor"
- >Functor</a
- > g) =&gt; <a href="#" title="Data.Functor"
- >Functor</a
- > (<a href="#" title="Bug1004"
- >Product</a
- > f g)</span
- ></td
- ><td class="doc"
- ><p
- ><em
- >Since: base-4.9.0.0</em
- ></p
- ></td
- ></tr
- ><tr
- ><td colspan="2"
- ><details id="i:id:Product:Functor:3"
- ><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="#"
- >fmap</a
- > :: (a -&gt; b) -&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g b <a href="#" class="selflink"
- >#</a
- ></p
- ><p class="src"
- ><a href="#"
- >(&lt;$)</a
- > :: a -&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g b -&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:MonadFix:4"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:MonadFix:2"
></span
> (<a href="#" title="Control.Monad.Fix"
>MonadFix</a
@@ -331,7 +203,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:MonadFix:4"
+ ><details id="i:id:Product:MonadFix:2"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -358,14 +230,14 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Applicative:5"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:MonadZip:3"
></span
- > (<a href="#" title="Control.Applicative"
- >Applicative</a
- > f, <a href="#" title="Control.Applicative"
- >Applicative</a
- > g) =&gt; <a href="#" title="Control.Applicative"
- >Applicative</a
+ > (<a href="#" title="Control.Monad.Zip"
+ >MonadZip</a
+ > f, <a href="#" title="Control.Monad.Zip"
+ >MonadZip</a
+ > g) =&gt; <a href="#" title="Control.Monad.Zip"
+ >MonadZip</a
> (<a href="#" title="Bug1004"
>Product</a
> f g)</span
@@ -379,7 +251,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:Applicative:5"
+ ><details id="i:id:Product:MonadZip:3"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -391,58 +263,38 @@
>Methods</p
><p class="src"
><a href="#"
- >pure</a
- > :: a -&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g a <a href="#" class="selflink"
- >#</a
- ></p
- ><p class="src"
- ><a href="#"
- >(&lt;*&gt;)</a
+ >mzip</a
> :: <a href="#" title="Bug1004"
>Product</a
- > f g (a -&gt; b) -&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g b <a href="#" class="selflink"
- >#</a
- ></p
- ><p class="src"
- ><a href="#"
- >liftA2</a
- > :: (a -&gt; b -&gt; c) -&gt; <a href="#" title="Bug1004"
- >Product</a
> f g a -&gt; <a href="#" title="Bug1004"
>Product</a
> f g b -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g c <a href="#" class="selflink"
+ > f g (a, b) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
- >(*&gt;)</a
- > :: <a href="#" title="Bug1004"
+ >mzipWith</a
+ > :: (a -&gt; b -&gt; c) -&gt; <a href="#" title="Bug1004"
>Product</a
> f g a -&gt; <a href="#" title="Bug1004"
>Product</a
> f g b -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g b <a href="#" class="selflink"
+ > f g c <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
- >(&lt;*)</a
+ >munzip</a
> :: <a href="#" title="Bug1004"
>Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
+ > f g (a, b) -&gt; (<a href="#" title="Bug1004"
>Product</a
- > f g b -&gt; <a href="#" title="Bug1004"
+ > f g a, <a href="#" title="Bug1004"
>Product</a
- > f g a <a href="#" class="selflink"
+ > f g b) <a href="#" class="selflink"
>#</a
></p
></div
@@ -452,7 +304,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Foldable:6"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Foldable:4"
></span
> (<a href="#" title="Data.Foldable"
>Foldable</a
@@ -473,7 +325,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:Foldable:6"
+ ><details id="i:id:Product:Foldable:4"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -648,14 +500,14 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Traversable:7"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Eq1:5"
></span
- > (<a href="#" title="Data.Traversable"
- >Traversable</a
- > f, <a href="#" title="Data.Traversable"
- >Traversable</a
- > g) =&gt; <a href="#" title="Data.Traversable"
- >Traversable</a
+ > (<a href="#" title="Data.Functor.Classes"
+ >Eq1</a
+ > f, <a href="#" title="Data.Functor.Classes"
+ >Eq1</a
+ > g) =&gt; <a href="#" title="Data.Functor.Classes"
+ >Eq1</a
> (<a href="#" title="Bug1004"
>Product</a
> f g)</span
@@ -669,7 +521,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:Traversable:7"
+ ><details id="i:id:Product:Eq1:5"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -681,50 +533,16 @@
>Methods</p
><p class="src"
><a href="#"
- >traverse</a
- > :: <a href="#" title="Control.Applicative"
- >Applicative</a
- > f0 =&gt; (a -&gt; f0 b) -&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g a -&gt; f0 (<a href="#" title="Bug1004"
- >Product</a
- > f g b) <a href="#" class="selflink"
- >#</a
- ></p
- ><p class="src"
- ><a href="#"
- >sequenceA</a
- > :: <a href="#" title="Control.Applicative"
- >Applicative</a
- > f0 =&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g (f0 a) -&gt; f0 (<a href="#" title="Bug1004"
- >Product</a
- > f g a) <a href="#" class="selflink"
- >#</a
- ></p
- ><p class="src"
- ><a href="#"
- >mapM</a
- > :: <a href="#" title="Control.Monad"
- >Monad</a
- > m =&gt; (a -&gt; m b) -&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g a -&gt; m (<a href="#" title="Bug1004"
- >Product</a
- > f g b) <a href="#" class="selflink"
- >#</a
- ></p
- ><p class="src"
- ><a href="#"
- >sequence</a
- > :: <a href="#" title="Control.Monad"
- >Monad</a
- > m =&gt; <a href="#" title="Bug1004"
+ >liftEq</a
+ > :: (a -&gt; b -&gt; <a href="#" title="Data.Bool"
+ >Bool</a
+ >) -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g (m a) -&gt; m (<a href="#" title="Bug1004"
+ > f g a -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g a) <a href="#" class="selflink"
+ > f g b -&gt; <a href="#" title="Data.Bool"
+ >Bool</a
+ > <a href="#" class="selflink"
>#</a
></p
></div
@@ -734,14 +552,14 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Show1:8"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Ord1:6"
></span
> (<a href="#" title="Data.Functor.Classes"
- >Show1</a
+ >Ord1</a
> f, <a href="#" title="Data.Functor.Classes"
- >Show1</a
+ >Ord1</a
> g) =&gt; <a href="#" title="Data.Functor.Classes"
- >Show1</a
+ >Ord1</a
> (<a href="#" title="Bug1004"
>Product</a
> f g)</span
@@ -755,7 +573,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:Show1:8"
+ ><details id="i:id:Product:Ord1:6"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -767,35 +585,15 @@
>Methods</p
><p class="src"
><a href="#"
- >liftShowsPrec</a
- > :: (<a href="#" title="Data.Int"
- >Int</a
- > -&gt; a -&gt; <a href="#" title="Text.Show"
- >ShowS</a
- >) -&gt; ([a] -&gt; <a href="#" title="Text.Show"
- >ShowS</a
- >) -&gt; <a href="#" title="Data.Int"
- >Int</a
- > -&gt; <a href="#" title="Bug1004"
+ >liftCompare</a
+ > :: (a -&gt; b -&gt; <a href="#" title="Data.Ord"
+ >Ordering</a
+ >) -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g a -&gt; <a href="#" title="Text.Show"
- >ShowS</a
- > <a href="#" class="selflink"
- >#</a
- ></p
- ><p class="src"
- ><a href="#"
- >liftShowList</a
- > :: (<a href="#" title="Data.Int"
- >Int</a
- > -&gt; a -&gt; <a href="#" title="Text.Show"
- >ShowS</a
- >) -&gt; ([a] -&gt; <a href="#" title="Text.Show"
- >ShowS</a
- >) -&gt; [<a href="#" title="Bug1004"
+ > f g a -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g a] -&gt; <a href="#" title="Text.Show"
- >ShowS</a
+ > f g b -&gt; <a href="#" title="Data.Ord"
+ >Ordering</a
> <a href="#" class="selflink"
>#</a
></p
@@ -806,7 +604,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Read1:9"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Read1:7"
></span
> (<a href="#" title="Data.Functor.Classes"
>Read1</a
@@ -827,7 +625,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:Read1:9"
+ ><details id="i:id:Product:Read1:7"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -906,14 +704,14 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Ord1:10"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Show1:8"
></span
> (<a href="#" title="Data.Functor.Classes"
- >Ord1</a
+ >Show1</a
> f, <a href="#" title="Data.Functor.Classes"
- >Ord1</a
+ >Show1</a
> g) =&gt; <a href="#" title="Data.Functor.Classes"
- >Ord1</a
+ >Show1</a
> (<a href="#" title="Bug1004"
>Product</a
> f g)</span
@@ -927,7 +725,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:Ord1:10"
+ ><details id="i:id:Product:Show1:8"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -939,15 +737,35 @@
>Methods</p
><p class="src"
><a href="#"
- >liftCompare</a
- > :: (a -&gt; b -&gt; <a href="#" title="Data.Ord"
- >Ordering</a
- >) -&gt; <a href="#" title="Bug1004"
+ >liftShowsPrec</a
+ > :: (<a href="#" title="Data.Int"
+ >Int</a
+ > -&gt; a -&gt; <a href="#" title="Text.Show"
+ >ShowS</a
+ >) -&gt; ([a] -&gt; <a href="#" title="Text.Show"
+ >ShowS</a
+ >) -&gt; <a href="#" title="Data.Int"
+ >Int</a
+ > -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
+ > f g a -&gt; <a href="#" title="Text.Show"
+ >ShowS</a
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >liftShowList</a
+ > :: (<a href="#" title="Data.Int"
+ >Int</a
+ > -&gt; a -&gt; <a href="#" title="Text.Show"
+ >ShowS</a
+ >) -&gt; ([a] -&gt; <a href="#" title="Text.Show"
+ >ShowS</a
+ >) -&gt; [<a href="#" title="Bug1004"
>Product</a
- > f g b -&gt; <a href="#" title="Data.Ord"
- >Ordering</a
+ > f g a] -&gt; <a href="#" title="Text.Show"
+ >ShowS</a
> <a href="#" class="selflink"
>#</a
></p
@@ -958,14 +776,14 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Eq1:11"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Traversable:9"
></span
- > (<a href="#" title="Data.Functor.Classes"
- >Eq1</a
- > f, <a href="#" title="Data.Functor.Classes"
- >Eq1</a
- > g) =&gt; <a href="#" title="Data.Functor.Classes"
- >Eq1</a
+ > (<a href="#" title="Data.Traversable"
+ >Traversable</a
+ > f, <a href="#" title="Data.Traversable"
+ >Traversable</a
+ > g) =&gt; <a href="#" title="Data.Traversable"
+ >Traversable</a
> (<a href="#" title="Bug1004"
>Product</a
> f g)</span
@@ -979,7 +797,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:Eq1:11"
+ ><details id="i:id:Product:Traversable:9"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -991,16 +809,50 @@
>Methods</p
><p class="src"
><a href="#"
- >liftEq</a
- > :: (a -&gt; b -&gt; <a href="#" title="Data.Bool"
- >Bool</a
- >) -&gt; <a href="#" title="Bug1004"
+ >traverse</a
+ > :: <a href="#" title="Control.Applicative"
+ >Applicative</a
+ > f0 =&gt; (a -&gt; f0 b) -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
+ > f g a -&gt; f0 (<a href="#" title="Bug1004"
>Product</a
- > f g b -&gt; <a href="#" title="Data.Bool"
- >Bool</a
- > <a href="#" class="selflink"
+ > f g b) <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >sequenceA</a
+ > :: <a href="#" title="Control.Applicative"
+ >Applicative</a
+ > f0 =&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g (f0 a) -&gt; f0 (<a href="#" title="Bug1004"
+ >Product</a
+ > f g a) <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >mapM</a
+ > :: <a href="#" title="Control.Monad"
+ >Monad</a
+ > m =&gt; (a -&gt; m b) -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g a -&gt; m (<a href="#" title="Bug1004"
+ >Product</a
+ > f g b) <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >sequence</a
+ > :: <a href="#" title="Control.Monad"
+ >Monad</a
+ > m =&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g (m a) -&gt; m (<a href="#" title="Bug1004"
+ >Product</a
+ > f g a) <a href="#" class="selflink"
>#</a
></p
></div
@@ -1010,14 +862,14 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:MonadZip:12"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Alternative:10"
></span
- > (<a href="#" title="Control.Monad.Zip"
- >MonadZip</a
- > f, <a href="#" title="Control.Monad.Zip"
- >MonadZip</a
- > g) =&gt; <a href="#" title="Control.Monad.Zip"
- >MonadZip</a
+ > (<a href="#" title="Control.Applicative"
+ >Alternative</a
+ > f, <a href="#" title="Control.Applicative"
+ >Alternative</a
+ > g) =&gt; <a href="#" title="Control.Applicative"
+ >Alternative</a
> (<a href="#" title="Bug1004"
>Product</a
> f g)</span
@@ -1031,7 +883,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:MonadZip:12"
+ ><details id="i:id:Product:Alternative:10"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -1043,38 +895,42 @@
>Methods</p
><p class="src"
><a href="#"
- >mzip</a
+ >empty</a
+ > :: <a href="#" title="Bug1004"
+ >Product</a
+ > f g a <a href="#" class="selflink"
+ >#</a
+ ></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 b -&gt; <a href="#" title="Bug1004"
+ > f g a -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g (a, b) <a href="#" class="selflink"
+ > f g a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
- >mzipWith</a
- > :: (a -&gt; b -&gt; c) -&gt; <a href="#" title="Bug1004"
+ >some</a
+ > :: <a href="#" title="Bug1004"
>Product</a
> f g a -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g b -&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g c <a href="#" class="selflink"
+ > f g [a] <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
- >munzip</a
+ >many</a
> :: <a href="#" title="Bug1004"
>Product</a
- > f g (a, b) -&gt; (<a href="#" title="Bug1004"
- >Product</a
- > f g a, <a href="#" title="Bug1004"
+ > f g a -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g b) <a href="#" class="selflink"
+ > f g [a] <a href="#" class="selflink"
>#</a
></p
></div
@@ -1084,14 +940,14 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:MonadPlus:13"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Applicative:11"
></span
- > (<a href="#" title="Control.Monad"
- >MonadPlus</a
- > f, <a href="#" title="Control.Monad"
- >MonadPlus</a
- > g) =&gt; <a href="#" title="Control.Monad"
- >MonadPlus</a
+ > (<a href="#" title="Control.Applicative"
+ >Applicative</a
+ > f, <a href="#" title="Control.Applicative"
+ >Applicative</a
+ > g) =&gt; <a href="#" title="Control.Applicative"
+ >Applicative</a
> (<a href="#" title="Bug1004"
>Product</a
> f g)</span
@@ -1105,7 +961,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:MonadPlus:13"
+ ><details id="i:id:Product:Applicative:11"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -1117,21 +973,57 @@
>Methods</p
><p class="src"
><a href="#"
- >mzero</a
- > :: <a href="#" title="Bug1004"
+ >pure</a
+ > :: a -&gt; <a href="#" title="Bug1004"
>Product</a
> f g a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
- >mplus</a
+ >(&lt;*&gt;)</a
+ > :: <a href="#" title="Bug1004"
+ >Product</a
+ > f g (a -&gt; b) -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g a -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g b <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >liftA2</a
+ > :: (a -&gt; b -&gt; c) -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g a -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g b -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g c <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >(*&gt;)</a
> :: <a href="#" title="Bug1004"
>Product</a
> f g a -&gt; <a href="#" title="Bug1004"
>Product</a
+ > f g b -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g b <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >(&lt;*)</a
+ > :: <a href="#" title="Bug1004"
+ >Product</a
> f g a -&gt; <a href="#" title="Bug1004"
>Product</a
+ > f g b -&gt; <a href="#" title="Bug1004"
+ >Product</a
> f g a <a href="#" class="selflink"
>#</a
></p
@@ -1142,14 +1034,14 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Alternative:14"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Functor:12"
></span
- > (<a href="#" title="Control.Applicative"
- >Alternative</a
- > f, <a href="#" title="Control.Applicative"
- >Alternative</a
- > g) =&gt; <a href="#" title="Control.Applicative"
- >Alternative</a
+ > (<a href="#" title="Data.Functor"
+ >Functor</a
+ > f, <a href="#" title="Data.Functor"
+ >Functor</a
+ > g) =&gt; <a href="#" title="Data.Functor"
+ >Functor</a
> (<a href="#" title="Bug1004"
>Product</a
> f g)</span
@@ -1163,7 +1055,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:Alternative:14"
+ ><details id="i:id:Product:Functor:12"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -1175,42 +1067,92 @@
>Methods</p
><p class="src"
><a href="#"
- >empty</a
- > :: <a href="#" title="Bug1004"
+ >fmap</a
+ > :: (a -&gt; b) -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g a <a href="#" class="selflink"
+ > f g a -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g b <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
- >(&lt;|&gt;)</a
- > :: <a href="#" title="Bug1004"
- >Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
+ >(&lt;$)</a
+ > :: a -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
+ > f g b -&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:Monad:13"
+ ></span
+ > (<a href="#" title="Control.Monad"
+ >Monad</a
+ > f, <a href="#" title="Control.Monad"
+ >Monad</a
+ > g) =&gt; <a href="#" title="Control.Monad"
+ >Monad</a
+ > (<a href="#" title="Bug1004"
+ >Product</a
+ > f g)</span
+ ></td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><details id="i:id:Product:Monad:13"
+ ><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="#"
- >some</a
+ >(&gt;&gt;=)</a
> :: <a href="#" title="Bug1004"
>Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
+ > f g a -&gt; (a -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g [a] <a href="#" class="selflink"
+ > f g b) -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g b <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
- >many</a
+ >(&gt;&gt;)</a
> :: <a href="#" title="Bug1004"
>Product</a
> f g a -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g [a] <a href="#" class="selflink"
+ > f g b -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g b <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >return</a
+ > :: a -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g a <a href="#" class="selflink"
>#</a
></p
></div
@@ -1220,19 +1162,17 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Eq:15"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:MonadPlus:14"
></span
- > (<a href="#" title="Data.Functor.Classes"
- >Eq1</a
- > f, <a href="#" title="Data.Functor.Classes"
- >Eq1</a
- > g, <a href="#" title="Data.Eq"
- >Eq</a
- > a) =&gt; <a href="#" title="Data.Eq"
- >Eq</a
+ > (<a href="#" title="Control.Monad"
+ >MonadPlus</a
+ > f, <a href="#" title="Control.Monad"
+ >MonadPlus</a
+ > g) =&gt; <a href="#" title="Control.Monad"
+ >MonadPlus</a
> (<a href="#" title="Bug1004"
>Product</a
- > f g a)</span
+ > f g)</span
></td
><td class="doc"
><p
@@ -1243,7 +1183,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:Eq:15"
+ ><details id="i:id:Product:MonadPlus:14"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -1255,26 +1195,22 @@
>Methods</p
><p class="src"
><a href="#"
- >(==)</a
+ >mzero</a
> :: <a href="#" title="Bug1004"
>Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g a -&gt; <a href="#" title="Data.Bool"
- >Bool</a
- > <a href="#" class="selflink"
+ > f g a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
- >(/=)</a
+ >mplus</a
> :: <a href="#" title="Bug1004"
>Product</a
> f g a -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g a -&gt; <a href="#" title="Data.Bool"
- >Bool</a
- > <a href="#" class="selflink"
+ > f g a -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g a <a href="#" class="selflink"
>#</a
></p
></div
@@ -1284,7 +1220,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Data:16"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Data:15"
></span
> (<a href="#" title="Data.Typeable"
>Typeable</a
@@ -1313,7 +1249,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:Data:16"
+ ><details id="i:id:Product:Data:15"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -1530,16 +1466,14 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Ord:17"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Monoid:16"
></span
- > (<a href="#" title="Data.Functor.Classes"
- >Ord1</a
- > f, <a href="#" title="Data.Functor.Classes"
- >Ord1</a
- > g, <a href="#" title="Data.Ord"
- >Ord</a
- > a) =&gt; <a href="#" title="Data.Ord"
- >Ord</a
+ > (<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
@@ -1547,13 +1481,13 @@
><td class="doc"
><p
><em
- >Since: base-4.9.0.0</em
+ >Since: base-4.16.0.0</em
></p
></td
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:Ord:17"
+ ><details id="i:id:Product:Monoid:16"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -1565,84 +1499,176 @@
>Methods</p
><p class="src"
><a href="#"
- >compare</a
+ >mempty</a
> :: <a href="#" title="Bug1004"
>Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
- >Product</a
- > f g a -&gt; <a href="#" title="Data.Ord"
- >Ordering</a
- > <a href="#" class="selflink"
+ > f g a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
- >(&lt;)</a
+ >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="Data.Bool"
- >Bool</a
- > <a href="#" class="selflink"
+ > f g a -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
- >(&lt;=)</a
- > :: <a href="#" title="Bug1004"
+ >mconcat</a
+ > :: [<a href="#" title="Bug1004"
>Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
+ > f g a] -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g a -&gt; <a href="#" title="Data.Bool"
- >Bool</a
- > <a href="#" class="selflink"
+ > 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:Semigroup:17"
+ ></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:17"
+ ><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="#"
- >(&gt;)</a
+ >(&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="Data.Bool"
- >Bool</a
- > <a href="#" class="selflink"
+ > f g a -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
- >(&gt;=)</a
- > :: <a href="#" title="Bug1004"
+ >sconcat</a
+ > :: <a href="#" title="Data.List.NonEmpty"
+ >NonEmpty</a
+ > (<a href="#" title="Bug1004"
>Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
+ > f g a) -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g a -&gt; <a href="#" title="Data.Bool"
- >Bool</a
- > <a href="#" class="selflink"
+ > f g a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
- >max</a
- > :: <a href="#" title="Bug1004"
- >Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
+ >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:Generic:18"
+ ></span
+ > <a href="#" title="GHC.Generics"
+ >Generic</a
+ > (<a href="#" title="Bug1004"
+ >Product</a
+ > f g a)</span
+ ></td
+ ><td class="doc empty"
+ >&nbsp;</td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><details id="i:id:Product:Generic:18"
+ ><summary class="hide-when-js-enabled"
+ >Instance details</summary
+ ><p
+ >Defined in <a href="#"
+ >Data.Functor.Product</a
+ ></p
+ > <div class="subs associated-types"
+ ><p class="caption"
+ >Associated Types</p
+ ><p class="src"
+ ><span class="keyword"
+ >type</span
+ > <a href="#" title="GHC.Generics"
+ >Rep</a
+ > (<a href="#" title="Bug1004"
+ >Product</a
+ > f g a) :: <a href="#" title="Data.Kind"
+ >Type</a
+ > -&gt; <a href="#" title="Data.Kind"
+ >Type</a
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ > <div class="subs methods"
+ ><p class="caption"
+ >Methods</p
><p class="src"
><a href="#"
- >min</a
+ >from</a
> :: <a href="#" title="Bug1004"
>Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
+ > f g a -&gt; <a href="#" title="GHC.Generics"
+ >Rep</a
+ > (<a href="#" title="Bug1004"
>Product</a
- > f g a -&gt; <a href="#" title="Bug1004"
+ > f g a) x <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >to</a
+ > :: <a href="#" title="GHC.Generics"
+ >Rep</a
+ > (<a href="#" title="Bug1004"
+ >Product</a
+ > f g a) x -&gt; <a href="#" title="Bug1004"
>Product</a
> f g a <a href="#" class="selflink"
>#</a
@@ -1654,7 +1680,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Read:18"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Read:19"
></span
> (<a href="#" title="Data.Functor.Classes"
>Read1</a
@@ -1677,7 +1703,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:Read:18"
+ ><details id="i:id:Product:Read:19"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -1736,7 +1762,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Show:19"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Show:20"
></span
> (<a href="#" title="Data.Functor.Classes"
>Show1</a
@@ -1759,7 +1785,7 @@
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:Show:19"
+ ><details id="i:id:Product:Show:20"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -1808,69 +1834,61 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Generic:20"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Eq:21"
></span
- > <a href="#" title="GHC.Generics"
- >Generic</a
+ > (<a href="#" title="Data.Functor.Classes"
+ >Eq1</a
+ > f, <a href="#" title="Data.Functor.Classes"
+ >Eq1</a
+ > g, <a href="#" title="Data.Eq"
+ >Eq</a
+ > a) =&gt; <a href="#" title="Data.Eq"
+ >Eq</a
> (<a href="#" title="Bug1004"
>Product</a
> f g a)</span
></td
- ><td class="doc empty"
- >&nbsp;</td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:Generic:20"
+ ><details id="i:id:Product:Eq:21"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
>Defined in <a href="#"
>Data.Functor.Product</a
></p
- > <div class="subs associated-types"
- ><p class="caption"
- >Associated Types</p
- ><p class="src"
- ><span class="keyword"
- >type</span
- > <a href="#" title="GHC.Generics"
- >Rep</a
- > (<a href="#" title="Bug1004"
- >Product</a
- > f g a) :: <a href="#" title="Data.Kind"
- >Type</a
- > -&gt; <a href="#" title="Data.Kind"
- >Type</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
> :: <a href="#" title="Bug1004"
>Product</a
- > f g a -&gt; <a href="#" title="GHC.Generics"
- >Rep</a
- > (<a href="#" title="Bug1004"
+ > f g a -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g a) x <a href="#" class="selflink"
+ > f g a -&gt; <a href="#" title="Data.Bool"
+ >Bool</a
+ > <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
- >to</a
- > :: <a href="#" title="GHC.Generics"
- >Rep</a
- > (<a href="#" title="Bug1004"
+ >(/=)</a
+ > :: <a href="#" title="Bug1004"
>Product</a
- > f g a) x -&gt; <a href="#" title="Bug1004"
+ > f g a -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g a <a href="#" class="selflink"
+ > f g a -&gt; <a href="#" title="Data.Bool"
+ >Bool</a
+ > <a href="#" class="selflink"
>#</a
></p
></div
@@ -1880,14 +1898,16 @@
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Semigroup:21"
+ ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Ord:22"
></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="Data.Functor.Classes"
+ >Ord1</a
+ > f, <a href="#" title="Data.Functor.Classes"
+ >Ord1</a
+ > g, <a href="#" title="Data.Ord"
+ >Ord</a
+ > a) =&gt; <a href="#" title="Data.Ord"
+ >Ord</a
> (<a href="#" title="Bug1004"
>Product</a
> f g a)</span
@@ -1895,13 +1915,13 @@
><td class="doc"
><p
><em
- >Since: base-4.16.0.0</em
+ >Since: base-4.9.0.0</em
></p
></td
></tr
><tr
><td colspan="2"
- ><details id="i:id:Product:Semigroup:21"
+ ><details id="i:id:Product:Ord:22"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
@@ -1913,89 +1933,67 @@
>Methods</p
><p class="src"
><a href="#"
- >(&lt;&gt;)</a
+ >compare</a
> :: <a href="#" title="Bug1004"
>Product</a
> f g a -&gt; <a href="#" title="Bug1004"
>Product</a
+ > f g a -&gt; <a href="#" title="Data.Ord"
+ >Ordering</a
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >(&lt;)</a
+ > :: <a href="#" title="Bug1004"
+ >Product</a
> f g a -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g a <a href="#" class="selflink"
+ > f g a -&gt; <a href="#" title="Data.Bool"
+ >Bool</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"
+ >(&lt;=)</a
+ > :: <a href="#" title="Bug1004"
>Product</a
- > f g a) -&gt; <a href="#" title="Bug1004"
+ > f g a -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g a <a href="#" class="selflink"
+ > f g a -&gt; <a href="#" title="Data.Bool"
+ >Bool</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"
+ >(&gt;)</a
+ > :: <a href="#" title="Bug1004"
>Product</a
> f g a -&gt; <a href="#" title="Bug1004"
>Product</a
- > f g a <a href="#" class="selflink"
+ > f g a -&gt; <a href="#" title="Data.Bool"
+ >Bool</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
+ >(&gt;=)</a
> :: <a href="#" title="Bug1004"
>Product</a
- > f g a <a href="#" class="selflink"
+ > f g a -&gt; <a href="#" title="Bug1004"
+ >Product</a
+ > f g a -&gt; <a href="#" title="Data.Bool"
+ >Bool</a
+ > <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
- >mappend</a
+ >max</a
> :: <a href="#" title="Bug1004"
>Product</a
> f g a -&gt; <a href="#" title="Bug1004"
@@ -2007,10 +2005,12 @@
></p
><p class="src"
><a href="#"
- >mconcat</a
- > :: [<a href="#" title="Bug1004"
+ >min</a
+ > :: <a href="#" title="Bug1004"
>Product</a
- > f g a] -&gt; <a href="#" title="Bug1004"
+ > 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