diff options
Diffstat (limited to 'html-test/ref/Bug1004.html')
| -rw-r--r-- | html-test/ref/Bug1004.html | 1012 |
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) => <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="#" - >(>>=)</a - > :: <a href="#" title="Bug1004" - >Product</a - > f g a -> (a -> <a href="#" title="Bug1004" - >Product</a - > f g b) -> <a href="#" title="Bug1004" - >Product</a - > f g b <a href="#" class="selflink" - >#</a - ></p - ><p class="src" - ><a href="#" - >(>>)</a - > :: <a href="#" title="Bug1004" - >Product</a - > f g a -> <a href="#" title="Bug1004" - >Product</a - > f g b -> <a href="#" title="Bug1004" - >Product</a - > f g b <a href="#" class="selflink" - >#</a - ></p - ><p class="src" - ><a href="#" - >return</a - > :: a -> <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) => <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 -> b) -> <a href="#" title="Bug1004" - >Product</a - > f g a -> <a href="#" title="Bug1004" - >Product</a - > f g b <a href="#" class="selflink" - >#</a - ></p - ><p class="src" - ><a href="#" - >(<$)</a - > :: a -> <a href="#" title="Bug1004" - >Product</a - > f g b -> <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) => <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) => <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 -> <a href="#" title="Bug1004" - >Product</a - > f g a <a href="#" class="selflink" - >#</a - ></p - ><p class="src" - ><a href="#" - >(<*>)</a + >mzip</a > :: <a href="#" title="Bug1004" >Product</a - > f g (a -> b) -> <a href="#" title="Bug1004" - >Product</a - > f g a -> <a href="#" title="Bug1004" - >Product</a - > f g b <a href="#" class="selflink" - >#</a - ></p - ><p class="src" - ><a href="#" - >liftA2</a - > :: (a -> b -> c) -> <a href="#" title="Bug1004" - >Product</a > f g a -> <a href="#" title="Bug1004" >Product</a > f g b -> <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="#" - >(*>)</a - > :: <a href="#" title="Bug1004" + >mzipWith</a + > :: (a -> b -> c) -> <a href="#" title="Bug1004" >Product</a > f g a -> <a href="#" title="Bug1004" >Product</a > f g b -> <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="#" - >(<*)</a + >munzip</a > :: <a href="#" title="Bug1004" >Product</a - > f g a -> <a href="#" title="Bug1004" + > f g (a, b) -> (<a href="#" title="Bug1004" >Product</a - > f g b -> <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) => <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) => <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 => (a -> f0 b) -> <a href="#" title="Bug1004" - >Product</a - > f g a -> 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 => <a href="#" title="Bug1004" - >Product</a - > f g (f0 a) -> 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 => (a -> m b) -> <a href="#" title="Bug1004" - >Product</a - > f g a -> 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 => <a href="#" title="Bug1004" + >liftEq</a + > :: (a -> b -> <a href="#" title="Data.Bool" + >Bool</a + >) -> <a href="#" title="Bug1004" >Product</a - > f g (m a) -> m (<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="#" 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) => <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 - > -> a -> <a href="#" title="Text.Show" - >ShowS</a - >) -> ([a] -> <a href="#" title="Text.Show" - >ShowS</a - >) -> <a href="#" title="Data.Int" - >Int</a - > -> <a href="#" title="Bug1004" + >liftCompare</a + > :: (a -> b -> <a href="#" title="Data.Ord" + >Ordering</a + >) -> <a href="#" title="Bug1004" >Product</a - > f g a -> <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 - > -> a -> <a href="#" title="Text.Show" - >ShowS</a - >) -> ([a] -> <a href="#" title="Text.Show" - >ShowS</a - >) -> [<a href="#" title="Bug1004" + > f g a -> <a href="#" title="Bug1004" >Product</a - > f g a] -> <a href="#" title="Text.Show" - >ShowS</a + > f g b -> <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) => <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 -> b -> <a href="#" title="Data.Ord" - >Ordering</a - >) -> <a href="#" title="Bug1004" + >liftShowsPrec</a + > :: (<a href="#" title="Data.Int" + >Int</a + > -> a -> <a href="#" title="Text.Show" + >ShowS</a + >) -> ([a] -> <a href="#" title="Text.Show" + >ShowS</a + >) -> <a href="#" title="Data.Int" + >Int</a + > -> <a href="#" title="Bug1004" >Product</a - > f g a -> <a href="#" title="Bug1004" + > f g a -> <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 + > -> a -> <a href="#" title="Text.Show" + >ShowS</a + >) -> ([a] -> <a href="#" title="Text.Show" + >ShowS</a + >) -> [<a href="#" title="Bug1004" >Product</a - > f g b -> <a href="#" title="Data.Ord" - >Ordering</a + > f g a] -> <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) => <a href="#" title="Data.Functor.Classes" - >Eq1</a + > (<a href="#" title="Data.Traversable" + >Traversable</a + > f, <a href="#" title="Data.Traversable" + >Traversable</a + > g) => <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 -> b -> <a href="#" title="Data.Bool" - >Bool</a - >) -> <a href="#" title="Bug1004" + >traverse</a + > :: <a href="#" title="Control.Applicative" + >Applicative</a + > f0 => (a -> f0 b) -> <a href="#" title="Bug1004" >Product</a - > f g a -> <a href="#" title="Bug1004" + > f g a -> f0 (<a href="#" title="Bug1004" >Product</a - > f g b -> <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 => <a href="#" title="Bug1004" + >Product</a + > f g (f0 a) -> 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 => (a -> m b) -> <a href="#" title="Bug1004" + >Product</a + > f g a -> 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 => <a href="#" title="Bug1004" + >Product</a + > f g (m a) -> 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) => <a href="#" title="Control.Monad.Zip" - >MonadZip</a + > (<a href="#" title="Control.Applicative" + >Alternative</a + > f, <a href="#" title="Control.Applicative" + >Alternative</a + > g) => <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="#" + >(<|>)</a > :: <a href="#" title="Bug1004" >Product</a > f g a -> <a href="#" title="Bug1004" >Product</a - > f g b -> <a href="#" title="Bug1004" + > f g a -> <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 -> b -> c) -> <a href="#" title="Bug1004" + >some</a + > :: <a href="#" title="Bug1004" >Product</a > f g a -> <a href="#" title="Bug1004" >Product</a - > f g b -> <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) -> (<a href="#" title="Bug1004" - >Product</a - > f g a, <a href="#" title="Bug1004" + > f g a -> <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) => <a href="#" title="Control.Monad" - >MonadPlus</a + > (<a href="#" title="Control.Applicative" + >Applicative</a + > f, <a href="#" title="Control.Applicative" + >Applicative</a + > g) => <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 -> <a href="#" title="Bug1004" >Product</a > f g a <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" - >mplus</a + >(<*>)</a + > :: <a href="#" title="Bug1004" + >Product</a + > f g (a -> b) -> <a href="#" title="Bug1004" + >Product</a + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g b <a href="#" class="selflink" + >#</a + ></p + ><p class="src" + ><a href="#" + >liftA2</a + > :: (a -> b -> c) -> <a href="#" title="Bug1004" + >Product</a + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g b -> <a href="#" title="Bug1004" + >Product</a + > f g c <a href="#" class="selflink" + >#</a + ></p + ><p class="src" + ><a href="#" + >(*>)</a > :: <a href="#" title="Bug1004" >Product</a > f g a -> <a href="#" title="Bug1004" >Product</a + > f g b -> <a href="#" title="Bug1004" + >Product</a + > f g b <a href="#" class="selflink" + >#</a + ></p + ><p class="src" + ><a href="#" + >(<*)</a + > :: <a href="#" title="Bug1004" + >Product</a > f g a -> <a href="#" title="Bug1004" >Product</a + > f g b -> <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) => <a href="#" title="Control.Applicative" - >Alternative</a + > (<a href="#" title="Data.Functor" + >Functor</a + > f, <a href="#" title="Data.Functor" + >Functor</a + > g) => <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 -> b) -> <a href="#" title="Bug1004" >Product</a - > f g a <a href="#" class="selflink" + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g b <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" - >(<|>)</a - > :: <a href="#" title="Bug1004" - >Product</a - > f g a -> <a href="#" title="Bug1004" + >(<$)</a + > :: a -> <a href="#" title="Bug1004" >Product</a - > f g a -> <a href="#" title="Bug1004" + > f g b -> <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) => <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 + >(>>=)</a > :: <a href="#" title="Bug1004" >Product</a - > f g a -> <a href="#" title="Bug1004" + > f g a -> (a -> <a href="#" title="Bug1004" >Product</a - > f g [a] <a href="#" class="selflink" + > f g b) -> <a href="#" title="Bug1004" + >Product</a + > f g b <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" - >many</a + >(>>)</a > :: <a href="#" title="Bug1004" >Product</a > f g a -> <a href="#" title="Bug1004" >Product</a - > f g [a] <a href="#" class="selflink" + > f g b -> <a href="#" title="Bug1004" + >Product</a + > f g b <a href="#" class="selflink" + >#</a + ></p + ><p class="src" + ><a href="#" + >return</a + > :: a -> <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) => <a href="#" title="Data.Eq" - >Eq</a + > (<a href="#" title="Control.Monad" + >MonadPlus</a + > f, <a href="#" title="Control.Monad" + >MonadPlus</a + > g) => <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 -> <a href="#" title="Bug1004" - >Product</a - > f g a -> <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 -> <a href="#" title="Bug1004" >Product</a - > f g a -> <a href="#" title="Data.Bool" - >Bool</a - > <a href="#" class="selflink" + > f g a -> <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) => <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)) => <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 -> <a href="#" title="Bug1004" - >Product</a - > f g a -> <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="#" - >(<)</a + >mappend</a > :: <a href="#" title="Bug1004" >Product</a > f g a -> <a href="#" title="Bug1004" >Product</a - > f g a -> <a href="#" title="Data.Bool" - >Bool</a - > <a href="#" class="selflink" + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g a <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" - >(<=)</a - > :: <a href="#" title="Bug1004" + >mconcat</a + > :: [<a href="#" title="Bug1004" >Product</a - > f g a -> <a href="#" title="Bug1004" + > f g a] -> <a href="#" title="Bug1004" >Product</a - > f g a -> <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)) => <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="#" - >(>)</a + >(<>)</a > :: <a href="#" title="Bug1004" >Product</a > f g a -> <a href="#" title="Bug1004" >Product</a - > f g a -> <a href="#" title="Data.Bool" - >Bool</a - > <a href="#" class="selflink" + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g a <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" - >(>=)</a - > :: <a href="#" title="Bug1004" + >sconcat</a + > :: <a href="#" title="Data.List.NonEmpty" + >NonEmpty</a + > (<a href="#" title="Bug1004" >Product</a - > f g a -> <a href="#" title="Bug1004" + > f g a) -> <a href="#" title="Bug1004" >Product</a - > f g a -> <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 -> <a href="#" title="Bug1004" + >stimes</a + > :: <a href="#" title="Prelude" + >Integral</a + > b => b -> <a href="#" title="Bug1004" >Product</a > f g a -> <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" + > </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 + > -> <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 -> <a href="#" title="Bug1004" + > f g a -> <a href="#" title="GHC.Generics" + >Rep</a + > (<a href="#" title="Bug1004" >Product</a - > f g a -> <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 -> <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) => <a href="#" title="Data.Eq" + >Eq</a > (<a href="#" title="Bug1004" >Product</a > f g a)</span ></td - ><td class="doc empty" - > </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 - > -> <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 -> <a href="#" title="GHC.Generics" - >Rep</a - > (<a href="#" title="Bug1004" + > f g a -> <a href="#" title="Bug1004" >Product</a - > f g a) x <a href="#" class="selflink" + > f g a -> <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 -> <a href="#" title="Bug1004" + > f g a -> <a href="#" title="Bug1004" >Product</a - > f g a <a href="#" class="selflink" + > f g a -> <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)) => <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) => <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="#" - >(<>)</a + >compare</a > :: <a href="#" title="Bug1004" >Product</a > f g a -> <a href="#" title="Bug1004" >Product</a + > f g a -> <a href="#" title="Data.Ord" + >Ordering</a + > <a href="#" class="selflink" + >#</a + ></p + ><p class="src" + ><a href="#" + >(<)</a + > :: <a href="#" title="Bug1004" + >Product</a > f g a -> <a href="#" title="Bug1004" >Product</a - > f g a <a href="#" class="selflink" + > f g a -> <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" + >(<=)</a + > :: <a href="#" title="Bug1004" >Product</a - > f g a) -> <a href="#" title="Bug1004" + > f g a -> <a href="#" title="Bug1004" >Product</a - > f g a <a href="#" class="selflink" + > f g a -> <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 => b -> <a href="#" title="Bug1004" + >(>)</a + > :: <a href="#" title="Bug1004" >Product</a > f g a -> <a href="#" title="Bug1004" >Product</a - > f g a <a href="#" class="selflink" + > f g a -> <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)) => <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 > :: <a href="#" title="Bug1004" >Product</a - > f g a <a href="#" class="selflink" + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g a -> <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 -> <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] -> <a href="#" title="Bug1004" + > f g a -> <a href="#" title="Bug1004" + >Product</a + > f g a -> <a href="#" title="Bug1004" >Product</a > f g a <a href="#" class="selflink" >#</a |