This file is indexed.

/usr/share/doc/libghc-profunctors-doc/html/doc-index.html is in libghc-profunctors-doc 5.1.2-1build1.

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>profunctors-5.1.2: Profunctors (Index)</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();};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">profunctors-5.1.2: Profunctors</p></div><div id="content"><div id="index"><p class="caption">Index</p><table><tr><td class="src">#.</td><td class="module"><a href="Data-Profunctor-Unsafe.html#v:-35-.">Data.Profunctor.Unsafe</a></td></tr><tr><td class="src">.#</td><td class="module"><a href="Data-Profunctor-Unsafe.html#v:.-35-">Data.Profunctor.Unsafe</a></td></tr><tr><td class="src">:-&gt;</td><td class="module"><a href="Data-Profunctor.html#t::-45--62-">Data.Profunctor</a></td></tr><tr><td class="src">assoc</td><td class="module"><a href="Data-Profunctor-Composition.html#v:assoc">Data.Profunctor.Composition</a></td></tr><tr><td class="src">Cayley</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Profunctor-Cayley.html#t:Cayley">Data.Profunctor.Cayley</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Profunctor-Cayley.html#v:Cayley">Data.Profunctor.Cayley</a></td></tr><tr><td class="src">Choice</td><td class="module"><a href="Data-Profunctor.html#t:Choice">Data.Profunctor</a></td></tr><tr><td class="src">close</td><td class="module"><a href="Data-Profunctor-Closed.html#v:close">Data.Profunctor.Closed</a></td></tr><tr><td class="src">Closed</td><td class="module"><a href="Data-Profunctor-Closed.html#t:Closed">Data.Profunctor.Closed</a></td></tr><tr><td class="src">closed</td><td class="module"><a href="Data-Profunctor-Closed.html#v:closed">Data.Profunctor.Closed</a></td></tr><tr><td class="src">Closure</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Profunctor-Closed.html#t:Closure">Data.Profunctor.Closed</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Profunctor-Closed.html#v:Closure">Data.Profunctor.Closed</a></td></tr><tr><td class="src">Cochoice</td><td class="module"><a href="Data-Profunctor.html#t:Cochoice">Data.Profunctor</a></td></tr><tr><td class="src">Codensity</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Profunctor-Codensity.html#t:Codensity">Data.Profunctor.Codensity</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Profunctor-Codensity.html#v:Codensity">Data.Profunctor.Codensity</a></td></tr><tr><td class="src">cokleislis</td><td class="module"><a href="Data-Profunctor-Composition.html#v:cokleislis">Data.Profunctor.Composition</a></td></tr><tr><td class="src">Copastro</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Profunctor-Tambara.html#t:Copastro">Data.Profunctor.Tambara</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Profunctor-Tambara.html#v:Copastro">Data.Profunctor.Tambara</a></td></tr><tr><td class="src">Coprep</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Profunctor-Rep.html#t:Coprep">Data.Profunctor.Rep</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Profunctor-Rep.html#v:Coprep">Data.Profunctor.Rep</a></td></tr><tr><td class="src">coprepAdj</td><td class="module"><a href="Data-Profunctor-Rep.html#v:coprepAdj">Data.Profunctor.Rep</a></td></tr><tr><td class="src">coprepCounit</td><td class="module"><a href="Data-Profunctor-Rep.html#v:coprepCounit">Data.Profunctor.Rep</a></td></tr><tr><td class="src">coprepUnit</td><td class="module"><a href="Data-Profunctor-Rep.html#v:coprepUnit">Data.Profunctor.Rep</a></td></tr><tr><td class="src">Corep</td><td class="module"><a href="Data-Profunctor-Rep.html#t:Corep">Data.Profunctor.Rep</a></td></tr><tr><td class="src">Corepresentable</td><td class="module"><a href="Data-Profunctor-Rep.html#t:Corepresentable">Data.Profunctor.Rep</a></td></tr><tr><td class="src">Cosieve</td><td class="module"><a href="Data-Profunctor-Sieve.html#t:Cosieve">Data.Profunctor.Sieve</a></td></tr><tr><td class="src">cosieve</td><td class="module"><a href="Data-Profunctor-Sieve.html#v:cosieve">Data.Profunctor.Sieve</a></td></tr><tr><td class="src">Costar</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Profunctor.html#t:Costar">Data.Profunctor</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Profunctor.html#v:Costar">Data.Profunctor</a></td></tr><tr><td class="src">costars</td><td class="module"><a href="Data-Profunctor-Composition.html#v:costars">Data.Profunctor.Composition</a></td></tr><tr><td class="src">Costrong</td><td class="module"><a href="Data-Profunctor.html#t:Costrong">Data.Profunctor</a></td></tr><tr><td class="src">cotabulate</td><td class="module"><a href="Data-Profunctor-Rep.html#v:cotabulate">Data.Profunctor.Rep</a></td></tr><tr><td class="src">cotabulated</td><td class="module"><a href="Data-Profunctor-Rep.html#v:cotabulated">Data.Profunctor.Rep</a></td></tr><tr><td class="src">Cotambara</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Profunctor-Tambara.html#t:Cotambara">Data.Profunctor.Tambara</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Profunctor-Tambara.html#v:Cotambara">Data.Profunctor.Tambara</a></td></tr><tr><td class="src">cotambara</td><td class="module"><a href="Data-Profunctor-Tambara.html#v:cotambara">Data.Profunctor.Tambara</a></td></tr><tr><td class="src">counit</td><td class="module"><a href="Data-Profunctor-Adjunction.html#v:counit">Data.Profunctor.Adjunction</a></td></tr><tr><td class="src">curryRan</td><td class="module"><a href="Data-Profunctor-Ran.html#v:curryRan">Data.Profunctor.Ran</a></td></tr><tr><td class="src">decomposeCodensity</td><td class="module"><a href="Data-Profunctor-Codensity.html#v:decomposeCodensity">Data.Profunctor.Codensity</a></td></tr><tr><td class="src">decomposeRan</td><td class="module"><a href="Data-Profunctor-Ran.html#v:decomposeRan">Data.Profunctor.Ran</a></td></tr><tr><td class="src">decomposeRift</td><td class="module"><a href="Data-Profunctor-Composition.html#v:decomposeRift">Data.Profunctor.Composition</a></td></tr><tr><td class="src">dimap</td><td class="module"><a href="Data-Profunctor-Unsafe.html#v:dimap">Data.Profunctor.Unsafe</a>, <a href="Data-Profunctor.html#v:dimap">Data.Profunctor</a></td></tr><tr><td class="src">Environment</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Profunctor-Closed.html#t:Environment">Data.Profunctor.Closed</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Profunctor-Closed.html#v:Environment">Data.Profunctor.Closed</a></td></tr><tr><td class="src">eta</td><td class="module"><a href="Data-Profunctor-Monoid.html#v:eta">Data.Profunctor.Monoid</a></td></tr><tr><td class="src">first'</td><td class="module"><a href="Data-Profunctor.html#v:first-39-">Data.Profunctor</a></td></tr><tr><td class="src">firstRep</td><td class="module"><a href="Data-Profunctor-Rep.html#v:firstRep">Data.Profunctor.Rep</a></td></tr><tr><td class="src">Forget</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Profunctor.html#t:Forget">Data.Profunctor</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Profunctor.html#v:Forget">Data.Profunctor</a></td></tr><tr><td class="src">idl</td><td class="module"><a href="Data-Profunctor-Composition.html#v:idl">Data.Profunctor.Composition</a></td></tr><tr><td class="src">idr</td><td class="module"><a href="Data-Profunctor-Composition.html#v:idr">Data.Profunctor.Composition</a></td></tr><tr><td class="src">kleislis</td><td class="module"><a href="Data-Profunctor-Composition.html#v:kleislis">Data.Profunctor.Composition</a></td></tr><tr><td class="src">left'</td><td class="module"><a href="Data-Profunctor.html#v:left-39-">Data.Profunctor</a></td></tr><tr><td class="src">lmap</td><td class="module"><a href="Data-Profunctor-Unsafe.html#v:lmap">Data.Profunctor.Unsafe</a>, <a href="Data-Profunctor.html#v:lmap">Data.Profunctor</a></td></tr><tr><td class="src">mu</td><td class="module"><a href="Data-Profunctor-Monoid.html#v:mu">Data.Profunctor.Monoid</a></td></tr><tr><td class="src">Pastro</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Profunctor-Tambara.html#t:Pastro">Data.Profunctor.Tambara</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Profunctor-Tambara.html#v:Pastro">Data.Profunctor.Tambara</a></td></tr><tr><td class="src">precomposeRan</td><td class="module"><a href="Data-Profunctor-Ran.html#v:precomposeRan">Data.Profunctor.Ran</a></td></tr><tr><td class="src">Prep</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Profunctor-Rep.html#t:Prep">Data.Profunctor.Rep</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Profunctor-Rep.html#v:Prep">Data.Profunctor.Rep</a></td></tr><tr><td class="src">prepAdj</td><td class="module"><a href="Data-Profunctor-Rep.html#v:prepAdj">Data.Profunctor.Rep</a></td></tr><tr><td class="src">prepCounit</td><td class="module"><a href="Data-Profunctor-Rep.html#v:prepCounit">Data.Profunctor.Rep</a></td></tr><tr><td class="src">prepUnit</td><td class="module"><a href="Data-Profunctor-Rep.html#v:prepUnit">Data.Profunctor.Rep</a></td></tr><tr><td class="src">Procompose</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Profunctor-Composition.html#t:Procompose">Data.Profunctor.Composition</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Profunctor-Composition.html#v:Procompose">Data.Profunctor.Composition</a></td></tr><tr><td class="src">procomposed</td><td class="module"><a href="Data-Profunctor-Composition.html#v:procomposed">Data.Profunctor.Composition</a></td></tr><tr><td class="src">produplicate</td><td class="module"><a href="Data-Profunctor-Monad.html#v:produplicate">Data.Profunctor.Monad</a></td></tr><tr><td class="src">proextract</td><td class="module"><a href="Data-Profunctor-Monad.html#v:proextract">Data.Profunctor.Monad</a></td></tr><tr><td class="src">Profunctor</td><td class="module"><a href="Data-Profunctor-Unsafe.html#t:Profunctor">Data.Profunctor.Unsafe</a>, <a href="Data-Profunctor.html#t:Profunctor">Data.Profunctor</a></td></tr><tr><td class="src">ProfunctorAdjunction</td><td class="module"><a href="Data-Profunctor-Adjunction.html#t:ProfunctorAdjunction">Data.Profunctor.Adjunction</a></td></tr><tr><td class="src">ProfunctorComonad</td><td class="module"><a href="Data-Profunctor-Monad.html#t:ProfunctorComonad">Data.Profunctor.Monad</a></td></tr><tr><td class="src">ProfunctorFunctor</td><td class="module"><a href="Data-Profunctor-Monad.html#t:ProfunctorFunctor">Data.Profunctor.Monad</a></td></tr><tr><td class="src">ProfunctorMonad</td><td class="module"><a href="Data-Profunctor-Monad.html#t:ProfunctorMonad">Data.Profunctor.Monad</a></td></tr><tr><td class="src">projoin</td><td class="module"><a href="Data-Profunctor-Monad.html#v:projoin">Data.Profunctor.Monad</a></td></tr><tr><td class="src">promap</td><td class="module"><a href="Data-Profunctor-Monad.html#v:promap">Data.Profunctor.Monad</a></td></tr><tr><td class="src">proreturn</td><td class="module"><a href="Data-Profunctor-Monad.html#v:proreturn">Data.Profunctor.Monad</a></td></tr><tr><td class="src">Ran</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Profunctor-Ran.html#t:Ran">Data.Profunctor.Ran</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Profunctor-Ran.html#v:Ran">Data.Profunctor.Ran</a></td></tr><tr><td class="src">Rep</td><td class="module"><a href="Data-Profunctor-Rep.html#t:Rep">Data.Profunctor.Rep</a></td></tr><tr><td class="src">Representable</td><td class="module"><a href="Data-Profunctor-Rep.html#t:Representable">Data.Profunctor.Rep</a></td></tr><tr><td class="src">Rift</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Profunctor-Composition.html#t:Rift">Data.Profunctor.Composition</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Profunctor-Composition.html#v:Rift">Data.Profunctor.Composition</a></td></tr><tr><td class="src">right'</td><td class="module"><a href="Data-Profunctor.html#v:right-39-">Data.Profunctor</a></td></tr><tr><td class="src">rmap</td><td class="module"><a href="Data-Profunctor-Unsafe.html#v:rmap">Data.Profunctor.Unsafe</a>, <a href="Data-Profunctor.html#v:rmap">Data.Profunctor</a></td></tr><tr><td class="src">runCayley</td><td class="module"><a href="Data-Profunctor-Cayley.html#v:runCayley">Data.Profunctor.Cayley</a></td></tr><tr><td class="src">runClosure</td><td class="module"><a href="Data-Profunctor-Closed.html#v:runClosure">Data.Profunctor.Closed</a></td></tr><tr><td class="src">runCodensity</td><td class="module"><a href="Data-Profunctor-Codensity.html#v:runCodensity">Data.Profunctor.Codensity</a></td></tr><tr><td class="src">runCoprep</td><td class="module"><a href="Data-Profunctor-Rep.html#v:runCoprep">Data.Profunctor.Rep</a></td></tr><tr><td class="src">runCostar</td><td class="module"><a href="Data-Profunctor.html#v:runCostar">Data.Profunctor</a></td></tr><tr><td class="src">runCotambara</td><td class="module"><a href="Data-Profunctor-Tambara.html#v:runCotambara">Data.Profunctor.Tambara</a></td></tr><tr><td class="src">runForget</td><td class="module"><a href="Data-Profunctor.html#v:runForget">Data.Profunctor</a></td></tr><tr><td class="src">runRan</td><td class="module"><a href="Data-Profunctor-Ran.html#v:runRan">Data.Profunctor.Ran</a></td></tr><tr><td class="src">runRift</td><td class="module"><a href="Data-Profunctor-Composition.html#v:runRift">Data.Profunctor.Composition</a></td></tr><tr><td class="src">runStar</td><td class="module"><a href="Data-Profunctor.html#v:runStar">Data.Profunctor</a></td></tr><tr><td class="src">runTambara</td><td class="module"><a href="Data-Profunctor-Tambara.html#v:runTambara">Data.Profunctor.Tambara</a></td></tr><tr><td class="src">second'</td><td class="module"><a href="Data-Profunctor.html#v:second-39-">Data.Profunctor</a></td></tr><tr><td class="src">secondRep</td><td class="module"><a href="Data-Profunctor-Rep.html#v:secondRep">Data.Profunctor.Rep</a></td></tr><tr><td class="src">Sieve</td><td class="module"><a href="Data-Profunctor-Sieve.html#t:Sieve">Data.Profunctor.Sieve</a></td></tr><tr><td class="src">sieve</td><td class="module"><a href="Data-Profunctor-Sieve.html#v:sieve">Data.Profunctor.Sieve</a></td></tr><tr><td class="src">Star</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Profunctor.html#t:Star">Data.Profunctor</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Profunctor.html#v:Star">Data.Profunctor</a></td></tr><tr><td class="src">stars</td><td class="module"><a href="Data-Profunctor-Composition.html#v:stars">Data.Profunctor.Composition</a></td></tr><tr><td class="src">Strong</td><td class="module"><a href="Data-Profunctor.html#t:Strong">Data.Profunctor</a></td></tr><tr><td class="src">tabulate</td><td class="module"><a href="Data-Profunctor-Rep.html#v:tabulate">Data.Profunctor.Rep</a></td></tr><tr><td class="src">tabulated</td><td class="module"><a href="Data-Profunctor-Rep.html#v:tabulated">Data.Profunctor.Rep</a></td></tr><tr><td class="src">Tambara</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Profunctor-Tambara.html#t:Tambara">Data.Profunctor.Tambara</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Profunctor-Tambara.html#v:Tambara">Data.Profunctor.Tambara</a></td></tr><tr><td class="src">tambara</td><td class="module"><a href="Data-Profunctor-Tambara.html#v:tambara">Data.Profunctor.Tambara</a></td></tr><tr><td class="src">Trace</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Profunctor-Trace.html#t:Trace">Data.Profunctor.Trace</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Profunctor-Trace.html#v:Trace">Data.Profunctor.Trace</a></td></tr><tr><td class="src">unclose</td><td class="module"><a href="Data-Profunctor-Closed.html#v:unclose">Data.Profunctor.Closed</a></td></tr><tr><td class="src">uncoprepAdj</td><td class="module"><a href="Data-Profunctor-Rep.html#v:uncoprepAdj">Data.Profunctor.Rep</a></td></tr><tr><td class="src">uncotambara</td><td class="module"><a href="Data-Profunctor-Tambara.html#v:uncotambara">Data.Profunctor.Tambara</a></td></tr><tr><td class="src">uncurryRan</td><td class="module"><a href="Data-Profunctor-Ran.html#v:uncurryRan">Data.Profunctor.Ran</a></td></tr><tr><td class="src">unfirst</td><td class="module"><a href="Data-Profunctor.html#v:unfirst">Data.Profunctor</a></td></tr><tr><td class="src">unfirstCorep</td><td class="module"><a href="Data-Profunctor-Rep.html#v:unfirstCorep">Data.Profunctor.Rep</a></td></tr><tr><td class="src">unit</td><td class="module"><a href="Data-Profunctor-Adjunction.html#v:unit">Data.Profunctor.Adjunction</a></td></tr><tr><td class="src">unleft</td><td class="module"><a href="Data-Profunctor.html#v:unleft">Data.Profunctor</a></td></tr><tr><td class="src">unprepAdj</td><td class="module"><a href="Data-Profunctor-Rep.html#v:unprepAdj">Data.Profunctor.Rep</a></td></tr><tr><td class="src">unright</td><td class="module"><a href="Data-Profunctor.html#v:unright">Data.Profunctor</a></td></tr><tr><td class="src">unsecond</td><td class="module"><a href="Data-Profunctor.html#v:unsecond">Data.Profunctor</a></td></tr><tr><td class="src">unsecondCorep</td><td class="module"><a href="Data-Profunctor-Rep.html#v:unsecondCorep">Data.Profunctor.Rep</a></td></tr><tr><td class="src">untambara</td><td class="module"><a href="Data-Profunctor-Tambara.html#v:untambara">Data.Profunctor.Tambara</a></td></tr><tr><td class="src">unwrapArrow</td><td class="module"><a href="Data-Profunctor.html#v:unwrapArrow">Data.Profunctor</a></td></tr><tr><td class="src">WrapArrow</td><td class="module"><a href="Data-Profunctor.html#v:WrapArrow">Data.Profunctor</a></td></tr><tr><td class="src">WrappedArrow</td><td class="module"><a href="Data-Profunctor.html#t:WrappedArrow">Data.Profunctor</a></td></tr></table></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.16.1</p></div></body></html>