Commit 4b90b288 authored by Edward Kmett's avatar Edward Kmett
Browse files

updated haddocks

parent 010c1572
<!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.Catch.Pure</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-Catch-Pure.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Monad-Catch-Pure.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">exceptions-0.8.0.1: Extensible optionally-pure exceptions</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Copyright</th><td>(C) Edward Kmett 2013-2014, (c) Google Inc. 2012</td></tr><tr><th>License</th><td>BSD-style (see the file LICENSE)</td></tr><tr><th>Maintainer</th><td>Edward Kmett &lt;ekmett@gmail.com&gt;</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Portability</th><td>non-portable</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Control.Monad.Catch.Pure</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Transformer</a></li><li><a href="#g:2">Typeclass</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>This module supplies a 'pure' monad transformer that can be used for
mock-testing code that throws exceptions, so long as those exceptions
are always thrown with <code><a href="Control-Monad-Catch.html#v:throwM">throwM</a></code>.</p><p>Do not mix <code><a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a></code> with <code><a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/System-IO.html#t:IO">IO</a></code>. Choose one or the other for the
bottom of your transformer stack!</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:CatchT">CatchT</a> m a = <a href="#v:CatchT">CatchT</a> {<ul class="subs"><li><a href="#v:runCatchT">runCatchT</a> :: m (<a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Data-Either.html#t:Either">Either</a> <a href="Control-Monad-Catch.html#t:SomeException">SomeException</a> a)</li></ul>}</li><li class="src short"><span class="keyword">type</span> <a href="#t:Catch">Catch</a> = <a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> Identity</li><li class="src short"><a href="#v:runCatch">runCatch</a> :: <a href="Control-Monad-Catch-Pure.html#t:Catch">Catch</a> a -&gt; <a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Data-Either.html#t:Either">Either</a> <a href="Control-Monad-Catch.html#t:SomeException">SomeException</a> a</li><li class="src short"><a href="#v:mapCatchT">mapCatchT</a> :: (m (<a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Data-Either.html#t:Either">Either</a> <a href="Control-Monad-Catch.html#t:SomeException">SomeException</a> a) -&gt; n (<a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Data-Either.html#t:Either">Either</a> <a href="Control-Monad-Catch.html#t:SomeException">SomeException</a> b)) -&gt; <a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m a -&gt; <a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> n b</li><li class="src short">module <a href="Control-Monad-Catch.html">Control.Monad.Catch</a></li></ul></div><div id="interface"><h1 id="g:1">Transformer</h1><div class="doc"><p>The <code>transformers</code>-style monad transfomer</p></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:CatchT" class="def">CatchT</a> m a <a href="src/Control-Monad-Catch-Pure.html#CatchT" class="link">Source</a></p><div class="doc"><p>Add <code><a href="Control-Monad-Catch.html#t:Exception">Exception</a></code> handling abilities to a <code><a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Control-Monad.html#t:Monad">Monad</a></code>.</p><p>This should <em>never</em> be used in combination with <code><a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/System-IO.html#t:IO">IO</a></code>. Think of <code><a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a></code>
as an alternative base monad for use with mocking code that solely throws
exceptions via <code><a href="Control-Monad-Catch.html#v:throwM">throwM</a></code>.</p><p>Note: that <code><a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/System-IO.html#t:IO">IO</a></code> monad has these abilities already, so stacking <code><a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a></code> on top
of it does not add any value and can possibly be confusing:</p><pre class="screen"><code class="prompt">&gt;&gt;&gt; </code><strong class="userinput"><code>(error &quot;Hello!&quot; :: IO ()) `catch` (\(e :: ErrorCall) -&gt; liftIO $ print e)
</code></strong>Hello!
</pre><pre class="screen"><code class="prompt">&gt;&gt;&gt; </code><strong class="userinput"><code>runCatchT $ (error &quot;Hello!&quot; :: CatchT IO ()) `catch` (\(e :: ErrorCall) -&gt; liftIO $ print e)
</code></strong>*** Exception: Hello!
</pre><pre class="screen"><code class="prompt">&gt;&gt;&gt; </code><strong class="userinput"><code>runCatchT $ (throwM (ErrorCall &quot;Hello!&quot;) :: CatchT IO ()) `catch` (\(e :: ErrorCall) -&gt; liftIO $ print e)
</code></strong>Hello!
</pre></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:CatchT" class="def">CatchT</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:runCatchT" class="def">runCatchT</a> :: m (<a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Data-Either.html#t:Either">Either</a> <a href="Control-Monad-Catch.html#t:SomeException">SomeException</a> a)</dt><dd class="doc empty">&nbsp;</dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:CatchT" class="caption collapser" onclick="toggleSection('i:CatchT')">Instances</p><div id="section.i:CatchT" class="show"><table><tr><td class="src">MonadTrans <a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">MonadRWS r w s m =&gt; MonadRWS r w s (<a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">MonadReader e m =&gt; MonadReader e (<a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">MonadWriter w m =&gt; MonadWriter w (<a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">MonadState s m =&gt; MonadState s (<a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Control-Monad.html#t:Monad">Monad</a> m =&gt; <a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Control-Applicative.html#t:Alternative">Alternative</a> (<a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Control-Monad.html#t:Monad">Monad</a> m =&gt; <a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Control-Monad.html#t:Monad">Monad</a> (<a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Control-Monad.html#t:Monad">Monad</a> m =&gt; <a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Control-Monad.html#t:Functor">Functor</a> (<a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Control-Monad-Fix.html#t:MonadFix">MonadFix</a> m =&gt; <a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Control-Monad-Fix.html#t:MonadFix">MonadFix</a> (<a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Control-Monad.html#t:Monad">Monad</a> m =&gt; <a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Control-Monad.html#t:MonadPlus">MonadPlus</a> (<a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Control-Monad.html#t:Monad">Monad</a> m =&gt; <a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Data-Foldable.html#t:Foldable">Foldable</a> m =&gt; <a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Data-Foldable.html#t:Foldable">Foldable</a> (<a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">(<a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Control-Monad.html#t:Monad">Monad</a> m, <a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Data-Traversable.html#t:Traversable">Traversable</a> m) =&gt; <a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Data-Traversable.html#t:Traversable">Traversable</a> (<a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src">MonadIO m =&gt; MonadIO (<a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Control-Monad.html#t:Monad">Monad</a> m =&gt; <a href="Control-Monad-Catch.html#t:MonadMask">MonadMask</a> (<a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m)</td><td class="doc"><p>Note: This instance is only valid if the underlying monad has a single
exit point!</p></td></tr><tr><td class="src"><a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Control-Monad.html#t:Monad">Monad</a> m =&gt; <a href="Control-Monad-Catch.html#t:MonadCatch">MonadCatch</a> (<a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m)</td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Control-Monad.html#t:Monad">Monad</a> m =&gt; <a href="Control-Monad-Catch.html#t:MonadThrow">MonadThrow</a> (<a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m)</td><td class="doc empty">&nbsp;</td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Catch" class="def">Catch</a> = <a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> Identity <a href="src/Control-Monad-Catch-Pure.html#Catch" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:runCatch" class="def">runCatch</a> :: <a href="Control-Monad-Catch-Pure.html#t:Catch">Catch</a> a -&gt; <a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Data-Either.html#t:Either">Either</a> <a href="Control-Monad-Catch.html#t:SomeException">SomeException</a> a <a href="src/Control-Monad-Catch-Pure.html#runCatch" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:mapCatchT" class="def">mapCatchT</a> :: (m (<a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Data-Either.html#t:Either">Either</a> <a href="Control-Monad-Catch.html#t:SomeException">SomeException</a> a) -&gt; n (<a href="file:///usr/local/share/doc/ghc/html/libraries/base-4.7.0.1/Data-Either.html#t:Either">Either</a> <a href="Control-Monad-Catch.html#t:SomeException">SomeException</a> b)) -&gt; <a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> m a -&gt; <a href="Control-Monad-Catch-Pure.html#t:CatchT">CatchT</a> n b <a href="src/Control-Monad-Catch-Pure.html#mapCatchT" class="link">Source</a></p><div class="doc"><p>Map the unwrapped computation using the given function.</p><pre><code><a href="Control-Monad-Catch-Pure.html#v:runCatchT">runCatchT</a></code> (<code><a href="Control-Monad-Catch-Pure.html#v:mapCatchT">mapCatchT</a></code> f m) = f (<code><a href="Control-Monad-Catch-Pure.html#v:runCatchT">runCatchT</a></code> m)</pre></div></div><h1 id="g:2">Typeclass</h1><div class="doc"><p>The mtl style typeclass</p></div><div class="top"><p class="src">module <a href="Control-Monad-Catch.html">Control.Monad.Catch</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.15.1</p></div></body></html>
\ No newline at end of file
This diff is collapsed.
<!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>exceptions-0.1: Extensible optionally-pure exceptions (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[
<!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>exceptions-0.8.0.1: Extensible optionally-pure exceptions (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">exceptions-0.1: Extensible optionally-pure exceptions</p></div><div id="content"><div id="index"><p class="caption">Index</p><table><tr><td class="src">bracket</td><td class="module"><a href="Control-Monad-Catch.html#v:bracket">Control.Monad.Catch</a></td></tr><tr><td class="src">bracketOnError</td><td class="module"><a href="Control-Monad-Catch.html#v:bracketOnError">Control.Monad.Catch</a></td></tr><tr><td class="src">bracket_</td><td class="module"><a href="Control-Monad-Catch.html#v:bracket_">Control.Monad.Catch</a></td></tr><tr><td class="src">Catch</td><td class="module"><a href="Control-Monad-Catch.html#t:Catch">Control.Monad.Catch</a></td></tr><tr><td class="src">catch</td><td class="module"><a href="Control-Monad-Catch.html#v:catch">Control.Monad.Catch</a></td></tr><tr><td class="src">catchAll</td><td class="module"><a href="Control-Monad-Catch.html#v:catchAll">Control.Monad.Catch</a></td></tr><tr><td class="src">catches</td><td class="module"><a href="Control-Monad-Catch.html#v:catches">Control.Monad.Catch</a></td></tr><tr><td class="src">catchIf</td><td class="module"><a href="Control-Monad-Catch.html#v:catchIf">Control.Monad.Catch</a></td></tr><tr><td class="src">catchIOError</td><td class="module"><a href="Control-Monad-Catch.html#v:catchIOError">Control.Monad.Catch</a></td></tr><tr><td class="src">catchJust</td><td class="module"><a href="Control-Monad-Catch.html#v:catchJust">Control.Monad.Catch</a></td></tr><tr><td class="src">CatchT</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Control-Monad-Catch.html#t:CatchT">Control.Monad.Catch</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Control-Monad-Catch.html#v:CatchT">Control.Monad.Catch</a></td></tr><tr><td class="src">Exception</td><td class="module"><a href="Control-Monad-Catch.html#t:Exception">Control.Monad.Catch</a></td></tr><tr><td class="src">finally</td><td class="module"><a href="Control-Monad-Catch.html#v:finally">Control.Monad.Catch</a></td></tr><tr><td class="src">fromException</td><td class="module"><a href="Control-Monad-Catch.html#v:fromException">Control.Monad.Catch</a></td></tr><tr><td class="src">handle</td><td class="module"><a href="Control-Monad-Catch.html#v:handle">Control.Monad.Catch</a></td></tr><tr><td class="src">handleJust</td><td class="module"><a href="Control-Monad-Catch.html#v:handleJust">Control.Monad.Catch</a></td></tr><tr><td class="src">Handler</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Control-Monad-Catch.html#t:Handler">Control.Monad.Catch</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Control-Monad-Catch.html#v:Handler">Control.Monad.Catch</a></td></tr><tr><td class="src">mapCatchT</td><td class="module"><a href="Control-Monad-Catch.html#v:mapCatchT">Control.Monad.Catch</a></td></tr><tr><td class="src">mask</td><td class="module"><a href="Control-Monad-Catch.html#v:mask">Control.Monad.Catch</a></td></tr><tr><td class="src">MonadCatch</td><td class="module"><a href="Control-Monad-Catch.html#t:MonadCatch">Control.Monad.Catch</a></td></tr><tr><td class="src">onException</td><td class="module"><a href="Control-Monad-Catch.html#v:onException">Control.Monad.Catch</a></td></tr><tr><td class="src">runCatch</td><td class="module"><a href="Control-Monad-Catch.html#v:runCatch">Control.Monad.Catch</a></td></tr><tr><td class="src">runCatchT</td><td class="module"><a href="Control-Monad-Catch.html#v:runCatchT">Control.Monad.Catch</a></td></tr><tr><td class="src">SomeException</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Control-Monad-Catch.html#v:SomeException">Control.Monad.Catch</a></td></tr><tr><td class="alt">2 (Type/Class)</td><td class="module"><a href="Control-Monad-Catch.html#t:SomeException">Control.Monad.Catch</a></td></tr><tr><td class="src">throwM</td><td class="module"><a href="Control-Monad-Catch.html#v:throwM">Control.Monad.Catch</a></td></tr><tr><td class="src">toException</td><td class="module"><a href="Control-Monad-Catch.html#v:toException">Control.Monad.Catch</a></td></tr><tr><td class="src">try</td><td class="module"><a href="Control-Monad-Catch.html#v:try">Control.Monad.Catch</a></td></tr><tr><td class="src">tryJust</td><td class="module"><a href="Control-Monad-Catch.html#v:tryJust">Control.Monad.Catch</a></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>
\ No newline at end of file
</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">exceptions-0.8.0.1: Extensible optionally-pure exceptions</p></div><div id="content"><div id="index"><p class="caption">Index</p><table><tr><td class="src">bracket</td><td class="module"><a href="Control-Monad-Catch.html#v:bracket">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">bracketOnError</td><td class="module"><a href="Control-Monad-Catch.html#v:bracketOnError">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">bracket_</td><td class="module"><a href="Control-Monad-Catch.html#v:bracket_">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">Catch</td><td class="module"><a href="Control-Monad-Catch-Pure.html#t:Catch">Control.Monad.Catch.Pure</a></td></tr><tr><td class="src">catch</td><td class="module"><a href="Control-Monad-Catch.html#v:catch">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">catchAll</td><td class="module"><a href="Control-Monad-Catch.html#v:catchAll">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">catches</td><td class="module"><a href="Control-Monad-Catch.html#v:catches">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">catchIf</td><td class="module"><a href="Control-Monad-Catch.html#v:catchIf">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">catchIOError</td><td class="module"><a href="Control-Monad-Catch.html#v:catchIOError">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">catchJust</td><td class="module"><a href="Control-Monad-Catch.html#v:catchJust">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">CatchT</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Control-Monad-Catch-Pure.html#t:CatchT">Control.Monad.Catch.Pure</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Control-Monad-Catch-Pure.html#v:CatchT">Control.Monad.Catch.Pure</a></td></tr><tr><td class="src">Exception</td><td class="module"><a href="Control-Monad-Catch.html#t:Exception">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">finally</td><td class="module"><a href="Control-Monad-Catch.html#v:finally">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">fromException</td><td class="module"><a href="Control-Monad-Catch.html#v:fromException">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">handle</td><td class="module"><a href="Control-Monad-Catch.html#v:handle">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">handleAll</td><td class="module"><a href="Control-Monad-Catch.html#v:handleAll">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">handleIf</td><td class="module"><a href="Control-Monad-Catch.html#v:handleIf">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">handleIOError</td><td class="module"><a href="Control-Monad-Catch.html#v:handleIOError">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">handleJust</td><td class="module"><a href="Control-Monad-Catch.html#v:handleJust">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">Handler</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Control-Monad-Catch.html#t:Handler">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Control-Monad-Catch.html#v:Handler">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">mapCatchT</td><td class="module"><a href="Control-Monad-Catch-Pure.html#v:mapCatchT">Control.Monad.Catch.Pure</a></td></tr><tr><td class="src">mask</td><td class="module"><a href="Control-Monad-Catch.html#v:mask">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">mask_</td><td class="module"><a href="Control-Monad-Catch.html#v:mask_">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">MonadCatch</td><td class="module"><a href="Control-Monad-Catch.html#t:MonadCatch">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">MonadMask</td><td class="module"><a href="Control-Monad-Catch.html#t:MonadMask">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">MonadThrow</td><td class="module"><a href="Control-Monad-Catch.html#t:MonadThrow">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">onException</td><td class="module"><a href="Control-Monad-Catch.html#v:onException">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">runCatch</td><td class="module"><a href="Control-Monad-Catch-Pure.html#v:runCatch">Control.Monad.Catch.Pure</a></td></tr><tr><td class="src">runCatchT</td><td class="module"><a href="Control-Monad-Catch-Pure.html#v:runCatchT">Control.Monad.Catch.Pure</a></td></tr><tr><td class="src">SomeException</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Control-Monad-Catch.html#v:SomeException">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="alt">2 (Type/Class)</td><td class="module"><a href="Control-Monad-Catch.html#t:SomeException">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">throwM</td><td class="module"><a href="Control-Monad-Catch.html#v:throwM">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">toException</td><td class="module"><a href="Control-Monad-Catch.html#v:toException">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">try</td><td class="module"><a href="Control-Monad-Catch.html#v:try">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">tryJust</td><td class="module"><a href="Control-Monad-Catch.html#v:tryJust">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">uninterruptibleMask</td><td class="module"><a href="Control-Monad-Catch.html#v:uninterruptibleMask">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr><tr><td class="src">uninterruptibleMask_</td><td class="module"><a href="Control-Monad-Catch.html#v:uninterruptibleMask_">Control.Monad.Catch</a>, Control.Monad.Catch.Pure</td></tr></table></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.15.1</p></div></body></html>
\ No newline at end of file
No preview for this file type
......@@ -3,6 +3,7 @@
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-frameset.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title></title>
<script src="haddock-util.js" type="text/javascript"></script>
<script type="text/javascript"><!--
/*
......@@ -18,11 +19,12 @@ function load() {
postReframe();
}
--></script>
</head>
<frameset id="outer-fs" cols="25%,75%" onload="load()">
<frameset id="inner-fs" rows="100%,0%">
<frame src="index-frames.html" name="modules">
<frame src="" name="synopsis">
<frame src="index-frames.html" name="modules" />
<frame src="" name="synopsis" />
</frameset>
<frame src="index.html" name="main">
<frame src="index.html" name="main" />
</frameset>
</html>
<!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>exceptions-0.1: Extensible optionally-pure exceptions</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[
<!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>exceptions-0.8.0.1: Extensible optionally-pure exceptions</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 id="mini"><div id="module-list"><p class="caption">Modules</p><ul><li class="module"><a href="Control-Monad-Catch.html" target="main">Control.Monad.Catch</a></li></ul></div></body></html>
\ No newline at end of file
</script></head><body id="mini"><div id="module-list"><p class="caption">Modules</p><ul><li class="module"><a href="Control-Monad-Catch.html" target="main">Control.Monad.Catch</a></li><li class="module"><a href="Control-Monad-Catch-Pure.html" target="main">Control.Monad.Catch.Pure</a></li></ul></div></body></html>
\ No newline at end of file
<!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>exceptions-0.1: Extensible optionally-pure exceptions</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[
<!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>exceptions-0.8.0.1: Extensible optionally-pure exceptions</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">exceptions-0.1: Extensible optionally-pure exceptions</p></div><div id="content"><div id="description"><h1>exceptions-0.1: Extensible optionally-pure exceptions</h1><div class="doc"><p>Extensible optionally-pure exceptions
</p></div></div><div id="module-list"><p class="caption">Modules</p><ul><li><span id="control.n.1" class="module collapser" onclick="toggleSection('n.1')">Control</span><ul id="section.n.1" class="show"><li><span id="control.n.1.1" class="module collapser" onclick="toggleSection('n.1.1')">Monad</span><ul id="section.n.1.1" class="show"><li><span class="module"><a href="Control-Monad-Catch.html">Control.Monad.Catch</a></span></li></ul></li></ul></li></ul></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>
\ No newline at end of file
</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">exceptions-0.8.0.1: Extensible optionally-pure exceptions</p></div><div id="content"><div id="description"><h1>exceptions-0.8.0.1: Extensible optionally-pure exceptions</h1><div class="doc"><p>Extensible optionally-pure exceptions</p></div></div><div id="module-list"><p class="caption">Modules</p><ul><li><span id="control.n.1" class="module collapser" onclick="toggleSection('n.1')">Control</span><ul id="section.n.1" class="show"><li><span id="control.n.1.1" class="module collapser" onclick="toggleSection('n.1.1')">Monad</span><ul id="section.n.1.1" class="show"><li><span class="module"><span id="control.n.1.1.1" class="collapser" onclick="toggleSection('n.1.1.1')">&nbsp;</span><a href="Control-Monad-Catch.html">Control.Monad.Catch</a></span><ul id="section.n.1.1.1" class="show"><li><span class="module"><a href="Control-Monad-Catch-Pure.html">Control.Monad.Catch.Pure</a></span></li></ul></li></ul></li></ul></li></ul></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.15.1</p></div></body></html>
\ No newline at end of file
<!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.Catch.Pure</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 id="mini"><div id="module-header"><p class="caption">Control.Monad.Catch.Pure</p></div><div id="interface"><h1>Transformer</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Control-Monad-Catch-Pure.html#t:CatchT" target="main">CatchT</a> m a</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Control-Monad-Catch-Pure.html#t:Catch" target="main">Catch</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch-Pure.html#v:runCatch" target="main">runCatch</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch-Pure.html#v:mapCatchT" target="main">mapCatchT</a></p></div><h1>Typeclass</h1></div></body></html>
\ No newline at end of file
<!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.Catch</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 id="mini"><div id="module-header"><p class="caption">Control.Monad.Catch</p></div><div id="interface"><h1>Typeclass
</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Control-Monad-Catch.html#t:MonadCatch" target="main">MonadCatch</a> m</p></div><h1>Transformer
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Control-Monad-Catch.html#t:CatchT" target="main">CatchT</a> m a</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Control-Monad-Catch.html#t:Catch" target="main">Catch</a> </p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:runCatch" target="main">runCatch</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:mapCatchT" target="main">mapCatchT</a></p></div><h1>Utilities
</h1><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:catchAll" target="main">catchAll</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:catchIOError" target="main">catchIOError</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:catchJust" target="main">catchJust</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:catchIf" target="main">catchIf</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Control-Monad-Catch.html#t:Handler" target="main">Handler</a> m a</p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:catches" target="main">catches</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:handle" target="main">handle</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:handleJust" target="main">handleJust</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:try" target="main">try</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:tryJust" target="main">tryJust</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:onException" target="main">onException</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:bracket" target="main">bracket</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:bracket_" target="main">bracket_</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:finally" target="main">finally</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:bracketOnError" target="main">bracketOnError</a></p></div><h1>Re-exports from Control.Exception
</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Control-Monad-Catch.html#t:Exception" target="main">Exception</a> e</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Control-Monad-Catch.html#t:SomeException" target="main">SomeException</a> </p></div></div></body></html>
\ No newline at end of file
</script></head><body id="mini"><div id="module-header"><p class="caption">Control.Monad.Catch</p></div><div id="interface"><h1>Typeclass</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Control-Monad-Catch.html#t:MonadThrow" target="main">MonadThrow</a> m</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Control-Monad-Catch.html#t:MonadCatch" target="main">MonadCatch</a> m</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Control-Monad-Catch.html#t:MonadMask" target="main">MonadMask</a> m</p></div><h1>Utilities</h1><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:mask_" target="main">mask_</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:uninterruptibleMask_" target="main">uninterruptibleMask_</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:catchAll" target="main">catchAll</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:catchIOError" target="main">catchIOError</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:catchJust" target="main">catchJust</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:catchIf" target="main">catchIf</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Control-Monad-Catch.html#t:Handler" target="main">Handler</a> m a</p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:catches" target="main">catches</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:handle" target="main">handle</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:handleAll" target="main">handleAll</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:handleIOError" target="main">handleIOError</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:handleJust" target="main">handleJust</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:handleIf" target="main">handleIf</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:try" target="main">try</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:tryJust" target="main">tryJust</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:onException" target="main">onException</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:bracket" target="main">bracket</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:bracket_" target="main">bracket_</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:finally" target="main">finally</a></p></div><div class="top"><p class="src"><a href="Control-Monad-Catch.html#v:bracketOnError" target="main">bracketOnError</a></p></div><h1>Re-exports from Control.Exception</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Control-Monad-Catch.html#t:Exception" target="main">Exception</a> e</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Control-Monad-Catch.html#t:SomeException" target="main">SomeException</a></p></div></div></body></html>
\ No newline at end of file
......@@ -49,14 +49,14 @@ a[href]:hover { text-decoration:underline; }
For reasons, see:
http://yui.yahooapis.com/3.1.1/build/cssfonts/fonts.css
*/
body {
font:13px/1.4 sans-serif;
*font-size:small; /* for IE */
*font:x-small; /* for IE in quirks mode */
}
h1 { font-size: 146.5%; /* 19pt */ }
h1 { font-size: 146.5%; /* 19pt */ }
h2 { font-size: 131%; /* 17pt */ }
h3 { font-size: 116%; /* 15pt */ }
h4 { font-size: 100%; /* 13pt */ }
......@@ -98,7 +98,7 @@ pre, code, kbd, samp, tt, .src {
/* @group Common */
.caption, h1, h2, h3, h4, h5, h6 {
.caption, h1, h2, h3, h4, h5, h6 {
font-weight: bold;
color: rgb(78,98,114);
margin: 0.8em 0 0.4em;
......@@ -122,7 +122,7 @@ ul.links {
ul.links li {
display: inline;
border-left: 1px solid #d5d5d5;
border-left: 1px solid #d5d5d5;
white-space: nowrap;
padding: 0;
}
......@@ -378,6 +378,19 @@ div#style-menu-holder {
margin: 0 -0.5em 0 0.5em;
}
#interface span.fixity {
color: #919191;
border-left: 1px solid #919191;
padding: 0.2em 0.5em 0.2em 0.5em;
margin: 0 -1em 0 1em;
}
#interface span.rightedge {
border-left: 1px solid #919191;
padding: 0.2em 0 0.2em 0;
margin: 0 0 0 1em;
}
#interface table { border-spacing: 2px; }
#interface td {
vertical-align: top;
......@@ -420,6 +433,18 @@ div#style-menu-holder {
margin: 0;
}
/* Render short-style data instances */
.inst ul {
height: 100%;
padding: 0.5em;
margin: 0;
}
.inst, .inst li {
list-style: none;
margin-left: 1em;
}
.top p.src {
border-top: 1px solid #ccc;
}
......@@ -429,6 +454,10 @@ div#style-menu-holder {
padding-left: 2em;
}
.warning {
color: red;
}
.arguments {
margin-top: -0.4em;
}
......@@ -453,13 +482,19 @@ div#style-menu-holder {
/* @group Auxillary Pages */
.extension-list {
list-style-type: none;
margin-left: 0;
}
#mini {
margin: 0 auto;
padding: 0 1em 1em;
}
#mini > * {
font-size: 93%; /* 12pt */
font-size: 93%; /* 12pt */
}
#mini #module-list .caption,
......
This diff is collapsed.
This source diff could not be displayed because it is too large. You can view the blob instead.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment