/usr/share/doc/libghc-mtl-doc/html/Control-Monad-List.html is in libghc-mtl-doc 2.2.1-5.
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.Monad.List</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-List.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Monad-List.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">mtl-2.2.1: Monad classes, using functional dependencies</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Copyright</th><td>(c) Andy Gill 2001,
(c) Oregon Graduate Institute of Science and Technology, 2001</td></tr><tr><th>License</th><td>BSD-style (see the file LICENSE)</td></tr><tr><th>Maintainer</th><td>libraries@haskell.org</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Portability</th><td>portable</td></tr><tr><th>Safe Haskell</th><td>Safe</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Control.Monad.List</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>The List monad.</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">newtype</span> <a href="#t:ListT">ListT</a> m a :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a>) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> = <a href="#v:ListT">ListT</a> {<ul class="subs"><li><a href="#v:runListT">runListT</a> :: m [a]</li></ul>}</li><li class="src short"><a href="#v:mapListT">mapListT</a> :: (m [a] -> n [b]) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> n b</li><li class="src short">module <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html">Control.Monad</a></li><li class="src short">module <a href="Control-Monad-Trans.html">Control.Monad.Trans</a></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:ListT" class="def">ListT</a> m a :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a>) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> <a href="#t:ListT" class="selflink">#</a></p><div class="doc"><p>Parameterizable list monad, with an inner monad.</p><p><em>Note:</em> this does not yield a monad unless the argument monad is commutative.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:ListT" class="def">ListT</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:runListT" class="def">runListT</a> :: m [a]</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:ListT" class="caption collapser" onclick="toggleSection('i:ListT')">Instances</p><div id="section.i:ListT" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ListT:MonadTrans:1" class="instance expander" onclick="toggleSection('i:id:ListT:MonadTrans:1')"></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-List.html#t:ListT">ListT</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:MonadTrans:1" 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.0.0/Control-Monad.html#t:Monad">Monad</a> m => m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> 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:ListT:MonadState:2" class="instance expander" onclick="toggleSection('i:id:ListT:MonadState:2')"></span> <a href="Control-Monad-State-Class.html#t:MonadState">MonadState</a> s m => <a href="Control-Monad-State-Class.html#t:MonadState">MonadState</a> s (<a href="Control-Monad-List.html#t:ListT">ListT</a> m)</span> <a href="src/Control-Monad-State-Class.html#line-145" class="link">Source</a> <a href="#t:MonadState" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:MonadState:2" 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-List.html#t:ListT">ListT</a> m s <a href="src/Control-Monad-State-Class.html#get" class="link">Source</a> <a href="#v:get" class="selflink">#</a></p><p class="src"><a href="#v:put">put</a> :: s -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m () <a href="src/Control-Monad-State-Class.html#put" class="link">Source</a> <a href="#v:put" class="selflink">#</a></p><p class="src"><a href="#v:state">state</a> :: (s -> (a, s)) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a <a href="src/Control-Monad-State-Class.html#state" class="link">Source</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:ListT:MonadReader:3" class="instance expander" onclick="toggleSection('i:id:ListT:MonadReader:3')"></span> <a href="Control-Monad-Reader-Class.html#t:MonadReader">MonadReader</a> r m => <a href="Control-Monad-Reader-Class.html#t:MonadReader">MonadReader</a> r (<a href="Control-Monad-List.html#t:ListT">ListT</a> m)</span> <a href="src/Control-Monad-Reader-Class.html#line-147" class="link">Source</a> <a href="#t:MonadReader" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:MonadReader:3" 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-List.html#t:ListT">ListT</a> m r <a href="src/Control-Monad-Reader-Class.html#ask" class="link">Source</a> <a href="#v:ask" class="selflink">#</a></p><p class="src"><a href="#v:local">local</a> :: (r -> r) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a <a href="src/Control-Monad-Reader-Class.html#local" class="link">Source</a> <a href="#v:local" class="selflink">#</a></p><p class="src"><a href="#v:reader">reader</a> :: (r -> a) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a <a href="src/Control-Monad-Reader-Class.html#reader" class="link">Source</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:ListT:MonadError:4" class="instance expander" onclick="toggleSection('i:id:ListT:MonadError:4')"></span> <a href="Control-Monad-Error-Class.html#t:MonadError">MonadError</a> e m => <a href="Control-Monad-Error-Class.html#t:MonadError">MonadError</a> e (<a href="Control-Monad-List.html#t:ListT">ListT</a> m)</span> <a href="src/Control-Monad-Error-Class.html#line-130" class="link">Source</a> <a href="#t:MonadError" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:MonadError:4" 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-List.html#t:ListT">ListT</a> m a <a href="src/Control-Monad-Error-Class.html#throwError" class="link">Source</a> <a href="#v:throwError" class="selflink">#</a></p><p class="src"><a href="#v:catchError">catchError</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> (e -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a <a href="src/Control-Monad-Error-Class.html#catchError" class="link">Source</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:ListT:Monad:5" class="instance expander" onclick="toggleSection('i:id:ListT:Monad:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:Monad">Monad</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:Monad:5" 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-List.html#t:ListT">ListT</a> m a -> (a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m b) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> 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-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m b -> <a href="Control-Monad-List.html#t:ListT">ListT</a> 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-List.html#t:ListT">ListT</a> 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.0.0/Data-String.html#t:String">String</a> -> <a href="Control-Monad-List.html#t:ListT">ListT</a> 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:ListT:Functor:6" class="instance expander" onclick="toggleSection('i:id:ListT:Functor:6')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:Functor:6" 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-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m b -> <a href="Control-Monad-List.html#t:ListT">ListT</a> 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:ListT:MonadFail:7" class="instance expander" onclick="toggleSection('i:id:ListT:MonadFail:7')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad-Fail.html#t:MonadFail">MonadFail</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:MonadFail:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fail">fail</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> -> <a href="Control-Monad-List.html#t:ListT">ListT</a> 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:ListT:Applicative:8" class="instance expander" onclick="toggleSection('i:id:ListT:Applicative:8')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#t:Applicative">Applicative</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:Applicative:8" 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-List.html#t:ListT">ListT</a> m a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m (a -> b) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> 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-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m b -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m b -> <a href="Control-Monad-List.html#t:ListT">ListT</a> 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:ListT:Foldable:9" class="instance expander" onclick="toggleSection('i:id:ListT:Foldable:9')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Foldable.html#t:Foldable">Foldable</a> f => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Foldable.html#t:Foldable">Foldable</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> f)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:Foldable:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fold">fold</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Control-Monad-List.html#t:ListT">ListT</a> f m -> m <a href="#v:fold" class="selflink">#</a></p><p class="src"><a href="#v:foldMap">foldMap</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> f a -> m <a href="#v:foldMap" class="selflink">#</a></p><p class="src"><a href="#v:foldr">foldr</a> :: (a -> b -> b) -> b -> <a href="Control-Monad-List.html#t:ListT">ListT</a> f a -> b <a href="#v:foldr" class="selflink">#</a></p><p class="src"><a href="#v:foldr-39-">foldr'</a> :: (a -> b -> b) -> b -> <a href="Control-Monad-List.html#t:ListT">ListT</a> f a -> b <a href="#v:foldr-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldl">foldl</a> :: (b -> a -> b) -> b -> <a href="Control-Monad-List.html#t:ListT">ListT</a> f a -> b <a href="#v:foldl" class="selflink">#</a></p><p class="src"><a href="#v:foldl-39-">foldl'</a> :: (b -> a -> b) -> b -> <a href="Control-Monad-List.html#t:ListT">ListT</a> f a -> b <a href="#v:foldl-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldr1">foldr1</a> :: (a -> a -> a) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> f a -> a <a href="#v:foldr1" class="selflink">#</a></p><p class="src"><a href="#v:foldl1">foldl1</a> :: (a -> a -> a) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> f a -> a <a href="#v:foldl1" class="selflink">#</a></p><p class="src"><a href="#v:toList">toList</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> f a -> [a] <a href="#v:toList" class="selflink">#</a></p><p class="src"><a href="#v:null">null</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> f a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:null" class="selflink">#</a></p><p class="src"><a href="#v:length">length</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> f a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> <a href="#v:length" class="selflink">#</a></p><p class="src"><a href="#v:elem">elem</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Eq.html#t:Eq">Eq</a> a => a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> f a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:elem" class="selflink">#</a></p><p class="src"><a href="#v:maximum">maximum</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Control-Monad-List.html#t:ListT">ListT</a> f a -> a <a href="#v:maximum" class="selflink">#</a></p><p class="src"><a href="#v:minimum">minimum</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Control-Monad-List.html#t:ListT">ListT</a> f a -> a <a href="#v:minimum" class="selflink">#</a></p><p class="src"><a href="#v:sum">sum</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> a => <a href="Control-Monad-List.html#t:ListT">ListT</a> f a -> a <a href="#v:sum" class="selflink">#</a></p><p class="src"><a href="#v:product">product</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Num">Num</a> a => <a href="Control-Monad-List.html#t:ListT">ListT</a> f a -> a <a href="#v:product" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ListT:Traversable:10" class="instance expander" onclick="toggleSection('i:id:ListT:Traversable:10')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Traversable.html#t:Traversable">Traversable</a> f => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Traversable.html#t:Traversable">Traversable</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> f)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:Traversable:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:traverse">traverse</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#t:Applicative">Applicative</a> f => (a -> f b) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> f a -> f (<a href="Control-Monad-List.html#t:ListT">ListT</a> f b) <a href="#v:traverse" class="selflink">#</a></p><p class="src"><a href="#v:sequenceA">sequenceA</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#t:Applicative">Applicative</a> f => <a href="Control-Monad-List.html#t:ListT">ListT</a> f (f a) -> f (<a href="Control-Monad-List.html#t:ListT">ListT</a> f a) <a href="#v:sequenceA" class="selflink">#</a></p><p class="src"><a href="#v:mapM">mapM</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:Monad">Monad</a> m => (a -> m b) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> f a -> m (<a href="Control-Monad-List.html#t:ListT">ListT</a> f b) <a href="#v:mapM" class="selflink">#</a></p><p class="src"><a href="#v:sequence">sequence</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="Control-Monad-List.html#t:ListT">ListT</a> f (m a) -> m (<a href="Control-Monad-List.html#t:ListT">ListT</a> f a) <a href="#v:sequence" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ListT:Eq1:11" class="instance expander" onclick="toggleSection('i:id:ListT:Eq1:11')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Classes.html#t:Eq1">Eq1</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Classes.html#t:Eq1">Eq1</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:Eq1:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftEq">liftEq</a> :: (a -> b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a>) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:liftEq" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ListT:Ord1:12" class="instance expander" onclick="toggleSection('i:id:ListT:Ord1:12')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Classes.html#t:Ord1">Ord1</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Classes.html#t:Ord1">Ord1</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:Ord1:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftCompare">liftCompare</a> :: (a -> b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ordering">Ordering</a>) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m b -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:liftCompare" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ListT:Read1:13" class="instance expander" onclick="toggleSection('i:id:ListT:Read1:13')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Classes.html#t:Read1">Read1</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Classes.html#t:Read1">Read1</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:Read1:13" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftReadsPrec">liftReadsPrec</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> [a] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m a) <a href="#v:liftReadsPrec" class="selflink">#</a></p><p class="src"><a href="#v:liftReadList">liftReadList</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> a) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> [a] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> [<a href="Control-Monad-List.html#t:ListT">ListT</a> m a] <a href="#v:liftReadList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ListT:Show1:14" class="instance expander" onclick="toggleSection('i:id:ListT:Show1:14')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Classes.html#t:Show1">Show1</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Classes.html#t:Show1">Show1</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:Show1:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftShowsPrec">liftShowsPrec</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a>) -> ([a] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a>) -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:liftShowsPrec" class="selflink">#</a></p><p class="src"><a href="#v:liftShowList">liftShowList</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a>) -> ([a] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a>) -> [<a href="Control-Monad-List.html#t:ListT">ListT</a> m a] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:liftShowList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ListT:MonadZip:15" class="instance expander" onclick="toggleSection('i:id:ListT:MonadZip:15')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad-Zip.html#t:MonadZip">MonadZip</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad-Zip.html#t:MonadZip">MonadZip</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:MonadZip:15" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mzip">mzip</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m b -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m (a, b) <a href="#v:mzip" class="selflink">#</a></p><p class="src"><a href="#v:mzipWith">mzipWith</a> :: (a -> b -> c) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m b -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m c <a href="#v:mzipWith" class="selflink">#</a></p><p class="src"><a href="#v:munzip">munzip</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m (a, b) -> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m a, <a href="Control-Monad-List.html#t:ListT">ListT</a> m b) <a href="#v:munzip" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ListT:MonadIO:16" class="instance expander" onclick="toggleSection('i:id:ListT:MonadIO:16')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad-IO-Class.html#t:MonadIO">MonadIO</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad-IO-Class.html#t:MonadIO">MonadIO</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:MonadIO:16" 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.0.0/System-IO.html#t:IO">IO</a> a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> 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:ListT:Alternative:17" class="instance expander" onclick="toggleSection('i:id:ListT:Alternative:17')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#t:Applicative">Applicative</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Applicative.html#t:Alternative">Alternative</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:Alternative:17" 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-List.html#t:ListT">ListT</a> m a <a href="#v:empty" class="selflink">#</a></p><p class="src"><a href="#v:-60--124--62-">(<|>)</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> 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-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m [a] <a href="#v:some" class="selflink">#</a></p><p class="src"><a href="#v:many">many</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> 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:ListT:MonadPlus:18" class="instance expander" onclick="toggleSection('i:id:ListT:MonadPlus:18')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:MonadPlus:18" 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-List.html#t:ListT">ListT</a> m a <a href="#v:mzero" class="selflink">#</a></p><p class="src"><a href="#v:mplus">mplus</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> 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:ListT:MonadCont:19" class="instance expander" onclick="toggleSection('i:id:ListT:MonadCont:19')"></span> <a href="Control-Monad-Cont-Class.html#t:MonadCont">MonadCont</a> m => <a href="Control-Monad-Cont-Class.html#t:MonadCont">MonadCont</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m)</span> <a href="src/Control-Monad-Cont-Class.html#line-109" class="link">Source</a> <a href="#t:MonadCont" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:MonadCont:19" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:callCC">callCC</a> :: ((a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m b) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a <a href="src/Control-Monad-Cont-Class.html#callCC" class="link">Source</a> <a href="#v:callCC" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ListT:Eq:20" class="instance expander" onclick="toggleSection('i:id:ListT:Eq:20')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Classes.html#t:Eq1">Eq1</a> m, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Eq.html#t:Eq">Eq</a> a) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:Eq:20" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ListT:Ord:21" class="instance expander" onclick="toggleSection('i:id:ListT:Ord:21')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Classes.html#t:Ord1">Ord1</a> m, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> a) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:Ord:21" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(<)</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(<=)</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(>)</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(>=)</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a <a href="#v:min" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ListT:Read:22" class="instance expander" onclick="toggleSection('i:id:ListT:Read:22')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Classes.html#t:Read1">Read1</a> m, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Read.html#t:Read">Read</a> a) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Read.html#t:Read">Read</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:Read:22" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:readsPrec">readsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m a) <a href="#v:readsPrec" class="selflink">#</a></p><p class="src"><a href="#v:readList">readList</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadP.html#t:ReadS">ReadS</a> [<a href="Control-Monad-List.html#t:ListT">ListT</a> m a] <a href="#v:readList" class="selflink">#</a></p><p class="src"><a href="#v:readPrec">readPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m a) <a href="#v:readPrec" class="selflink">#</a></p><p class="src"><a href="#v:readListPrec">readListPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-ParserCombinators-ReadPrec.html#t:ReadPrec">ReadPrec</a> [<a href="Control-Monad-List.html#t:ListT">ListT</a> m a] <a href="#v:readListPrec" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ListT:Show:23" class="instance expander" onclick="toggleSection('i:id:ListT:Show:23')"></span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Functor-Classes.html#t:Show1">Show1</a> m, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:Show">Show</a> a) => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:Show">Show</a> (<a href="Control-Monad-List.html#t:ListT">ListT</a> m a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ListT:Show:23" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Control-Monad-List.html#t:ListT">ListT</a> m a] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:mapListT" class="def">mapListT</a> :: (m [a] -> n [b]) -> <a href="Control-Monad-List.html#t:ListT">ListT</a> m a -> <a href="Control-Monad-List.html#t:ListT">ListT</a> n b <a href="#v:mapListT" class="selflink">#</a></p><div class="doc"><p>Map between <code><a href="Control-Monad-List.html#t:ListT">ListT</a></code> computations.</p><ul><li><pre><code><a href="Control-Monad-List.html#v:runListT">runListT</a></code> (<code><a href="Control-Monad-List.html#v:mapListT">mapListT</a></code> f m) = f (<code><a href="Control-Monad-List.html#v:runListT">runListT</a></code> m)</pre></li></ul></div></div><div class="top"><p class="src">module <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Control-Monad.html">Control.Monad</a></p></div><div class="top"><p class="src">module <a href="Control-Monad-Trans.html">Control.Monad.Trans</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.2</p></div></body></html>
|