/usr/share/doc/libghc-monad-journal-doc/html/Control-Monad-Trans-Journal.html is in libghc-monad-journal-doc 0.7.2-3build6.
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 | <!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.Journal</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_Control-Monad-Trans-Journal.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Monad-Trans-Journal.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">monad-journal-0.7.2: Pure logger typeclass and monad transformer</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(C) Dimitri Sabadie</td></tr><tr><th>License</th><td>BSD3</td></tr><tr><th>Maintainer</th><td>dimitri.sabadie@gmail.com</td></tr><tr><th>Stability</th><td>stable</td></tr><tr><th>Portability</th><td>portable</td></tr><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Control.Monad.Trans.Journal</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">JournalT monad transformer</a></li><li><a href="#g:2">Re-exported</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Monad transformer version of <code><a href="Control-Monad-Journal-Class.html#t:MonadJournal">MonadJournal</a></code>. <code><a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a></code> provides
journaling over a monad.</p><p>This modules defines a few useful instances. Check the list below for
further information.</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:JournalT">JournalT</a> w m a</li><li class="src short"><a href="#v:runJournalT">runJournalT</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> m (a, w)</li><li class="src short"><a href="#v:evalJournalT">evalJournalT</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> m a</li><li class="src short"><a href="#v:execJournalT">execJournalT</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> m w</li><li class="src short">module <a href="Control-Monad-Journal-Class.html">Control.Monad.Journal.Class</a></li></ul></div><div id="interface"><h1 id="g:1">JournalT monad transformer</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:JournalT" class="def">JournalT</a> w m a <a href="src/Control-Monad-Trans-Journal.html#JournalT" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></p><div class="doc"><p>Transformer version of <code><a href="Control-Monad-Journal-Class.html#t:MonadJournal">MonadJournal</a></code>.</p></div><div class="subs instances"><p id="control.i:JournalT" class="caption collapser" onclick="toggleSection('i:JournalT')">Instances</p><div id="section.i:JournalT" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:JournalT:MonadBase:1" class="instance expander" onclick="toggleSection('i:id:JournalT:MonadBase:1')"></span> <a href="file:///usr/share/doc/libghc-transformers-base-doc/html/Control-Monad-Base.html#t:MonadBase">MonadBase</a> b m => <a href="file:///usr/share/doc/libghc-transformers-base-doc/html/Control-Monad-Base.html#t:MonadBase">MonadBase</a> b (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m)</span> <a href="src/Control-Monad-Trans-Journal.html#line-72" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:JournalT:MonadBase:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftBase">liftBase</a> :: b α -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m α <a href="#v:liftBase" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:JournalT:MonadBaseControl:2" class="instance expander" onclick="toggleSection('i:id:JournalT:MonadBaseControl:2')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="file:///usr/share/doc/libghc-monad-control-doc/html/Control-Monad-Trans-Control.html#t:MonadBaseControl">MonadBaseControl</a> b m) => <a href="file:///usr/share/doc/libghc-monad-control-doc/html/Control-Monad-Trans-Control.html#t:MonadBaseControl">MonadBaseControl</a> b (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m)</span> <a href="src/Control-Monad-Trans-Journal.html#line-85" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:JournalT:MonadBaseControl:2" 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/libghc-monad-control-doc/html/Control-Monad-Trans-Control.html#t:StM">StM</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m :: <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 :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="#t:StM" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftBaseWith">liftBaseWith</a> :: (<a href="file:///usr/share/doc/libghc-monad-control-doc/html/Control-Monad-Trans-Control.html#t:RunInBase">RunInBase</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m) b -> b a) -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:liftBaseWith" class="selflink">#</a></p><p class="src"><a href="#v:restoreM">restoreM</a> :: <a href="file:///usr/share/doc/libghc-monad-control-doc/html/Control-Monad-Trans-Control.html#t:StM">StM</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m) a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:restoreM" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:JournalT:MonadError:3" class="instance expander" onclick="toggleSection('i:id:JournalT:MonadError:3')"></span> <a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error-Class.html#t:MonadError">MonadError</a> e m => <a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Error-Class.html#t:MonadError">MonadError</a> e (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m)</span> <a href="src/Control-Monad-Trans-Journal.html#line-54" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:JournalT:MonadError:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:throwError">throwError</a> :: e -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:throwError" class="selflink">#</a></p><p class="src"><a href="#v:catchError">catchError</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> (e -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a) -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:catchError" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:JournalT:MonadReader:4" class="instance expander" onclick="toggleSection('i:id:JournalT:MonadReader:4')"></span> <a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader-Class.html#t:MonadReader">MonadReader</a> r m => <a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Reader-Class.html#t:MonadReader">MonadReader</a> r (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m)</span> <a href="src/Control-Monad-Trans-Journal.html#line-57" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:JournalT:MonadReader:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:ask">ask</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m r <a href="#v:ask" class="selflink">#</a></p><p class="src"><a href="#v:local">local</a> :: (r -> r) -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:local" class="selflink">#</a></p><p class="src"><a href="#v:reader">reader</a> :: (r -> a) -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:reader" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:JournalT:MonadState:5" class="instance expander" onclick="toggleSection('i:id:JournalT:MonadState:5')"></span> <a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Class.html#t:MonadState">MonadState</a> s m => <a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-State-Class.html#t:MonadState">MonadState</a> s (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m)</span> <a href="src/Control-Monad-Trans-Journal.html#line-67" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:JournalT:MonadState:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:get">get</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m s <a href="#v:get" class="selflink">#</a></p><p class="src"><a href="#v:put">put</a> :: s -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m () <a href="#v:put" class="selflink">#</a></p><p class="src"><a href="#v:state">state</a> :: (s -> (a, s)) -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:state" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:JournalT:MonadWriter:6" class="instance expander" onclick="toggleSection('i:id:JournalT:MonadWriter:6')"></span> <a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Class.html#t:MonadWriter">MonadWriter</a> w' m => <a href="file:///usr/share/doc/libghc-mtl-doc/html/Control-Monad-Writer-Class.html#t:MonadWriter">MonadWriter</a> w' (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m)</span> <a href="src/Control-Monad-Trans-Journal.html#line-59" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:JournalT:MonadWriter:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:writer">writer</a> :: (a, w') -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:writer" class="selflink">#</a></p><p class="src"><a href="#v:tell">tell</a> :: w' -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m () <a href="#v:tell" class="selflink">#</a></p><p class="src"><a href="#v:listen">listen</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m (a, w') <a href="#v:listen" class="selflink">#</a></p><p class="src"><a href="#v:pass">pass</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m (a, w' -> w') -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:pass" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:JournalT:MonadJournal:7" class="instance expander" onclick="toggleSection('i:id:JournalT:MonadJournal:7')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => <a href="Control-Monad-Journal-Class.html#t:MonadJournal">MonadJournal</a> w (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m)</span> <a href="src/Control-Monad-Trans-Journal.html#line-62" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:JournalT:MonadJournal:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:journal">journal</a> :: w -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m () <a href="src/Control-Monad-Journal-Class.html#journal" class="link">Source</a> <a href="#v:journal" class="selflink">#</a></p><p class="src"><a href="#v:history">history</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m w <a href="src/Control-Monad-Journal-Class.html#history" class="link">Source</a> <a href="#v:history" class="selflink">#</a></p><p class="src"><a href="#v:clear">clear</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m () <a href="src/Control-Monad-Journal-Class.html#clear" class="link">Source</a> <a href="#v:clear" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:JournalT:MonadTrans:8" class="instance expander" onclick="toggleSection('i:id:JournalT:MonadTrans:8')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-Class.html#t:MonadTrans">MonadTrans</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w)</span> <a href="src/Control-Monad-Trans-Journal.html#line-58" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:JournalT:MonadTrans:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:lift">lift</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m => m a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:lift" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:JournalT:MonadTransControl:9" class="instance expander" onclick="toggleSection('i:id:JournalT:MonadTransControl:9')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> w => <a href="file:///usr/share/doc/libghc-monad-control-doc/html/Control-Monad-Trans-Control.html#t:MonadTransControl">MonadTransControl</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w)</span> <a href="src/Control-Monad-Trans-Journal.html#line-76" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:JournalT:MonadTransControl:9" 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/libghc-monad-control-doc/html/Control-Monad-Trans-Control.html#t:StT">StT</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w :: (<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 :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="#t:StT" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftWith">liftWith</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m => (<a href="file:///usr/share/doc/libghc-monad-control-doc/html/Control-Monad-Trans-Control.html#t:Run">Run</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w) -> m a) -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:liftWith" class="selflink">#</a></p><p class="src"><a href="#v:restoreT">restoreT</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m => m (<a href="file:///usr/share/doc/libghc-monad-control-doc/html/Control-Monad-Trans-Control.html#t:StT">StT</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w) a) -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:restoreT" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:JournalT:Monad:10" class="instance expander" onclick="toggleSection('i:id:JournalT:Monad:10')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m)</span> <a href="src/Control-Monad-Trans-Journal.html#line-53" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:JournalT:Monad:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-62--62--61-">(>>=)</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> (a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m b) -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m b <a href="#v:-62--62--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62--62-">(>>)</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m b -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m b <a href="#v:-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:return">return</a> :: a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:return" class="selflink">#</a></p><p class="src"><a href="#v:fail">fail</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:fail" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:JournalT:Functor:11" class="instance expander" onclick="toggleSection('i:id:JournalT:Functor:11')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m)</span> <a href="src/Control-Monad-Trans-Journal.html#line-52" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:JournalT:Functor:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m b -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:JournalT:Applicative:12" class="instance expander" onclick="toggleSection('i:id:JournalT:Applicative:12')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m)</span> <a href="src/Control-Monad-Trans-Journal.html#line-50" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:JournalT:Applicative:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m (a -> b) -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m b <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*>)</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m b -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m b -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:-60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:JournalT:MonadIO:13" class="instance expander" onclick="toggleSection('i:id:JournalT:MonadIO:13')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad-IO-Class.html#t:MonadIO">MonadIO</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad-IO-Class.html#t:MonadIO">MonadIO</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m)</span> <a href="src/Control-Monad-Trans-Journal.html#line-55" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:JournalT:MonadIO:13" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftIO">liftIO</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/System-IO.html#t:IO">IO</a> a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:liftIO" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:JournalT:Alternative:14" class="instance expander" onclick="toggleSection('i:id:JournalT:Alternative:14')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Alternative">Alternative</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m)</span> <a href="src/Control-Monad-Trans-Journal.html#line-51" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:JournalT:Alternative:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:empty">empty</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:empty" class="selflink">#</a></p><p class="src"><a href="#v:-60--124--62-">(<|>)</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:-60--124--62-" class="selflink">#</a></p><p class="src"><a href="#v:some">some</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m [a] <a href="#v:some" class="selflink">#</a></p><p class="src"><a href="#v:many">many</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m [a] <a href="#v:many" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:JournalT:MonadPlus:15" class="instance expander" onclick="toggleSection('i:id:JournalT:MonadPlus:15')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m)</span> <a href="src/Control-Monad-Trans-Journal.html#line-56" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:JournalT:MonadPlus:15" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mzero">mzero</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:mzero" class="selflink">#</a></p><p class="src"><a href="#v:mplus">mplus</a> :: <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a <a href="#v:mplus" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:JournalT:StT:16" class="instance expander" onclick="toggleSection('i:id:JournalT:StT:16')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-monad-control-doc/html/Control-Monad-Trans-Control.html#t:StT">StT</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w) a</span> <a href="src/Control-Monad-Trans-Journal.html#line-77" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:JournalT:StT:16" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-monad-control-doc/html/Control-Monad-Trans-Control.html#t:StT">StT</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w) a = (a, w)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:JournalT:StM:17" class="instance expander" onclick="toggleSection('i:id:JournalT:StM:17')"></span> <span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-monad-control-doc/html/Control-Monad-Trans-Control.html#t:StM">StM</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m) a</span> <a href="src/Control-Monad-Trans-Journal.html#line-86" class="link">Source</a> <a href="#t:JournalT" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:JournalT:StM:17" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="file:///usr/share/doc/libghc-monad-control-doc/html/Control-Monad-Trans-Control.html#t:StM">StM</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m) a = <a href="file:///usr/share/doc/libghc-monad-control-doc/html/Control-Monad-Trans-Control.html#t:ComposeSt">ComposeSt</a> (<a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w) m a</div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:runJournalT" class="def">runJournalT</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> m (a, w) <a href="src/Control-Monad-Trans-Journal.html#runJournalT" class="link">Source</a> <a href="#v:runJournalT" class="selflink">#</a></p><div class="doc"><p>Retrieve the value and the log history.</p></div></div><div class="top"><p class="src"><a id="v:evalJournalT" class="def">evalJournalT</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> m a <a href="src/Control-Monad-Trans-Journal.html#evalJournalT" class="link">Source</a> <a href="#v:evalJournalT" class="selflink">#</a></p><div class="doc"><p>Only retrieve the value.</p></div></div><div class="top"><p class="src"><a id="v:execJournalT" class="def">execJournalT</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> w, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> m) => <a href="Control-Monad-Trans-Journal.html#t:JournalT">JournalT</a> w m a -> m w <a href="src/Control-Monad-Trans-Journal.html#execJournalT" class="link">Source</a> <a href="#v:execJournalT" class="selflink">#</a></p><div class="doc"><p>Only retrieve the log history.</p></div></div><h1 id="g:2">Re-exported</h1><div class="top"><p class="src">module <a href="Control-Monad-Journal-Class.html">Control.Monad.Journal.Class</a></p></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>
|