/usr/share/doc/libghc-adjunctions-doc/html/Control-Monad-Trans-Conts.html is in libghc-adjunctions-doc 3.2.1.1-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 6 7 8 9 10 11 12 13 | <!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.Monad.Trans.Conts</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-Monad-Trans-Conts.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Monad-Trans-Conts.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">adjunctions-3.2.1.1: Adjunctions</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>MPTCs, fundeps</td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Maintainer</th><td>Edward Kmett <ekmett@gmail.com></td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Control.Monad.Trans.Conts</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Continuation passing style
</a></li><li><a href="#g:2">Multiple-continuation passing style
</a></li><li><a href="#g:3">Multiple-continuation passing style transformer
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><pre> Cont r ~ Contravariant.Adjoint (Op r) (Op r)
Conts r ~ Contravariant.AdjointT (Op r) (Op r)
ContsT r w m ~ Contravariant.AdjointT (Op (m r)) (Op (m r)) w
</pre></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">type</span> <a href="#t:Cont">Cont</a> r = <a href="Control-Monad-Trans-Conts.html#t:ContsT">ContsT</a> r <a href="/usr/share/doc/libghc-transformers-doc/html/Data-Functor-Identity.html#t:Identity">Identity</a> <a href="/usr/share/doc/libghc-transformers-doc/html/Data-Functor-Identity.html#t:Identity">Identity</a></li><li class="src short"><a href="#v:cont">cont</a> :: ((a -> r) -> r) -> <a href="Control-Monad-Trans-Conts.html#t:Cont">Cont</a> r a</li><li class="src short"><a href="#v:runCont">runCont</a> :: <a href="Control-Monad-Trans-Conts.html#t:Cont">Cont</a> r a -> (a -> r) -> r</li><li class="src short"><span class="keyword">type</span> <a href="#t:Conts">Conts</a> r w = <a href="Control-Monad-Trans-Conts.html#t:ContsT">ContsT</a> r w <a href="/usr/share/doc/libghc-transformers-doc/html/Data-Functor-Identity.html#t:Identity">Identity</a></li><li class="src short"><a href="#v:runConts">runConts</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Functor">Functor</a> w => <a href="Control-Monad-Trans-Conts.html#t:Conts">Conts</a> r w a -> w (a -> r) -> r</li><li class="src short"><a href="#v:conts">conts</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Functor">Functor</a> w => (w (a -> r) -> r) -> <a href="Control-Monad-Trans-Conts.html#t:Conts">Conts</a> r w a</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:ContsT">ContsT</a> r w m a = <a href="#v:ContsT">ContsT</a> {<ul class="subs"><li><a href="#v:runContsT">runContsT</a> :: w (a -> m r) -> m r</li></ul>}</li><li class="src short"><a href="#v:callCC">callCC</a> :: <a href="/usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> w => ((a -> <a href="Control-Monad-Trans-Conts.html#t:ContsT">ContsT</a> r w m b) -> <a href="Control-Monad-Trans-Conts.html#t:ContsT">ContsT</a> r w m a) -> <a href="Control-Monad-Trans-Conts.html#t:ContsT">ContsT</a> r w m a</li></ul></div><div id="interface"><h1 id="g:1">Continuation passing style
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Cont" class="def">Cont</a> r = <a href="Control-Monad-Trans-Conts.html#t:ContsT">ContsT</a> r <a href="/usr/share/doc/libghc-transformers-doc/html/Data-Functor-Identity.html#t:Identity">Identity</a> <a href="/usr/share/doc/libghc-transformers-doc/html/Data-Functor-Identity.html#t:Identity">Identity</a><a href="src/Control-Monad-Trans-Conts.html#Cont" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:cont" class="def">cont</a> :: ((a -> r) -> r) -> <a href="Control-Monad-Trans-Conts.html#t:Cont">Cont</a> r a<a href="src/Control-Monad-Trans-Conts.html#cont" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:runCont" class="def">runCont</a> :: <a href="Control-Monad-Trans-Conts.html#t:Cont">Cont</a> r a -> (a -> r) -> r<a href="src/Control-Monad-Trans-Conts.html#runCont" class="link">Source</a></p></div><h1 id="g:2">Multiple-continuation passing style
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Conts" class="def">Conts</a> r w = <a href="Control-Monad-Trans-Conts.html#t:ContsT">ContsT</a> r w <a href="/usr/share/doc/libghc-transformers-doc/html/Data-Functor-Identity.html#t:Identity">Identity</a><a href="src/Control-Monad-Trans-Conts.html#Conts" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:runConts" class="def">runConts</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Functor">Functor</a> w => <a href="Control-Monad-Trans-Conts.html#t:Conts">Conts</a> r w a -> w (a -> r) -> r<a href="src/Control-Monad-Trans-Conts.html#runConts" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:conts" class="def">conts</a> :: <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Functor">Functor</a> w => (w (a -> r) -> r) -> <a href="Control-Monad-Trans-Conts.html#t:Conts">Conts</a> r w a<a href="src/Control-Monad-Trans-Conts.html#conts" class="link">Source</a></p></div><h1 id="g:3">Multiple-continuation passing style transformer
</h1><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:ContsT" class="def">ContsT</a> r w m a <a href="src/Control-Monad-Trans-Conts.html#ContsT" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:ContsT" class="def">ContsT</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:runContsT" class="def">runContsT</a> :: w (a -> m r) -> m r</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:ContsT" class="caption collapser" onclick="toggleSection('i:ContsT')">Instances</p><div id="section.i:ContsT" class="show"><table><tr><td class="src"><a href="/usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> w => <a href="/usr/share/doc/libghc-transformers-doc/html/Control-Monad-Trans-Class.html#t:MonadTrans">MonadTrans</a> (<a href="Control-Monad-Trans-Conts.html#t:ContsT">ContsT</a> r w)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> w => <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Monad">Monad</a> (<a href="Control-Monad-Trans-Conts.html#t:ContsT">ContsT</a> r w m)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Functor">Functor</a> w => <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Monad.html#t:Functor">Functor</a> (<a href="Control-Monad-Trans-Conts.html#t:ContsT">ContsT</a> r w m)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> w => <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Monad-Trans-Conts.html#t:ContsT">ContsT</a> r w m)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> w => <a href="/usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Bind.html#t:Apply">Apply</a> (<a href="Control-Monad-Trans-Conts.html#t:ContsT">ContsT</a> r w m)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:callCC" class="def">callCC</a> :: <a href="/usr/share/doc/libghc-comonad-doc/html/Control-Comonad.html#t:Comonad">Comonad</a> w => ((a -> <a href="Control-Monad-Trans-Conts.html#t:ContsT">ContsT</a> r w m b) -> <a href="Control-Monad-Trans-Conts.html#t:ContsT">ContsT</a> r w m a) -> <a href="Control-Monad-Trans-Conts.html#t:ContsT">ContsT</a> r w m a<a href="src/Control-Monad-Trans-Conts.html#callCC" 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.13.2</p></div></body></html>
|