/usr/share/doc/libghc-bifunctors-doc/html/Data-Bifunctor-Product.html is in libghc-bifunctors-doc 5.4.2-1build3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Data.Bifunctor.Product</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Data-Bifunctor-Product.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Bifunctor-Product.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">bifunctors-5.4.2: Bifunctors</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(C) 2008-2016 Jesse Selover Edward Kmett</td></tr><tr><th>License</th><td>BSD-style (see the file LICENSE)</td></tr><tr><th>Maintainer</th><td>Edward Kmett <ekmett@gmail.com></td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Portability</th><td>portable</td></tr><tr><th>Safe Haskell</th><td>Safe</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Data.Bifunctor.Product</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>The product of two bifunctors.</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">data</span> <a href="#t:Product">Product</a> f g a b = <a href="#v:Pair">Pair</a> (f a b) (g a b)</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Product" class="def">Product</a> f g a b <a href="src/Data-Bifunctor-Product.html#Product" class="link">Source</a> <a href="#t:Product" class="selflink">#</a></p><div class="doc"><p>Form the product of two bifunctors</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Pair" class="def">Pair</a> (f a b) (g a b)</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Product" class="caption collapser" onclick="toggleSection('i:Product')">Instances</p><div id="section.i:Product" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Product:BifunctorFunctor:1" class="instance expander" onclick="toggleSection('i:id:Product:BifunctorFunctor:1')"></span> <a href="Data-Bifunctor-Functor.html#t:BifunctorFunctor">BifunctorFunctor</a> k k1 k k1 (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k k1 p)</span> <a href="src/Data-Bifunctor-Product.html#line-109" class="link">Source</a> <a href="#t:Product" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Product:BifunctorFunctor:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifmap">bifmap</a> :: (k <a href="Data-Bifunctor-Functor.html#t::-45--62-">:-></a> k) p q -> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k k1 p <a href="Data-Bifunctor-Functor.html#t::-45--62-">:-></a> k) (t p) (t q) <a href="src/Data-Bifunctor-Functor.html#bifmap" class="link">Source</a> <a href="#v:bifmap" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Product:BifunctorComonad:2" class="instance expander" onclick="toggleSection('i:id:Product:BifunctorComonad:2')"></span> <a href="Data-Bifunctor-Functor.html#t:BifunctorComonad">BifunctorComonad</a> k k1 (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k k1 p)</span> <a href="src/Data-Bifunctor-Product.html#line-112" class="link">Source</a> <a href="#t:Product" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Product:BifunctorComonad:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:biextract">biextract</a> :: t p a b -> p a b <a href="src/Data-Bifunctor-Functor.html#biextract" class="link">Source</a> <a href="#v:biextract" class="selflink">#</a></p><p class="src"><a href="#v:biextend">biextend</a> :: (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k k1 p <a href="Data-Bifunctor-Functor.html#t::-45--62-">:-></a> k) (t p) q -> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k k1 p <a href="Data-Bifunctor-Functor.html#t::-45--62-">:-></a> k) (t p) (t q) <a href="src/Data-Bifunctor-Functor.html#biextend" class="link">Source</a> <a href="#v:biextend" class="selflink">#</a></p><p class="src"><a href="#v:biduplicate">biduplicate</a> :: t p a b -> t (t p) a b <a href="src/Data-Bifunctor-Functor.html#biduplicate" class="link">Source</a> <a href="#v:biduplicate" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Product:Bifunctor:3" class="instance expander" onclick="toggleSection('i:id:Product:Bifunctor:3')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bifunctor.html#t:Bifunctor">Bifunctor</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bifunctor.html#t:Bifunctor">Bifunctor</a> g) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bifunctor.html#t:Bifunctor">Bifunctor</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g)</span> <a href="src/Data-Bifunctor-Product.html#line-87" class="link">Source</a> <a href="#t:Product" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Product:Bifunctor:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a c -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g b d <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a c -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g b c <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> c) -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a b -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a c <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Product:Bifoldable:4" class="instance expander" onclick="toggleSection('i:id:Product:Bifoldable:4')"></span> (<a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> f, <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> g) => <a href="Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g)</span> <a href="src/Data-Bifunctor-Product.html#line-101" class="link">Source</a> <a href="#t:Product" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Product:Bifoldable:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g m m -> m <a href="src/Data-Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a b -> m <a href="src/Data-Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a b -> c <a href="src/Data-Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a b -> c <a href="src/Data-Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Product:Bitraversable:5" class="instance expander" onclick="toggleSection('i:id:Product:Bitraversable:5')"></span> (<a href="Data-Bitraversable.html#t:Bitraversable">Bitraversable</a> f, <a href="Data-Bitraversable.html#t:Bitraversable">Bitraversable</a> g) => <a href="Data-Bitraversable.html#t:Bitraversable">Bitraversable</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g)</span> <a href="src/Data-Bifunctor-Product.html#line-105" class="link">Source</a> <a href="#t:Product" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Product:Bitraversable:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bitraverse">bitraverse</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => (a -> f c) -> (b -> f d) -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a b -> f (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g c d) <a href="src/Data-Bitraversable.html#bitraverse" class="link">Source</a> <a href="#v:bitraverse" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Product:Biapplicative:6" class="instance expander" onclick="toggleSection('i:id:Product:Biapplicative:6')"></span> (<a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> f, <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> g) => <a href="Data-Biapplicative.html#t:Biapplicative">Biapplicative</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g)</span> <a href="src/Data-Bifunctor-Product.html#line-95" class="link">Source</a> <a href="#t:Product" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Product:Biapplicative:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bipure">bipure</a> :: a -> b -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a b <a href="src/Data-Biapplicative.html#bipure" class="link">Source</a> <a href="#v:bipure" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42--62--62-">(<<*>>)</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g (a -> b) (c -> d) -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a c -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g b d <a href="src/Data-Biapplicative.html#%3C%3C%2A%3E%3E" class="link">Source</a> <a href="#v:-60--60--42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62--62-">(*>>)</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a b -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g c d -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g c d <a href="src/Data-Biapplicative.html#%2A%3E%3E" class="link">Source</a> <a href="#v:-42--62--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--60--42-">(<<*)</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a b -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g c d -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a b <a href="src/Data-Biapplicative.html#%3C%3C%2A" class="link">Source</a> <a href="#v:-60--60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Product:Generic1:7" class="instance expander" onclick="toggleSection('i:id:Product:Generic1:7')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Generic1">Generic1</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> k f g a)</span> <a href="src/Data-Bifunctor-Product.html#line-63" class="link">Source</a> <a href="#t:Product" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Product:Generic1:7" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep1">Rep1</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> k f g a :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="#t:Rep1" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:from1">from1</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> k f g a a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep1">Rep1</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> k f g a) a <a href="#v:from1" class="selflink">#</a></p><p class="src"><a href="#v:to1">to1</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep1">Rep1</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> k f g a) a -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> k f g a a <a href="#v:to1" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Product:Eq:8" class="instance expander" onclick="toggleSection('i:id:Product:Eq:8')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (g a b), <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (f a b)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b)</span> <a href="src/Data-Bifunctor-Product.html#line-58" class="link">Source</a> <a href="#t:Product" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Product:Eq:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Product:Ord:9" class="instance expander" onclick="toggleSection('i:id:Product:Ord:9')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> (g a b), <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> (f a b)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b)</span> <a href="src/Data-Bifunctor-Product.html#line-58" class="link">Source</a> <a href="#t:Product" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Product:Ord:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(<)</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(<=)</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(>)</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(>=)</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b <a href="#v:min" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Product:Read:10" class="instance expander" onclick="toggleSection('i:id:Product:Read:10')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Read.html#t:Read">Read</a> (g a b), <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Read.html#t:Read">Read</a> (f a b)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Read.html#t:Read">Read</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b)</span> <a href="src/Data-Bifunctor-Product.html#line-58" class="link">Source</a> <a href="#t:Product" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Product:Read:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:readsPrec">readsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b) <a href="#v:readsPrec" class="selflink">#</a></p><p class="src"><a href="#v:readList">readList</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> [<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b] <a href="#v:readList" class="selflink">#</a></p><p class="src"><a href="#v:readPrec">readPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b) <a href="#v:readPrec" class="selflink">#</a></p><p class="src"><a href="#v:readListPrec">readListPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> [<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b] <a href="#v:readListPrec" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Product:Show:11" class="instance expander" onclick="toggleSection('i:id:Product:Show:11')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (g a b), <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (f a b)) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b)</span> <a href="src/Data-Bifunctor-Product.html#line-58" class="link">Source</a> <a href="#t:Product" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Product:Show:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Product:Generic:12" class="instance expander" onclick="toggleSection('i:id:Product:Generic:12')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Generic">Generic</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b)</span> <a href="src/Data-Bifunctor-Product.html#line-60" class="link">Source</a> <a href="#t:Product" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Product:Generic:12" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b) :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="#t:Rep" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:from">from</a> :: <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b) x <a href="#v:from" class="selflink">#</a></p><p class="src"><a href="#v:to">to</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b) x -> <a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b <a href="#v:to" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Product:Rep1:13" class="instance expander" onclick="toggleSection('i:id:Product:Rep1:13')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep1">Rep1</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> k f g a)</span> <a href="src/Data-Bifunctor-Product.html#line-57" class="link">Source</a> <a href="#t:Product" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Product:Rep1:13" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep1">Rep1</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> k f g a) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:D1">D1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaData">MetaData</a> "Product" "Data.Bifunctor.Product" "bifunctors-5.4.2-D9NYUY1YNw7CNbta2tOtAS" <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:False">False</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:C1">C1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaCons">MetaCons</a> "Pair" <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:PrefixI">PrefixI</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:False">False</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t::-42-:">(:*:)</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:S1">S1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaSel">MetaSel</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#v:Nothing">Nothing</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a>) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceUnpackedness">NoSourceUnpackedness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceStrictness">NoSourceStrictness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:DecidedLazy">DecidedLazy</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rec1">Rec1</a> (f a))) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:S1">S1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaSel">MetaSel</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#v:Nothing">Nothing</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a>) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceUnpackedness">NoSourceUnpackedness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceStrictness">NoSourceStrictness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:DecidedLazy">DecidedLazy</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rec1">Rec1</a> (g a)))))</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Product:Rep:14" class="instance expander" onclick="toggleSection('i:id:Product:Rep:14')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b)</span> <a href="src/Data-Bifunctor-Product.html#line-57" class="link">Source</a> <a href="#t:Product" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Product:Rep:14" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rep">Rep</a> (<a href="Data-Bifunctor-Product.html#t:Product">Product</a> k1 k f g a b) = <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:D1">D1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaData">MetaData</a> "Product" "Data.Bifunctor.Product" "bifunctors-5.4.2-D9NYUY1YNw7CNbta2tOtAS" <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:False">False</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:C1">C1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaCons">MetaCons</a> "Pair" <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:PrefixI">PrefixI</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#v:False">False</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t::-42-:">(:*:)</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:S1">S1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaSel">MetaSel</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#v:Nothing">Nothing</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a>) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceUnpackedness">NoSourceUnpackedness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceStrictness">NoSourceStrictness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:DecidedLazy">DecidedLazy</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rec0">Rec0</a> (f a b))) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:S1">S1</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:MetaSel">MetaSel</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#v:Nothing">Nothing</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-TypeLits.html#t:Symbol">Symbol</a>) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceUnpackedness">NoSourceUnpackedness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:NoSourceStrictness">NoSourceStrictness</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#v:DecidedLazy">DecidedLazy</a>) (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rec0">Rec0</a> (g a b)))))</div></div></td></tr></table></div></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>
|