/usr/share/doc/libghc-adjunctions-doc/html/doc-index.html is in libghc-adjunctions-doc 4.3-4build4.
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>adjunctions-4.3: Adjunctions and representable functors (Index)</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();};
//]]>
</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">adjunctions-4.3: Adjunctions and representable functors</p></div><div id="content"><div id="index"><p class="caption">Index</p><table><tr><td class="src">absurdL</td><td class="module"><a href="Data-Functor-Adjunction.html#v:absurdL">Data.Functor.Adjunction</a></td></tr><tr><td class="src">Adjoint</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Control-Monad-Trans-Contravariant-Adjoint.html#t:Adjoint">Control.Monad.Trans.Contravariant.Adjoint</a></td></tr><tr><td class="alt">2 (Type/Class)</td><td class="module"><a href="Control-Monad-Trans-Adjoint.html#t:Adjoint">Control.Monad.Trans.Adjoint</a></td></tr><tr><td class="alt">3 (Type/Class)</td><td class="module"><a href="Control-Comonad-Trans-Adjoint.html#t:Adjoint">Control.Comonad.Trans.Adjoint</a></td></tr><tr><td class="src">adjoint</td><td> </td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Control-Monad-Trans-Contravariant-Adjoint.html#v:adjoint">Control.Monad.Trans.Contravariant.Adjoint</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Control-Monad-Trans-Adjoint.html#v:adjoint">Control.Monad.Trans.Adjoint</a></td></tr><tr><td class="alt">3 (Function)</td><td class="module"><a href="Control-Comonad-Trans-Adjoint.html#v:adjoint">Control.Comonad.Trans.Adjoint</a></td></tr><tr><td class="src">AdjointT</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Control-Monad-Trans-Contravariant-Adjoint.html#t:AdjointT">Control.Monad.Trans.Contravariant.Adjoint</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Control-Monad-Trans-Contravariant-Adjoint.html#v:AdjointT">Control.Monad.Trans.Contravariant.Adjoint</a></td></tr><tr><td class="alt">3 (Type/Class)</td><td class="module"><a href="Control-Monad-Trans-Adjoint.html#t:AdjointT">Control.Monad.Trans.Adjoint</a></td></tr><tr><td class="alt">4 (Data Constructor)</td><td class="module"><a href="Control-Monad-Trans-Adjoint.html#v:AdjointT">Control.Monad.Trans.Adjoint</a></td></tr><tr><td class="alt">5 (Type/Class)</td><td class="module"><a href="Control-Comonad-Trans-Adjoint.html#t:AdjointT">Control.Comonad.Trans.Adjoint</a></td></tr><tr><td class="alt">6 (Data Constructor)</td><td class="module"><a href="Control-Comonad-Trans-Adjoint.html#v:AdjointT">Control.Comonad.Trans.Adjoint</a></td></tr><tr><td class="src">adjuncted</td><td> </td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Data-Functor-Contravariant-Adjunction.html#v:adjuncted">Data.Functor.Contravariant.Adjunction</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Data-Functor-Adjunction.html#v:adjuncted">Data.Functor.Adjunction</a></td></tr><tr><td class="src">Adjunction</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Functor-Contravariant-Adjunction.html#t:Adjunction">Data.Functor.Contravariant.Adjunction</a></td></tr><tr><td class="alt">2 (Type/Class)</td><td class="module"><a href="Data-Functor-Adjunction.html#t:Adjunction">Data.Functor.Adjunction</a></td></tr><tr><td class="src">apRep</td><td class="module"><a href="Data-Functor-Rep.html#v:apRep">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">ask</td><td class="module"><a href="Control-Monad-Representable-Reader.html#v:ask">Control.Monad.Representable.Reader</a></td></tr><tr><td class="src">askRep</td><td class="module"><a href="Data-Functor-Rep.html#v:askRep">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">bindRep</td><td class="module"><a href="Data-Functor-Rep.html#v:bindRep">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">callCC</td><td class="module"><a href="Control-Monad-Trans-Conts.html#v:callCC">Control.Monad.Trans.Conts</a></td></tr><tr><td class="src">Co</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Functor-Rep.html#t:Co">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Functor-Rep.html#v:Co">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">coindexAdjunction</td><td class="module"><a href="Data-Functor-Contravariant-Adjunction.html#v:coindexAdjunction">Data.Functor.Contravariant.Adjunction</a></td></tr><tr><td class="src">ComonadStore</td><td class="module"><a href="Control-Comonad-Representable-Store.html#t:ComonadStore">Control.Comonad.Representable.Store</a></td></tr><tr><td class="src">Cont</td><td class="module"><a href="Control-Monad-Trans-Conts.html#t:Cont">Control.Monad.Trans.Conts</a></td></tr><tr><td class="src">cont</td><td class="module"><a href="Control-Monad-Trans-Conts.html#v:cont">Control.Monad.Trans.Conts</a></td></tr><tr><td class="src">contramapRep</td><td class="module"><a href="Data-Functor-Contravariant-Rep.html#v:contramapRep">Data.Functor.Contravariant.Rep</a></td></tr><tr><td class="src">contramapWithRep</td><td class="module"><a href="Data-Functor-Contravariant-Rep.html#v:contramapWithRep">Data.Functor.Contravariant.Rep</a></td></tr><tr><td class="src">contrarepAdjunction</td><td class="module"><a href="Data-Functor-Contravariant-Adjunction.html#v:contrarepAdjunction">Data.Functor.Contravariant.Adjunction</a></td></tr><tr><td class="src">Conts</td><td class="module"><a href="Control-Monad-Trans-Conts.html#t:Conts">Control.Monad.Trans.Conts</a></td></tr><tr><td class="src">conts</td><td class="module"><a href="Control-Monad-Trans-Conts.html#v:conts">Control.Monad.Trans.Conts</a></td></tr><tr><td class="src">ContsT</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Control-Monad-Trans-Conts.html#t:ContsT">Control.Monad.Trans.Conts</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Control-Monad-Trans-Conts.html#v:ContsT">Control.Monad.Trans.Conts</a></td></tr><tr><td class="src">counit</td><td> </td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Data-Functor-Contravariant-Adjunction.html#v:counit">Data.Functor.Contravariant.Adjunction</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Data-Functor-Adjunction.html#v:counit">Data.Functor.Adjunction</a></td></tr><tr><td class="src">cozipL</td><td class="module"><a href="Data-Functor-Adjunction.html#v:cozipL">Data.Functor.Adjunction</a></td></tr><tr><td class="src">distributeRep</td><td class="module"><a href="Data-Functor-Rep.html#v:distributeRep">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">duplicatedRep</td><td class="module"><a href="Data-Functor-Rep.html#v:duplicatedRep">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">duplicateL</td><td class="module"><a href="Data-Functor-Adjunction.html#v:duplicateL">Data.Functor.Adjunction</a></td></tr><tr><td class="src">duplicateRep</td><td class="module"><a href="Data-Functor-Rep.html#v:duplicateRep">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">duplicateRepBy</td><td class="module"><a href="Data-Functor-Rep.html#v:duplicateRepBy">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">evalState</td><td class="module"><a href="Control-Monad-Representable-State.html#v:evalState">Control.Monad.Representable.State</a></td></tr><tr><td class="src">evalStateT</td><td class="module"><a href="Control-Monad-Representable-State.html#v:evalStateT">Control.Monad.Representable.State</a></td></tr><tr><td class="src">execState</td><td class="module"><a href="Control-Monad-Representable-State.html#v:execState">Control.Monad.Representable.State</a></td></tr><tr><td class="src">execStateT</td><td class="module"><a href="Control-Monad-Representable-State.html#v:execStateT">Control.Monad.Representable.State</a></td></tr><tr><td class="src">experiment</td><td class="module"><a href="Control-Comonad-Representable-Store.html#v:experiment">Control.Comonad.Representable.Store</a></td></tr><tr><td class="src">extendedRep</td><td class="module"><a href="Data-Functor-Rep.html#v:extendedRep">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">extendRep</td><td class="module"><a href="Data-Functor-Rep.html#v:extendRep">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">extendRepBy</td><td class="module"><a href="Data-Functor-Rep.html#v:extendRepBy">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">extractL</td><td class="module"><a href="Data-Functor-Adjunction.html#v:extractL">Data.Functor.Adjunction</a></td></tr><tr><td class="src">extractRep</td><td class="module"><a href="Data-Functor-Rep.html#v:extractRep">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">extractRepBy</td><td class="module"><a href="Data-Functor-Rep.html#v:extractRepBy">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">fmapRep</td><td class="module"><a href="Data-Functor-Rep.html#v:fmapRep">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">get</td><td class="module"><a href="Control-Monad-Representable-State.html#v:get">Control.Monad.Representable.State</a></td></tr><tr><td class="src">getReaderT</td><td class="module"><a href="Control-Monad-Representable-Reader.html#v:getReaderT">Control.Monad.Representable.Reader</a></td></tr><tr><td class="src">getStateT</td><td class="module"><a href="Control-Monad-Representable-State.html#v:getStateT">Control.Monad.Representable.State</a></td></tr><tr><td class="src">index</td><td> </td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Data-Functor-Rep.html#v:index">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Data-Functor-Contravariant-Rep.html#v:index">Data.Functor.Contravariant.Rep</a></td></tr><tr><td class="src">indexAdjunction</td><td class="module"><a href="Data-Functor-Adjunction.html#v:indexAdjunction">Data.Functor.Adjunction</a></td></tr><tr><td class="src">leftAdjunct</td><td> </td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Data-Functor-Contravariant-Adjunction.html#v:leftAdjunct">Data.Functor.Contravariant.Adjunction</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Data-Functor-Adjunction.html#v:leftAdjunct">Data.Functor.Adjunction</a></td></tr><tr><td class="src">liftCallCC</td><td class="module"><a href="Control-Monad-Representable-State.html#v:liftCallCC">Control.Monad.Representable.State</a></td></tr><tr><td class="src">liftCallCC'</td><td class="module"><a href="Control-Monad-Representable-State.html#v:liftCallCC-39-">Control.Monad.Representable.State</a></td></tr><tr><td class="src">liftR2</td><td class="module"><a href="Data-Functor-Rep.html#v:liftR2">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">liftR3</td><td class="module"><a href="Data-Functor-Rep.html#v:liftR3">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">local</td><td class="module"><a href="Control-Monad-Representable-Reader.html#v:local">Control.Monad.Representable.Reader</a></td></tr><tr><td class="src">localRep</td><td class="module"><a href="Data-Functor-Rep.html#v:localRep">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">mapState</td><td class="module"><a href="Control-Monad-Representable-State.html#v:mapState">Control.Monad.Representable.State</a></td></tr><tr><td class="src">mapStateT</td><td class="module"><a href="Control-Monad-Representable-State.html#v:mapStateT">Control.Monad.Representable.State</a></td></tr><tr><td class="src">mfixRep</td><td class="module"><a href="Data-Functor-Rep.html#v:mfixRep">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">MonadReader</td><td class="module"><a href="Control-Monad-Representable-Reader.html#t:MonadReader">Control.Monad.Representable.Reader</a></td></tr><tr><td class="src">MonadState</td><td class="module"><a href="Control-Monad-Representable-State.html#t:MonadState">Control.Monad.Representable.State</a></td></tr><tr><td class="src">mzipRep</td><td class="module"><a href="Data-Functor-Rep.html#v:mzipRep">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">mzipWithRep</td><td class="module"><a href="Data-Functor-Rep.html#v:mzipWithRep">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">peek</td><td class="module"><a href="Control-Comonad-Representable-Store.html#v:peek">Control.Comonad.Representable.Store</a></td></tr><tr><td class="src">peeks</td><td class="module"><a href="Control-Comonad-Representable-Store.html#v:peeks">Control.Comonad.Representable.Store</a></td></tr><tr><td class="src">pos</td><td class="module"><a href="Control-Comonad-Representable-Store.html#v:pos">Control.Comonad.Representable.Store</a></td></tr><tr><td class="src">pureRep</td><td class="module"><a href="Data-Functor-Rep.html#v:pureRep">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">put</td><td class="module"><a href="Control-Monad-Representable-State.html#v:put">Control.Monad.Representable.State</a></td></tr><tr><td class="src">Reader</td><td class="module"><a href="Control-Monad-Representable-Reader.html#t:Reader">Control.Monad.Representable.Reader</a></td></tr><tr><td class="src">reader</td><td class="module"><a href="Control-Monad-Representable-Reader.html#v:reader">Control.Monad.Representable.Reader</a></td></tr><tr><td class="src">ReaderT</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Control-Monad-Representable-Reader.html#t:ReaderT">Control.Monad.Representable.Reader</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Control-Monad-Representable-Reader.html#v:ReaderT">Control.Monad.Representable.Reader</a></td></tr><tr><td class="src">readerT</td><td class="module"><a href="Control-Monad-Representable-Reader.html#v:readerT">Control.Monad.Representable.Reader</a></td></tr><tr><td class="src">Rep</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Functor-Rep.html#t:Rep">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="alt">2 (Type/Class)</td><td class="module"><a href="Data-Functor-Contravariant-Rep.html#t:Rep">Data.Functor.Contravariant.Rep</a></td></tr><tr><td class="src">Representable</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Functor-Rep.html#t:Representable">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="alt">2 (Type/Class)</td><td class="module"><a href="Data-Functor-Contravariant-Rep.html#t:Representable">Data.Functor.Contravariant.Rep</a></td></tr><tr><td class="src">rightAdjunct</td><td> </td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Data-Functor-Contravariant-Adjunction.html#v:rightAdjunct">Data.Functor.Contravariant.Adjunction</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Data-Functor-Adjunction.html#v:rightAdjunct">Data.Functor.Adjunction</a></td></tr><tr><td class="src">runAdjoint</td><td> </td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Control-Monad-Trans-Contravariant-Adjoint.html#v:runAdjoint">Control.Monad.Trans.Contravariant.Adjoint</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Control-Monad-Trans-Adjoint.html#v:runAdjoint">Control.Monad.Trans.Adjoint</a></td></tr><tr><td class="alt">3 (Function)</td><td class="module"><a href="Control-Comonad-Trans-Adjoint.html#v:runAdjoint">Control.Comonad.Trans.Adjoint</a></td></tr><tr><td class="src">runAdjointT</td><td> </td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Control-Monad-Trans-Contravariant-Adjoint.html#v:runAdjointT">Control.Monad.Trans.Contravariant.Adjoint</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Control-Monad-Trans-Adjoint.html#v:runAdjointT">Control.Monad.Trans.Adjoint</a></td></tr><tr><td class="alt">3 (Function)</td><td class="module"><a href="Control-Comonad-Trans-Adjoint.html#v:runAdjointT">Control.Comonad.Trans.Adjoint</a></td></tr><tr><td class="src">runCont</td><td class="module"><a href="Control-Monad-Trans-Conts.html#v:runCont">Control.Monad.Trans.Conts</a></td></tr><tr><td class="src">runConts</td><td class="module"><a href="Control-Monad-Trans-Conts.html#v:runConts">Control.Monad.Trans.Conts</a></td></tr><tr><td class="src">runContsT</td><td class="module"><a href="Control-Monad-Trans-Conts.html#v:runContsT">Control.Monad.Trans.Conts</a></td></tr><tr><td class="src">runReader</td><td class="module"><a href="Control-Monad-Representable-Reader.html#v:runReader">Control.Monad.Representable.Reader</a></td></tr><tr><td class="src">runReaderT</td><td class="module"><a href="Control-Monad-Representable-Reader.html#v:runReaderT">Control.Monad.Representable.Reader</a></td></tr><tr><td class="src">runState</td><td class="module"><a href="Control-Monad-Representable-State.html#v:runState">Control.Monad.Representable.State</a></td></tr><tr><td class="src">runStateT</td><td class="module"><a href="Control-Monad-Representable-State.html#v:runStateT">Control.Monad.Representable.State</a></td></tr><tr><td class="src">runStore</td><td class="module"><a href="Control-Comonad-Representable-Store.html#v:runStore">Control.Comonad.Representable.Store</a></td></tr><tr><td class="src">runStoreT</td><td class="module"><a href="Control-Comonad-Representable-Store.html#v:runStoreT">Control.Comonad.Representable.Store</a></td></tr><tr><td class="src">seek</td><td class="module"><a href="Control-Comonad-Representable-Store.html#v:seek">Control.Comonad.Representable.Store</a></td></tr><tr><td class="src">seeks</td><td class="module"><a href="Control-Comonad-Representable-Store.html#v:seeks">Control.Comonad.Representable.Store</a></td></tr><tr><td class="src">splitL</td><td class="module"><a href="Data-Functor-Adjunction.html#v:splitL">Data.Functor.Adjunction</a></td></tr><tr><td class="src">State</td><td class="module"><a href="Control-Monad-Representable-State.html#t:State">Control.Monad.Representable.State</a></td></tr><tr><td class="src">state</td><td class="module"><a href="Control-Monad-Representable-State.html#v:state">Control.Monad.Representable.State</a></td></tr><tr><td class="src">StateT</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Control-Monad-Representable-State.html#t:StateT">Control.Monad.Representable.State</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Control-Monad-Representable-State.html#v:StateT">Control.Monad.Representable.State</a></td></tr><tr><td class="src">stateT</td><td class="module"><a href="Control-Monad-Representable-State.html#v:stateT">Control.Monad.Representable.State</a></td></tr><tr><td class="src">Store</td><td class="module"><a href="Control-Comonad-Representable-Store.html#t:Store">Control.Comonad.Representable.Store</a></td></tr><tr><td class="src">store</td><td class="module"><a href="Control-Comonad-Representable-Store.html#v:store">Control.Comonad.Representable.Store</a></td></tr><tr><td class="src">StoreT</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Control-Comonad-Representable-Store.html#t:StoreT">Control.Comonad.Representable.Store</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Control-Comonad-Representable-Store.html#v:StoreT">Control.Comonad.Representable.Store</a></td></tr><tr><td class="src">storeT</td><td class="module"><a href="Control-Comonad-Representable-Store.html#v:storeT">Control.Comonad.Representable.Store</a></td></tr><tr><td class="src">tabulate</td><td> </td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Data-Functor-Rep.html#v:tabulate">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Data-Functor-Contravariant-Rep.html#v:tabulate">Data.Functor.Contravariant.Rep</a></td></tr><tr><td class="src">tabulateAdjunction</td><td class="module"><a href="Data-Functor-Adjunction.html#v:tabulateAdjunction">Data.Functor.Adjunction</a></td></tr><tr><td class="src">tabulated</td><td> </td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Data-Functor-Rep.html#v:tabulated">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Data-Functor-Contravariant-Rep.html#v:tabulated">Data.Functor.Contravariant.Rep</a></td></tr><tr><td class="src">unabsurdL</td><td class="module"><a href="Data-Functor-Adjunction.html#v:unabsurdL">Data.Functor.Adjunction</a></td></tr><tr><td class="src">unCo</td><td class="module"><a href="Data-Functor-Rep.html#v:unCo">Data.Functor.Rep</a>, Control.Monad.Representable.Reader</td></tr><tr><td class="src">uncozipL</td><td class="module"><a href="Data-Functor-Adjunction.html#v:uncozipL">Data.Functor.Adjunction</a></td></tr><tr><td class="src">unit</td><td> </td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Data-Functor-Contravariant-Adjunction.html#v:unit">Data.Functor.Contravariant.Adjunction</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Data-Functor-Adjunction.html#v:unit">Data.Functor.Adjunction</a></td></tr><tr><td class="src">unsplitL</td><td class="module"><a href="Data-Functor-Adjunction.html#v:unsplitL">Data.Functor.Adjunction</a></td></tr><tr><td class="src">unzipR</td><td class="module"><a href="Data-Functor-Adjunction.html#v:unzipR">Data.Functor.Adjunction</a></td></tr><tr><td class="src">zapWithAdjunction</td><td class="module"><a href="Data-Functor-Adjunction.html#v:zapWithAdjunction">Data.Functor.Adjunction</a></td></tr><tr><td class="src">zipR</td><td class="module"><a href="Data-Functor-Adjunction.html#v:zipR">Data.Functor.Adjunction</a></td></tr></table></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>
|