Sophie: ghc-logict-devel-0.6-1.fc18 i686

ghc-logict-devel-0.6-1.fc18.i686.rpm

<!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>logict-0.6: A backtracking logic-programming monad. (Index)</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">logict-0.6: A backtracking logic-programming monad.</p></div><div id="content"><div id="index"><p class="caption">Index</p><table><tr><td class="src">&lt;=&lt;</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">=&lt;&lt;</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">&gt;=&gt;</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">&gt;&gt;</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">&gt;&gt;-</td><td class="module"><a href="Control-Monad-Logic-Class.html#v:-62--62--45-">Control.Monad.Logic.Class</a>, Control.Monad.Logic</td></tr><tr><td class="src">&gt;&gt;=</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">ap</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">fail</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">filterM</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">fmap</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">foldM</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">foldM_</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">forever</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">forM</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">forM_</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">Functor</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">guard</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">ifte</td><td class="module"><a href="Control-Monad-Logic-Class.html#v:ifte">Control.Monad.Logic.Class</a>, Control.Monad.Logic</td></tr><tr><td class="src">interleave</td><td class="module"><a href="Control-Monad-Logic-Class.html#v:interleave">Control.Monad.Logic.Class</a>, Control.Monad.Logic</td></tr><tr><td class="src">join</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">lift</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">liftIO</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">liftM</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">liftM2</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">liftM3</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">liftM4</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">liftM5</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">lnot</td><td class="module"><a href="Control-Monad-Logic-Class.html#v:lnot">Control.Monad.Logic.Class</a>, Control.Monad.Logic</td></tr><tr><td class="src">Logic</td><td class="module"><a href="Control-Monad-Logic.html#t:Logic">Control.Monad.Logic</a></td></tr><tr><td class="src">logic</td><td class="module"><a href="Control-Monad-Logic.html#v:logic">Control.Monad.Logic</a></td></tr><tr><td class="src">LogicT</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Control-Monad-Logic.html#t:LogicT">Control.Monad.Logic</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Control-Monad-Logic.html#v:LogicT">Control.Monad.Logic</a></td></tr><tr><td class="src">mapAndUnzipM</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">mapM</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">mapM_</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">mfilter</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">Monad</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">MonadIO</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">MonadLogic</td><td class="module"><a href="Control-Monad-Logic-Class.html#t:MonadLogic">Control.Monad.Logic.Class</a>, Control.Monad.Logic</td></tr><tr><td class="src">MonadPlus</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">MonadTrans</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">mplus</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">msplit</td><td class="module"><a href="Control-Monad-Logic-Class.html#v:msplit">Control.Monad.Logic.Class</a>, Control.Monad.Logic</td></tr><tr><td class="src">msum</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">mzero</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">observe</td><td class="module"><a href="Control-Monad-Logic.html#v:observe">Control.Monad.Logic</a></td></tr><tr><td class="src">observeAll</td><td class="module"><a href="Control-Monad-Logic.html#v:observeAll">Control.Monad.Logic</a></td></tr><tr><td class="src">observeAllT</td><td class="module"><a href="Control-Monad-Logic.html#v:observeAllT">Control.Monad.Logic</a></td></tr><tr><td class="src">observeMany</td><td class="module"><a href="Control-Monad-Logic.html#v:observeMany">Control.Monad.Logic</a></td></tr><tr><td class="src">observeManyT</td><td class="module"><a href="Control-Monad-Logic.html#v:observeManyT">Control.Monad.Logic</a></td></tr><tr><td class="src">observeT</td><td class="module"><a href="Control-Monad-Logic.html#v:observeT">Control.Monad.Logic</a></td></tr><tr><td class="src">once</td><td class="module"><a href="Control-Monad-Logic-Class.html#v:once">Control.Monad.Logic.Class</a>, Control.Monad.Logic</td></tr><tr><td class="src">reflect</td><td class="module"><a href="Control-Monad-Logic-Class.html#v:reflect">Control.Monad.Logic.Class</a>, Control.Monad.Logic</td></tr><tr><td class="src">replicateM</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">replicateM_</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">return</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">runLogic</td><td class="module"><a href="Control-Monad-Logic.html#v:runLogic">Control.Monad.Logic</a></td></tr><tr><td class="src">runLogicT</td><td class="module"><a href="Control-Monad-Logic.html#v:runLogicT">Control.Monad.Logic</a></td></tr><tr><td class="src">sequence</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">sequence_</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">unless</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">unLogicT</td><td class="module"><a href="Control-Monad-Logic.html#v:unLogicT">Control.Monad.Logic</a></td></tr><tr><td class="src">void</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">when</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">zipWithM</td><td class="module">Control.Monad.Logic</td></tr><tr><td class="src">zipWithM_</td><td class="module">Control.Monad.Logic</td></tr></table></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.10.0</p></div></body></html>