/usr/share/doc/libghc-categories-doc/html/Control-Categorical-Bifunctor.html is in libghc-categories-doc 0.59-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 | <!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>Control.Categorical.Bifunctor</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Control-Categorical-Bifunctor.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Categorical-Bifunctor.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">categories-0.59: categories from category-extras</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>non-portable (functional-dependencies)</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Edward Kmett <ekmett@gmail.com></td></tr><tr><th>Safe Haskell</th><td>Safe-Infered</td></tr></table><p class="caption">Control.Categorical.Bifunctor</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>A more categorical definition of <code><a href="Control-Categorical-Bifunctor.html#t:Bifunctor">Bifunctor</a></code>
</p></div></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Category.html#t:Category">Category</a> r, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Category.html#t:Category">Category</a> t) => <a name="t:PFunctor" class="def">PFunctor</a> p r t | p r -> t, p t -> r <span class="keyword">where</span><a href="src/Control-Categorical-Bifunctor.html#PFunctor" class="link">Source</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:first" class="def">first</a> :: r a b -> t (p a c) (p b c)<a href="src/Control-Categorical-Bifunctor.html#first" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:PFunctor" class="caption collapser" onclick="toggleSection('i:PFunctor')">Instances</p><div id="section.i:PFunctor" class="show"><table><tr><td class="src"><a href="Control-Categorical-Bifunctor.html#t:PFunctor">PFunctor</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Either.html#t:Either">Either</a> (->) (->)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Categorical-Bifunctor.html#t:PFunctor">PFunctor</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--44--41-">(,)</a> (->) (->)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:firstDefault" class="def">firstDefault</a> :: <a href="Control-Categorical-Bifunctor.html#t:Bifunctor">Bifunctor</a> p r s t => r a b -> t (p a c) (p b c)<a href="src/Control-Categorical-Bifunctor.html#firstDefault" class="link">Source</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> (<a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Category.html#t:Category">Category</a> s, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Control-Category.html#t:Category">Category</a> t) => <a name="t:QFunctor" class="def">QFunctor</a> q s t | q s -> t, q t -> s <span class="keyword">where</span><a href="src/Control-Categorical-Bifunctor.html#QFunctor" class="link">Source</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:second" class="def">second</a> :: s a b -> t (q c a) (q c b)<a href="src/Control-Categorical-Bifunctor.html#second" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:QFunctor" class="caption collapser" onclick="toggleSection('i:QFunctor')">Instances</p><div id="section.i:QFunctor" class="show"><table><tr><td class="src"><a href="Control-Categorical-Bifunctor.html#t:QFunctor">QFunctor</a> (->) (->) (->)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Categorical-Bifunctor.html#t:QFunctor">QFunctor</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Either.html#t:Either">Either</a> (->) (->)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Categorical-Bifunctor.html#t:QFunctor">QFunctor</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--44--41-">(,)</a> (->) (->)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:secondDefault" class="def">secondDefault</a> :: <a href="Control-Categorical-Bifunctor.html#t:Bifunctor">Bifunctor</a> p r s t => s a b -> t (p c a) (p c b)<a href="src/Control-Categorical-Bifunctor.html#secondDefault" class="link">Source</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> (<a href="Control-Categorical-Bifunctor.html#t:PFunctor">PFunctor</a> p r t, <a href="Control-Categorical-Bifunctor.html#t:QFunctor">QFunctor</a> p s t) => <a name="t:Bifunctor" class="def">Bifunctor</a> p r s t | p r -> s t, p s -> r t, p t -> r s <span class="keyword">where</span><a href="src/Control-Categorical-Bifunctor.html#Bifunctor" class="link">Source</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:bimap" class="def">bimap</a> :: r a b -> s c d -> t (p a c) (p b d)<a href="src/Control-Categorical-Bifunctor.html#bimap" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:Bifunctor" class="caption collapser" onclick="toggleSection('i:Bifunctor')">Instances</p><div id="section.i:Bifunctor" class="show"><table><tr><td class="src"><a href="Control-Categorical-Bifunctor.html#t:Bifunctor">Bifunctor</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.5.0.0/Data-Either.html#t:Either">Either</a> (->) (->) (->)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Control-Categorical-Bifunctor.html#t:Bifunctor">Bifunctor</a> <a href="/usr/share/doc/ghc-doc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--44--41-">(,)</a> (->) (->) (->)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:dimap" class="def">dimap</a> :: <a href="Control-Categorical-Bifunctor.html#t:Bifunctor">Bifunctor</a> f (<a href="Control-Category-Dual.html#t:Dual">Dual</a> s) t u => s b a -> t c d -> u (f a c) (f b d)<a href="src/Control-Categorical-Bifunctor.html#dimap" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:difirst" class="def">difirst</a> :: <a href="Control-Categorical-Bifunctor.html#t:PFunctor">PFunctor</a> f (<a href="Control-Category-Dual.html#t:Dual">Dual</a> s) t => s b a -> t (f a c) (f b c)<a href="src/Control-Categorical-Bifunctor.html#difirst" class="link">Source</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.10.0</p></div></body></html>
|