<!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>Maybes</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_Maybes.html");};
//]]>
</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">ghc-7.4.2: The GHC API</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>Safe-Infered</td></tr></table><p class="caption">Maybes</p></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">module <a href="../base-4.5.1.0/Data-Maybe.html">Data.Maybe</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:MaybeErr">MaybeErr</a> err val<ul class="subs"><li>= <a href="#v:Succeeded">Succeeded</a> val </li><li>| <a href="#v:Failed">Failed</a> err </li></ul></li><li class="src short"><a href="#v:failME">failME</a> :: err -> <a href="Maybes.html#t:MaybeErr">MaybeErr</a> err val</li><li class="src short"><a href="#v:isSuccess">isSuccess</a> :: <a href="Maybes.html#t:MaybeErr">MaybeErr</a> err val -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:fmapM_maybe">fmapM_maybe</a> :: <a href="../base-4.5.1.0/Control-Monad.html#t:Monad">Monad</a> m => (a -> m b) -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> m (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b)</li><li class="src short"><a href="#v:orElse">orElse</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> a -> a</li><li class="src short"><a href="#v:mapCatMaybes">mapCatMaybes</a> :: (a -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b) -> [a] -> [b]</li><li class="src short"><a href="#v:allMaybes">allMaybes</a> :: [<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a] -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> [a]</li><li class="src short"><a href="#v:firstJust">firstJust</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a</li><li class="src short"><a href="#v:firstJusts">firstJusts</a> :: [<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a] -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a</li><li class="src short"><a href="#v:expectJust">expectJust</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> a</li><li class="src short"><a href="#v:maybeToBool">maybeToBool</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><span class="keyword">newtype</span> <a href="#t:MaybeT">MaybeT</a> m a = <a href="#v:MaybeT">MaybeT</a> {<ul class="subs"><li><a href="#v:runMaybeT">runMaybeT</a> :: m (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</li></ul>}</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src">module <a href="../base-4.5.1.0/Data-Maybe.html">Data.Maybe</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:MaybeErr" class="def">MaybeErr</a> err val </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Succeeded" class="def">Succeeded</a> val</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Failed" class="def">Failed</a> err</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:MaybeErr" class="caption collapser" onclick="toggleSection('i:MaybeErr')">Instances</p><div id="section.i:MaybeErr" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Control-Monad.html#t:Monad">Monad</a> (<a href="Maybes.html#t:MaybeErr">MaybeErr</a> err)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:failME" class="def">failME</a> :: err -> <a href="Maybes.html#t:MaybeErr">MaybeErr</a> err val</p></div><div class="top"><p class="src"><a name="v:isSuccess" class="def">isSuccess</a> :: <a href="Maybes.html#t:MaybeErr">MaybeErr</a> err val -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:fmapM_maybe" class="def">fmapM_maybe</a> :: <a href="../base-4.5.1.0/Control-Monad.html#t:Monad">Monad</a> m => (a -> m b) -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> m (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b)</p></div><div class="top"><p class="src"><a name="v:orElse" class="def">orElse</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> a -> a</p><div class="doc"><p>flipped version of <code>fromMaybe</code>.
</p></div></div><div class="top"><p class="src"><a name="v:mapCatMaybes" class="def">mapCatMaybes</a> :: (a -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b) -> [a] -> [b]</p></div><div class="top"><p class="src"><a name="v:allMaybes" class="def">allMaybes</a> :: [<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a] -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> [a]</p><div class="doc"><p>Collects a list of <code>Justs</code> into a single <code>Just</code>, returning <code>Nothing</code> if
there are any <code>Nothings</code>.
</p></div></div><div class="top"><p class="src"><a name="v:firstJust" class="def">firstJust</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a</p></div><div class="top"><p class="src"><a name="v:firstJusts" class="def">firstJusts</a> :: [<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a] -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a</p><div class="doc"><p>Takes a list of <code>Maybes</code> and returns the first <code>Just</code> if there is one, or
<code>Nothing</code> otherwise.
</p></div></div><div class="top"><p class="src"><a name="v:expectJust" class="def">expectJust</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> a</p></div><div class="top"><p class="src"><a name="v:maybeToBool" class="def">maybeToBool</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:MaybeT" class="def">MaybeT</a> m a </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:MaybeT" class="def">MaybeT</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:runMaybeT" class="def">runMaybeT</a> :: m (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:MaybeT" class="caption collapser" onclick="toggleSection('i:MaybeT')">Instances</p><div id="section.i:MaybeT" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="../base-4.5.1.0/Control-Monad.html#t:Monad">Monad</a> (<a href="Maybes.html#t:MaybeT">MaybeT</a> m)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Control-Monad.html#t:Functor">Functor</a> m => <a href="../base-4.5.1.0/Control-Monad.html#t:Functor">Functor</a> (<a href="Maybes.html#t:MaybeT">MaybeT</a> m)</td><td class="doc empty"> </td></tr></table></div></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.11.0</p></div></body></html>
distrib
>
Mageia
>
5
>
i586
>
media
>
core-release
>
by-pkgid
>
6e204a966e8c42d976f99a1700ce5f20
>
files
>
2945
